Companion page for "Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery." A curated four-axis index covering MWPs, LLMs and reasoning models, multimodal geometry, Lean theorem proving, and verified discovery (FunSearch, AlphaEvolve, Erdős problems).
awesome theorem-proving survey awesome-list formal-mathematics mathematical-reasoning lean4 math-word-problem large-language-models llm chain-of-thought ai4math autoformalization multimodal-reasoning reasoning-models alphaevolve math-reasoning funsearch alphageometry
-
Updated
Jul 26, 2026