A collection of recent open-source math datasets for training and evaluating Math LLMs
☆30Apr 26, 2026Updated last month
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:
- ☆11Mar 12, 2024Updated 2 years ago
- Paper: Relational Sentence Embedding for Flexible Semantic Matching☆12May 22, 2024Updated 2 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated last year
- IEEE VCIP 2021: AnomalyHop: An SSL-based Image Anomaly Localization Method☆14Sep 18, 2021Updated 4 years ago
- ☆20May 29, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lean 形式化数学☆18Dec 20, 2025Updated 5 months ago
- Tool to analyse the import structure of lean projects.☆20May 8, 2026Updated 2 weeks ago
- (ACM MM24) This is the offical repository of GIST: Improving Parameter Efficient Fine Tuning via Knowledge Interaction.☆11Jan 28, 2024Updated 2 years ago
- Cross-Self KV Cache Pruning for Efficient Vision-Language Inference☆10Dec 15, 2024Updated last year
- ☆23Jan 19, 2023Updated 3 years ago
- Write LaTeX presentations directly from Lean4~☆27Dec 28, 2025Updated 4 months ago
- CAD - Memory Efficient Convolutional Adapter for Segment Anything☆12Oct 4, 2024Updated last year
- (ICME24) This is the offical repository of iDAT: inverse Distillation Adapter-Tuning.☆13Apr 3, 2024Updated 2 years ago
- ☆33Aug 21, 2025Updated 9 months ago
- 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.
- Minimal codes for "Task-Oriented Dexterous Hand Pose Synthesis Using Differentiable Grasp Wrench Boundary Estimator [IROS 2024]"☆16Feb 12, 2025Updated last year
- ☆19Jan 8, 2026Updated 4 months ago
- (AAAI25) This is the official code repository for "MM-CamObj: A Comprehensive Multimodal Dataset for Camouflaged Object Scenarios".☆16May 30, 2025Updated 11 months ago
- ☆35Jan 27, 2026Updated 3 months ago
- A Benchmark for Multi-Stage Legal Case Documents Generation☆18Feb 24, 2025Updated last year
- ☆26Apr 6, 2026Updated last month
- Original implementation of SmartRAG: Jointly Learn RAG-Related Tasks From the Environment Feedback (ICLR 2025)☆18Feb 17, 2025Updated last year
- ☆17Jan 31, 2024Updated 2 years ago
- ☆25May 2, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Responsible Robotic Manipulation☆15Aug 31, 2025Updated 8 months ago
- ☆23Nov 4, 2024Updated last year
- ☆14Oct 2, 2023Updated 2 years ago
- [CVPR 2026] UniDex: A Robot Foundation Suite for Universal Dexterous Hand Control from Egocentric Human Videos☆127Mar 31, 2026Updated last month
- We introduce DiffH2O, a diffusion-based framework to synthesize dexterous hand-object interactions. DiffH2O generates realistic hand-obje…☆40Nov 21, 2025Updated 6 months ago
- EMNLP 2022: Analyzing and Evaluating Faithfulness in Dialogue Summarization☆13Mar 20, 2025Updated last year
- Tactile ergodic exploration for robot learning☆14Dec 16, 2024Updated last year
- This repository is the implementation of Gripper-agnostic Diffusion Policy for pick-and-place manipulation in SE(3) space☆19Feb 28, 2025Updated last year
- 基于区块链的商品溯源系统☆10Mar 11, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A web-based tool that converts Claude Code CLI conversation logs (JSONL format) into human-readable Markdown. Features a built-in file ex…☆51May 12, 2026Updated 2 weeks ago
- A repository for the EMNLP 2021 paper "Is Information Density Uniform in Task-Oriented Dialogues?" and for the CoNLL 2021 paper "Analysin…☆10Jun 17, 2024Updated last year
- ☆31Jul 22, 2025Updated 10 months ago
- Efficient Sentence Embedding via Semantic Subspace Analysis☆14Feb 25, 2020Updated 6 years ago
- Try a tactic at each step in a Lean proof.☆36Apr 5, 2026Updated last month
- ☆21Dec 23, 2025Updated 5 months ago
- This repo contains the code and results for reproducing the results in the paper: A SIMPLE BUT TOUGH-TO-BEAT BASELINE FOR SENTENCE EMBEDD…☆12Jul 13, 2018Updated 7 years ago