FE
Ferhat Erata
cs.LGcs.SEcs.AIcs.CLcs.CRcs.PLcs.LOquant-phcs.CCcs.ET
On Valency
published · living versionsW_etmeccs6·v1 · currentpublished
Scaling Lean Theorem Proving for Real-World Code Verification
with Debargha Ganguly, Divya Raghunathan, Dejan Jovanović, Vikash Singh +4
1 version
Preprints & journals
20 papers in the corpus · 2022–2026Verifier-Grounded Agentic RL for Provably Correct Code2610.19298v1 · George Ma, Yuhao Zhang, Bing He et al.2026 · 0 citationsarXiv
Instruct, Not Answer: Using Instruction Privileges in On-Policy Context Distillation2609.32201v2 · Hantao Yu, Xiaoxue Han, Udaya Ghai et al.2026 · 0 citationsarXiv
SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?2609.21190v2 · George Ma, Benjamin Mikek, Haoyu Li et al.2026 · 0 citationsarXiv
Beyond Solver Verdicts: Generative Reward Models for Autoformalization2609.11085v2 · Vikash Singh, Debargha Ganguly, Aman Goel et al.2026 · 0 citationsarXiv
Stratified Consistency Distillation for Natural Language Formalization2608.30258v3 · Zhichao Hou, Ferhat Erata, Joe Lilien et al.2026 · 0 citationsarXiv
Fidelity Probes for Specification--Code Alignment2605.17246v2 · Ferhat Erata, Hao Zhou, Jun Huan2026 · 0 citationsarXiv
Learning How to Cube2605.16632v1 · Ferhat Erata, Sam Kouteili, Thanos Typaldos et al.2026 · 0 citationsarXiv
A Neurosymbolic Approach to Natural Language Formalization and Verification2511.09008v2 · Chenyang An, Sam Bayless, Stefano Buliani et al.2025 · 1 citationarXiv
Learning Randomized Reductions2412.18134v5 · Ferhat Erata, Orr Paradise, Thanos Typaldos et al.2024 · 0 citationsProceedings of the 43rd International Conference on Machine Learning, PMLR 306, 2026
Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems2410.00151v4 · Stephen Miner, Yoshiki Takashima, Simeng Han et al.2024 · 0 citationsarXiv
Systematic Use of Random Self-Reducibility against Physical Attacks2405.05193v1 · Ferhat Erata, TingHung Chiu, Anthony Etim et al.2024 · 0 citationsarXiv
Integrating Static Code Analysis Toolchains2403.05986v1 · Matthias Kern, Ferhat Erata, Markus Iser et al.2024 · 3 citationsarXiv
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics2403.06012v1 · Ferhat Erata, Arda Goknil, Bedir Tekinerdogan et al.2024 · 4 citationsarXiv
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning2403.02652v1 · Ferhat Erata, Arda Goknil, Ivan Kurtev et al.2024 · 4 citationsarXiv
ModelWriter: Text & Model-Synchronized Document Engineering Platform2403.01359v1 · Ferhat Erata, Claire Gardent, Bikash Gyawali et al.2024 · 2 citationsarXiv
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers2401.15869v2 · Ferhat Erata, Chuanqi Xu, Ruzica Piskac et al.2024 · 21 citationsarXiv
Classification of Quantum Computer Fault Injection Attacks2309.05478v1 · Chuanqi Xu, Ferhat Erata, Jakub Szefer2023 · 4 citationsarXiv
Exploration of Quantum Computer Power Side-Channels2304.03315v2 · Chuanqi Xu, Ferhat Erata, Jakub Szefer2023 · 2 citationsarXiv
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code2304.02102v1 · Ferhat Erata, Ruzica Piskac, Victor Mateu et al.2023 · 4 citationsarXiv
ETAP: Energy-aware Timing Analysis of Intermittent Programs2201.11433v2 · Ferhat Erata, Arda Goknil, Eren Y\ild\iz et al.2022 · 14 citationsarXiv
Career total: 48 works. 20 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.