ai4math topic
List
ai4math repositories
MathVista
187
Stars
25
Forks
Watchers
MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
TPSR
36
Stars
7
Forks
Watchers
[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
ai4math-papers
66
Stars
3
Forks
Watchers
AI for Mathematics (AI4Math) paper list
Multimodal-Math-Pretraining
35
Stars
2
Forks
Watchers
[ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"
MUSTARD
24
Stars
1
Forks
Watchers
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data