#theorem-proving
- OpenAI's Next Model Astra Solves Ten Open Problems in Math and Theoretical CS OpenAI research
- LLM-Driven Formal Mathematics Review: Where Current Systems Fall Short UCLA research
- Diffusion-Proof: Formal Theorem Proving via Diffusion Language Models research
- AdvancedMathBench: Benchmark Suite for Advanced Mathematical Proof Generation and Verification InternLM research