Projects in Awesome Lists tagged with ai4math
A curated list of projects in awesome lists tagged with ai4math .
https://github.com/lupantech/mathvista
MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
ai4math large-language-models large-multimadality-models machine-learning mathematics mathqa science visual-question-answering
Last synced: 16 May 2025
https://github.com/lupantech/MathVista
MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
ai4math large-language-models large-multimadality-models machine-learning mathematics mathqa science visual-question-answering
Last synced: 16 Mar 2025
https://github.com/j991222/ai4math-papers
AI for Mathematics (AI4Math) paper list
ai4math autoformalizaion automated-theorem-proving benchmarks machine-learning paper-list reinforcement-learning
Last synced: 22 Jul 2025
https://github.com/lean-dojo/torchlean
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
ai4math ai4science lean4 neural-network pytorch scientific-computing theorem-proving verification
Last synced: 06 Jun 2026
https://github.com/zib-iol/neural-discovery-icml25
Code to reproduce the experiments of the ICML25-paper: "Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?"
ai4math ai4science deep-learning neural-networks
Last synced: 02 Apr 2026