Search Results - RepositoryStats

28

194

cc-by-sa-4.0

5

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

mathqa ai4math science mathematics machine-learning large-language-models visual-question-answering large-multimadality-models

Created 2023-10-04

57 commits to main branch, last one 8 days ago

3

73

unknown

3

AI for Mathematics (AI4Math) paper list

ai4math benchmarks paper-list autoformalizaion machine-learning reinforcement-learning automated-theorem-proving

Created 2023-04-24

22 commits to main branch, last one about a month ago

9

38

mit

4

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

ai4math ai4science transformers deep-learning symbolic-math language-model interpretable-ml equation-discovery planning-algorithms symbolic-regression

Created 2023-10-09

75 commits to main branch, last one 5 months ago

3

36

mit

3

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

ai4math ai4science multi-modal transformers deep-learning symbolic-math symbolic-regression multi-modal-learning representation-learning

Created 2024-01-07

27 commits to main branch, last one 21 days ago

1

28

unknown

3

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

ai4math data-synthesis theorem-proving machine-learning complex-reasoning math-word-problem large-language-models automated-theorem-proving math-word-problem-solving natural-language-processing

Created 2024-02-14

7 commits to main branch, last one about a month ago