Tagged "mathematical-reasoning"

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems 29 July 2026
Discussion: Including New Mathematical Proofs in LLM Training Data for Rediscovery 9 May 2026
Mistral Releases Leanstral: First Open-Source Code Agent for Lean 4 Proof Assistant 17 March 2026