A collection of recent open-source math datasets for training and evaluating Math LLMs
☆35Apr 26, 2026Updated 6 months ago
Alternatives and similar repositories for awesome-AI-Math-Datasets
Users that are interested in awesome-AI-Math-Datasets are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Syntax-aware Word Mover’s Distance for Sentence Similarity Modeling☆20Nov 6, 2023Updated 2 years ago
- ☆15May 24, 2024Updated 2 years ago
- ☆15May 14, 2026Updated 5 months ago
- ☆11Mar 12, 2024Updated 2 years ago
- ACL 2022: Just Rank: Rethinking Evaluation with Word and Sentence Similarities☆35Dec 14, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- IEEE VCIP 2021: AnomalyHop: An SSL-based Image Anomaly Localization Method☆14Sep 18, 2021Updated 5 years ago
- The repo for our paper: Enhancing LLM-Based Agents via Global Planning and Hierarchical Execution (NCIIP 2025 Best Paper)☆17Aug 18, 2025Updated last year
- ☆12Jan 18, 2020Updated 6 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated last year
- ☆11Feb 16, 2024Updated 2 years ago
- Repository of paper "Establishing Trustworthy LLM Evaluation via Shortcut Neuron Analysis" (ACL 2025 Main)☆20Jul 19, 2025Updated last year
- This repository is deprecated, please go to https://github.com/davidsonic/Interpretable_CNNs_via_Feedforward_Design☆15Jan 12, 2019Updated 7 years ago
- (ACM MM24) This is the offical repository of GIST: Improving Parameter Efficient Fine Tuning via Knowledge Interaction.☆10Jan 28, 2024Updated 2 years ago
- Slock workspace client for macOS.☆27May 11, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆160Jul 12, 2024Updated 2 years ago
- RapidIn: Scalable Influence Estimation for Large Language Models (LLMs). The implementation for paper "Token-wise Influential Training Da…☆22Mar 10, 2026Updated 7 months ago
- An evaluation framework to test AI in a trial-and-error process. It is a simplified Natural Selection test.☆22Mar 11, 2025Updated last year
- SimKO: Simple Pass@K Policy Optimization☆31Oct 24, 2025Updated last year
- Cross-Self KV Cache Pruning for Efficient Vision-Language Inference☆11Dec 15, 2024Updated last year
- [ICLR 2025 DATA-FM] Training and Evaluating Language Models with Template-based Data Generation (https://arxiv.org/abs/2411.18104)☆13May 13, 2026Updated 5 months ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- Tools for diffing and comparing web content. Also includes a web server that makes diffs available as an HTTP service.☆26Oct 26, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [EMNLP 2025 Findings] A complete cross-modal RAG system for end-to-end speech-to-speech large models, including ASR-based Retrieval and E…☆32Jul 11, 2025Updated last year
- ☆10Oct 17, 2021Updated 5 years ago
- (ICME24) This is the offical repository of iDAT: inverse Distillation Adapter-Tuning.☆12Apr 3, 2024Updated 2 years ago
- Reproduction of the complete process of DeepSeek-R1 on small-scale models, including Pre-training, SFT, and RL.☆33Mar 11, 2025Updated last year
- ☆18Sep 11, 2026Updated last month
- Implements a shelve interface class with a SQLite backend.☆11Jun 5, 2026Updated 4 months ago
- A python module for converting a raster to a Pandas DataFrame☆11Dec 26, 2022Updated 3 years ago
- Bibliography database for machine learning conferences.☆13May 12, 2026Updated 5 months ago
- 基于区块链的商品溯源系统☆10Mar 11, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- EWoK dataset generation framework☆14May 14, 2024Updated 2 years ago
- ☆10Jul 10, 2025Updated last year
- ☆48Apr 9, 2025Updated last year
- ☆12Jun 20, 2024Updated 2 years ago
- Library for experimenting with state-of-the-art evaluation metrics like UScore☆12May 27, 2023Updated 3 years ago
- Official codebase for NeurIPS 2022 paper End-to-end Learning to Index and Search in Large Output Spaces☆12Apr 19, 2023Updated 3 years ago
- [ACL 2025] 🔍 Multilingual Evaluation of English-Centric LLMs via Cross-Lingual Alignment☆11Updated this week