Beyond Solver Verdicts: Generative Reward Models for Autoformalization
Paper • 2609.11085 • Published • 34
Ferhat Erata
erata
AI & ML interests
Neuro-Symbolic AI, Automated Reasoning, Reinforcement Learning, Security & Privacy
Recent Activity
upvoted a paper 15 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
