ai4math topic

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

lupantech

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

deep-symbolic-mathematics

AI for Mathematics (AI4Math) paper list

j991222

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

deep-symbolic-mathematics

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

Eleanor-H

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...

tongyx361

This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with LLMs

deep-symbolic-mathematics