#formal-reasoning
- MaxProof: MiniMax Model Exceeds IMO and USAMO Gold-Medal Thresholds on Formal Math MiniMax research
- Mistral Releases Leanstral 1.5: Open Formal-Verification Model for Lean 4 Mistral research
- Anthropic: LLMs make formal software verification feasible at much larger scale Anthropic research
- The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary research
- LLM-Driven Formal Mathematics Review: Where Current Systems Fall Short UCLA research
- Bend 2: a language where AI commits need machine-checked proofs Bend tools
- AdvancedMathBench: Benchmark Suite for Advanced Mathematical Proof Generation and Verification InternLM research