MathPile

A mathematics-centric corpus containing approximately 9.5 billion tokens, compiled from textbooks (including lecture notes), arXiv, Wikipedia, ProofWiki, StackExchange, and web pages. Suitable for K-12, university, graduate-level, and math competition applications.

CommonProductEducationMathematicsCorpus

Visit

MathPile is a mathematics-centric corpus containing approximately 9.5 billion tokens. It draws mathematical content from textbooks (including lecture notes), arXiv, Wikipedia, ProofWiki, StackExchange, and web pages. It is suitable for K-12, university, graduate-level, and math competition applications. MathPile boasts high data quality and comprehensive data documentation to enhance transparency and provide users with flexible data utilization capabilities. MathPile adheres to the BY-NC-SA 4.0 license and plans to release a commercially available version soon.

Best AI Websites & Tools

MathPile

MathPile Visit Over Time

MathPile Visit Trend

MathPile Visit Geography

MathPile Traffic Sources

MathPile Alternatives

RLVR-GSM-MATH-IF-Mixed-Constraints — A dataset of math problems for reinforcement learning validation.

FrontierMath — AI Mathematical Benchmark Testing

Photomath — Provides step-by-step solutions and explanations for math problems through scanning.

MathGPT Pro — An AI math solver that helps students quickly and accurately answer various mathematical questions.

aimo-progress-prize — AI Mathematics Olympic Solutions

NuminaMath — Collection of solutions to mathematical competition problems

AI Math Solver — Intelligently solve math problems and increase learning efficiency

AutoMathText — Intelligent Tagging Dataset for Mathematical Texts

AIMath.com — AI-Powered Math Solution

AlphaGeometry — AlphaGeometry: AI breakthrough in solving geometry problems

FormuTodo — Become the best study tool in your class

Moogle — Quick Theorem Lookup

AI Teacha — AI Teachakey: Working Smarter with Artificial Intelligence

MathGPT — A global mathematics problem-solving and explanation large language model

Just GPT It — A fun website that imitates ChatGPT.

Gemini English Speaking Assistant — An English pronunciation correction tool based on Google Gemini AI

Kimi Visual Thinking Model K1 — A visual thinking model based on reinforcement learning technology, leading the industry in scientific testing.

Better Call Santa — A fun app for talking to Santa Claus

AI Santa by Tavus — Engage in conversation with AI Santa and enjoy the festive fun.

tulu-3-sft-olmo-2-mixture — A large-scale multilingual text dataset.

CodeArena — AI Model Programming Competition Platform

Remento — Transform memories into keepsakes without the need for writing.

MAmmoTH-VL — A Large-Scale Multimodal Reasoning and Instruction Tuning Platform

NotionFlashcard — Transform your Notion notes into an interactive learning system.

Paper-to-Podcast — Transform academic papers into engaging podcast episodes

They See Your Photos — Revealing the stories and privacy information behind photos

Forte! — Your automated co-pilot for DAWs, saying goodbye to repetitive tasks.

Open Notebook — AI-driven open-source note/research platform that respects your privacy.

QwQ — QwQ is an AI research model focused on deep reasoning capabilities.