MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts

AI for Mathematics (AI4Math) paper list

[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models

Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise descriptions to help readers get the gist as quickly as possible.

[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"

[ICML2025 Oral] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models

[ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"

[ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

[ICLR 2024 Spotlight] SNIP on Symbolic Regression: Deep Symbolic Regression with Multimodal Pretraining

A collection of recent open-source math datasets for training and evaluating Math LLMs

SolidGeo: Measuring Multimodal Spatial Math Reasoning in Solid Geometry

Code to reproduce the experiments of the ICML25-paper: "Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?"

Official code for "Can Transformers Do Enumerative Geometry?"

A curated list of awesome formal reasoning AI.

[ICLR2025] Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlo (https://arxiv.org/abs/2410.01920)

Official implementation of the LIES Network for Symbolic Regression

Lean 4 programming language and theorem prover

AI for Mathematics (AI4Math) paper list