Hongzhou Lin
- Papers
- 3
Cite
Notes
Only stored in your browser.
3papers
Authored papers
3Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
arXiv 2025
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
arXiv 2025
Affiliations
No known affiliations.
Frequent co-authors
10from 3 papers