Tagged "mathematical-reasoning"

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