7 results found Sort:

36
240
cc-by-sa-4.0
6
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
1
37
unknown
3
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