arxiv:2412.18134
Ferhat Erata
erata
AI & ML interests
Neuro-Symbolic AI, Automated Reasoning, Reinforcement Learning, Security & Privacy
Recent Activity
upvoted a paper 4 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization updated a model 8 months ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-DPO published a model 8 months ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-DPOOrganizations
