Search Results - RepositoryStats

36

234

cc-by-sa-4.0

6

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

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

ai4math-papers j991222

8

132

unknown

7

AI for Mathematics (AI4Math) paper list

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

Created 2023-04-24

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

Awesome-LLM4Math tongyx361

2

78

mit

2

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

llm ai4math llm4math mathematics

Created 2024-04-18

26 commits to main branch, last one 3 months ago

TPSR deep-symbolic-mathematics

13

52

mit

5

[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

86 commits to main branch, last one 2 days ago

Multimodal-Math-Pretraining deep-symbolic-mathematics

5

44

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

33 commits to main branch, last one 15 days ago

MUSTARD Eleanor-H

1

36

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 5 months ago

LLM-SR deep-symbolic-mathematics

4

33

mit

6

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

ai4code ai4math llm-agent ai4science program-synthesis equation-discovery symbolic-regression scientific-discovery large-language-models

Created 2024-04-19

27 commits to main branch, last one 13 days ago