Cite
Notes
Only stored in your browser.
Attribution
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
arXiv 2025
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
from 2 papers
Bohan Lyu
Chi Jin
Haoyu Zhao
Hongzhou Lin
Sanjeev Arora
professor
Shange Tang
Yong Lin
Danqi Chen
David Acuna
Jiawei Ge