Scholar
Ferhat Erata
Google Scholar ID: UcpqLLYAAAAJ
Yale University
Neuro-Symbolic AI
Automated Reasoning
Alignment
Security & Privacy
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
394
H-index
10
i10-index
11
Publications
20
Co-authors
12
list available
Publications
10 items
Instruct, Not Answer: Using Instruction Privileges in On-Policy Context Distillation
2026
Cited
0
SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?
2026
Cited
0
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
2026
Cited
0
Stratified Consistency Distillation for Natural Language Formalization
2026
Cited
0
Fidelity Probes for Specification--Code Alignment
2026
Cited
0
Learning How to Cube
2026
Cited
0
A Neurosymbolic Approach to Natural Language Formalization and Verification
2025
Cited
0
Learning Randomized Reductions and Program Properties
arXiv.org · 2024
Cited
0
Load more
Co-authors
8 total
Jakub Szefer
Associate Professor of Electrical Engineering, Yale University
Chuanqi Xu
Ph.D. Student, Yale University
Bedir Tekinerdogan
Professor of Software and Systems Engineering, Wageningen University, The Netherlands
Ruzica Piskac
Professor
Wenjie Xiong
Virginia Tech
Yongshan Ding
Assistant Professor, Yale University
Eray Tüzün
Bilkent University
Orr Paradise
EPFL
