Mathematical reasoning Models
There are 34 AI and NLP models for Mathematical reasoning in our directory. Browse the full list below, or explore models by provider.
Mathematical reasoning is a machine-learning task covered in our directory. We list 34 models for it.
Updated June 2026
- A.X K1Code generation,Language modeling/generation,Translation,Instruction interpretation,Mathematical reasoning,Chat,Language modeling,Language generation,Text autocompletionSK Telecom
- AgentFounder-30BLanguage modeling/generation,Question answering,System control,Quantitative reasoning,Mathematical reasoning,Code generation,SearchAlibaba
- AlphaGeometryGeometry,Mathematical reasoningGoogle DeepMind,New York University (NYU)
- Claude Opus 4Code generation,Language modeling/generation,Quantitative reasoning,Search,Visual question answering,Translation,Image captioning,Instruction interpretation,Mathematical reasoning,Visual puzzles,Code autocompletion,Chat,Character recognition (OCR),Language modeling,Language generation,Text autocompletion,Retrieval-augmented generation,System controlAnthropic
- Claude Opus 4.1Language modeling/generation,Question answering,System control,Code generation,Search,Quantitative reasoning,Mathematical reasoning,Visual question answeringAnthropic
- Claude Opus 4.5Code generation,Language modeling/generation,Quantitative reasoning,Search,Visual question answering,Translation,Image captioning,Instruction interpretation,Mathematical reasoning,Visual puzzles,Code autocompletion,Chat,Character recognition (OCR),Language modeling,Language generation,Text autocompletion,Retrieval-augmented generation,System controlAnthropic
- Claude Sonnet 4Code generation,Language modeling/generation,Quantitative reasoning,Search,Visual question answering,Translation,Image captioning,Instruction interpretation,Mathematical reasoning,Visual puzzles,Code autocompletion,Chat,Character recognition (OCR),Language modeling,Language generation,Text autocompletion,Retrieval-augmented generation,System controlAnthropic
- Claude Sonnet 4.5Language modeling/generation,Code generation,System control,Question answering,Quantitative reasoning,Mathematical reasoning,Visual question answeringAnthropic
- DeepSeekMath-V2Mathematical reasoning,Theorem proving,Proof generation,Proof verificationDeepSeek
- Eurus-2-7B-PRIMEMathematical reasoning,Code generationTsinghua University,University of Illinois Urbana-Champaign (UIUC),Shanghai AI Lab,Peking University,Shanghai Jiao Tong University,CUHK Shenzhen Research Institute
- Flan-PaLM 540BLanguage modeling/generation,Question answering,Mathematical reasoningGoogle
- GalacticaLanguage modeling,Question answering,Mathematical reasoning,Medical diagnosis,Language modeling/generationMeta AI
- Gemini 2.5 Deep ThinkLanguage modeling/generation,Mathematical reasoning,Code generation,Visual question answering,Question answering,Visual puzzles,Video description,Speech recognition (ASR),Speech-to-textGoogle,Google DeepMind
- Grok 4 HeavyLanguage modeling/generation,Question answering,Mathematical reasoning,Quantitative reasoning,Code generationxAI
- Grok 4.1Language modeling/generation,Question answering,Mathematical reasoning,Quantitative reasoning,Code generationxAI
- Grok 4.1 FastLanguage modeling/generation,Question answering,Mathematical reasoning,Quantitative reasoning,Code generationxAI
- INTELLECT-MATHMathematical reasoningPrime Intellect
- K-EXAONELanguage modeling/generation,Chat,Question answering,Code generation,Mathematical reasoning,Instruction interpretationLG AI Research
- k0-mathMathematical reasoning,Quantitative reasoningMoonshot
- Ling-1TLanguage modeling/generation,Question answering,Quantitative reasoning,Code generation,Mathematical reasoningAnt Group
- Llama 3.1-405BLanguage modeling/generation,Question answering,Code generation,Mathematical reasoningMeta AI
- LMSI-PalmLanguage generation,Language modeling/generation,Question answering,Mathematical reasoningGoogle,University of Illinois Urbana-Champaign (UIUC)
- MathstralMathematical reasoning,Language modeling/generation,Quantitative reasoningMistral AI
- MindLink-72BCode generation,Mathematical reasoningKunlun Inc.
- Minerva (540B)Quantitative reasoning,Mathematical reasoning,Language modeling/generation,Question answeringGoogle
- o1Code generation,Language modeling/generation,Quantitative reasoning,Chat,Question answering,Translation,Mathematical reasoningOpenAI
- o1-proCode generation,Language modeling/generation,Quantitative reasoning,Chat,Question answering,Translation,Mathematical reasoningOpenAI
- Pixtral LargeVision-language generation,Visual question answering,Mathematical reasoning,Character recognition (OCR),Language modeling/generation,Question answeringMistral AI
- Qwen3-235B-A22BLanguage modeling/generation,Question answering,Mathematical reasoning,Quantitative reasoning,Code generation,TranslationAlibaba
- Qwen3-235B-A22B (Jul 2025)Language modeling/generation,Question answering,Mathematical reasoning,Quantitative reasoning,Code generation,TranslationAlibaba
- Qwen3-235B-A22B-Thinking (Jul 2025)Language modeling/generation,Question answering,Mathematical reasoning,Quantitative reasoning,Code generation,TranslationAlibaba
- Qwen3-MaxLanguage modeling/generation,Question answering,Mathematical reasoning,Code generation,Quantitative reasoning,Retrieval-augmented generation,TranslationAlibaba
- Statement Curriculum LearningAutomated theorem proving,Language modeling/generation,Question answering,Mathematical reasoningOpenAI
- U-PaLM (540B)Language generation,Language modeling/generation,Question answering,Mathematical reasoning,Quantitative reasoningGoogle