7 results found Sort:
- Filter by Primary Language:
- Python (3)
- C++ (1)
- Jupyter Notebook (1)
- +
MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
Created
2023-10-04
111 commits to main branch, last one 2 months ago
AI for Mathematics (AI4Math) paper list
Created
2023-04-24
26 commits to main branch, last one about a month ago
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 ...
Created
2024-04-18
26 commits to main branch, last one 4 months ago
[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
Created
2023-10-09
86 commits to main branch, last one 17 days ago
[ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"
Created
2024-01-07
33 commits to main branch, last one about a month ago
This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models
Created
2024-04-19
28 commits to main branch, last one 10 days ago
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Created
2024-02-14
7 commits to main branch, last one 5 months ago