autoformalization
- ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
- Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
- Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
- miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward