Ferhat Erata
Scholar

Ferhat Erata

Google Scholar ID: UcpqLLYAAAAJ
Yale University
Neuro-Symbolic AIAutomated ReasoningAlignmentSecurity & Privacy
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
394
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
6 items
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
Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems
arXiv.org · 2024
Cited
0
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers
IACR Trans. Cryptogr. Hardw. Embed. Syst. · 2024
Cited
5
Resume (English only)
Co-authors
12 total
Jakub Szefer
Jakub Szefer
Associate Professor of Electrical Engineering, Yale University
Chuanqi Xu
Chuanqi Xu
Ph.D. Student, Yale University
Bedir Tekinerdogan
Bedir Tekinerdogan
Professor of Software and Systems Engineering, Wageningen University, The Netherlands
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Ruzica Piskac
Ruzica Piskac
Professor
Wenjie Xiong
Wenjie Xiong
Virginia Tech
Yongshan Ding
Yongshan Ding
Assistant Professor, Yale University