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 188
j991222 / ai4math-papers
AI for Mathematics (AI4Math) paper list
ai4math autoformalizaion automated-theorem-proving benchmarks machine-learning paper-list reinforcement-learning
67
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 36
deep-symbolic-mathematics / TPSR
[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
deep-learning language-model planning-algorithms symbolic-math symbolic-regression transformers interpretable-ml ai4math ai4science equation-discovery
Language:Python 36
deep-symbolic-mathematics / Multimodal-Symbolic-Regression
[ICLR 2024 Spotlight] Deep Symbolic Regression with Multimodal Pretraining
ai4math ai4science equation-discovery latent-space-interpolation multi-modal-learning symbolic-regression transformers
Language:Python 9