23 skills found
lupantech / MathVistaMathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
deep-symbolic-mathematics / LLM SR[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models
tongyx361 / Awesome LLM4MathCuration 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 the gist as quickly as possible.
deep-symbolic-mathematics / Llm Srbench[ICML2025 Oral] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models
deep-symbolic-mathematics / TPSR[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
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"
InternScience / GeoX[ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
Eleanor-H / MUSTARDCode & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
CHYYYYYYYY / SolidGeoSolverA unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 2026 paper Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning.
amao0o0 / Awesome AI Math DatasetsA collection of recent open-source math datasets for training and evaluating Math LLMs
Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.
deep-symbolic-mathematics / Multimodal Symbolic Regression[ICLR 2024 Spotlight] SNIP on Symbolic Regression: Deep Symbolic Regression with Multimodal Pretraining
Carlos-Mero / AI4Math SeminarResources for my AI4Math Seminar!
HarryYancy / SolidGeoSolidGeo: Measuring Multimodal Spatial Math Reasoning in Solid Geometry
bicmr-ai4math / Bicmr Ai4math.github.iohttps://bicmr-ai4math.github.io
YuzeHao2023 / Daily Arxiv Ai4math🎓Automatically Update AI4math Papers Daily using Github Actions
smarter-vlm / Smarternext gen smart vlm reasoner (AI4MATH@ICML'24; Multimodal Algorithmic Reasoning@NeurIPS'24)
Xinze-Li-Moqian / Awesome Ai4mathThe ecosystem reshaping mathematics.
Shengyu-Feng / TSMC4MATH[ICLR2025] Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlo (https://arxiv.org/abs/2410.01920)
ZIB-IOL / Neural Discovery Icml25Code to reproduce the experiments of the ICML25-paper: "Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?"