Ferhat Erata

Pronouns: he/him

Researcher, AWS AI, Amazon

PhD student, Computer Science, Yale University

  • Joined September 2024

Names

Ferhat Erata (Preferred)

Emails

****@yale.edu (Confirmed)
,
****@ieee.org (Confirmed)
,
****@amazon.com

Personal Links

Career & Education History

Researcher
AWS AI, Amazon (amazon.com)
2022 – Present
 
PhD student
Computer Science, Yale University (yale.edu)
2019 – 2025
 

Advisors, Relations & Conflicts

PhD Advisor
Present
 

Expertise

automated reasoning
Present
 
neuro-symbolic reasoning
Present
 
symbolic reasoning
Present
 
code generation
Present
 
autoformalization
Present
 
AI for math
Present
 
AI for code
Present