ai4math

There are 1 repository under ai4math topic.

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
Language:Jupyter Notebook 240
j991222 / ai4math-papers
AI for Mathematics (AI4Math) paper list
ai4math autoformalizaion automated-theorem-proving benchmarks machine-learning paper-list reinforcement-learning
134
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.
ai4math llm llm4math mathematics
84
deep-symbolic-mathematics / TPSR
[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
ai4math ai4science deep-learning equation-discovery interpretable-ml language-model planning-algorithms symbolic-math symbolic-regression transformers
Language:Python 55
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"
ai4math ai4science deep-learning multi-modal multi-modal-learning representation-learning symbolic-math symbolic-regression transformers
Language:Python 47
deep-symbolic-mathematics / LLM-SR
This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models
equation-discovery large-language-models llm-agent program-synthesis scientific-discovery symbolic-regression ai4code ai4math ai4science
Language:Python 40
Eleanor-H / MUSTARD
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
automated-theorem-proving complex-reasoning data-synthesis large-language-models machine-learning math-word-problem math-word-problem-solving natural-language-processing theorem-proving ai4math
Language:C++ 37
deep-symbolic-mathematics / Multimodal-Symbolic-Regression
[ICLR 2024 Spotlight] SNIP on Symbolic Regression: Deep Symbolic Regression with Multimodal Pretraining
ai4math ai4science equation-discovery latent-space-interpolation multi-modal-learning symbolic-regression transformers
Language:Python 15