GitHub topics: ai4math
ZIB-IOL/neural-discovery-icml25
Code to reproduce the experiments of the ICML25-paper: "Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?"
Language: Python - Size: 4.23 MB - Last synced at: 1 day ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

amao0o0/awesome-AI-Math-Datasets
A collection of recent open-source math datasets for training and evaluating Math LLMs
Size: 129 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 11 - Forks: 0

tongyx361/Awesome-LLM4Math
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.
Size: 181 KB - Last synced at: 2 days ago - Pushed at: 11 months ago - Stars: 130 - Forks: 5

HarryYancy/SolidGeo
SolidGeo: Measuring Multimodal Spatial Math Reasoning in Solid Geometry
Language: Python - Size: 57.1 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 2 - Forks: 0

lupantech/MathVista
MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
Language: Jupyter Notebook - Size: 50.2 MB - Last synced at: 29 days ago - Pushed at: 7 months ago - Stars: 308 - Forks: 47

deep-symbolic-mathematics/llm-srbench
[ICML2025 Spotlight] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models
Language: Python - Size: 1.32 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 18 - Forks: 1

deep-symbolic-mathematics/LLM-SR
[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models
Language: Python - Size: 8.82 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 108 - Forks: 13

alumkal/awesome-formal-ai
A curated list of awesome formal reasoning AI.
Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

Baran-phys/DynamicFormer
Official code for "Can Transformers Do Enumerative Geometry?"
Language: Jupyter Notebook - Size: 56.4 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

Alpha-Innovator/GeoX
Code for GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
Language: Python - Size: 6.73 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 18 - Forks: 1

Eleanor-H/MUSTARD
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Language: C++ - Size: 21 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 38 - Forks: 1

j991222/ai4math-papers
AI for Mathematics (AI4Math) paper list
Size: 51.8 KB - Last synced at: 7 months ago - Pushed at: 9 months ago - Stars: 135 - Forks: 8

deep-symbolic-mathematics/TPSR
[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
Language: Python - Size: 20.6 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 51 - Forks: 13

deep-symbolic-mathematics/Multimodal-Symbolic-Regression
[ICLR 2024 Spotlight] SNIP on Symbolic Regression: Deep Symbolic Regression with Multimodal Pretraining
Language: Python - Size: 1.29 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 12 - Forks: 3

deep-symbolic-mathematics/Multimodal-Math-Pretraining
[ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"
Language: Python - Size: 989 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 42 - Forks: 5
