ResearchMath-14K: Scaling Research-Level Mathematics via Agents

arXiv:2605.28003 · cs.CL · Submitted 2026-05-27 · Read on arXiv

cs.CL

Submitted: 2026-05-27

Updated: 2026-09-27

Code: https://github.com/huggingface/Math-Verify

Terminology

Trace — 65× in this paper · explained in 2 episodes
alpha — 30× in this paper · explained in 1 episode
Benchmark — 26× in this paper · explained in 2 episodes
Verification — 9× in this paper · explained in 2 episodes
Fine-Tuning — 7× in this paper · explained in 5 episodes
Reasoning Traces — 3× in this paper · explained in 3 episodes
Aggregation — 2× in this paper · explained in 1 episode
Failure Modes — 2× in this paper · explained in 3 episodes
Reinforcement Learning — 2× in this paper · explained in 4 episodes
Agentic AI — 1× in this paper · explained in 1 episode
Distillation — 1× in this paper · explained in 2 episodes
Foundation Model — 1× in this paper · explained in 3 episodes
Foundation Models — 1× in this paper · explained in 7 episodes
Generalization — 1× in this paper · explained in 13 episodes
Grounding — 1× in this paper · explained in 3 episodes
Hallucination — 1× in this paper · explained in 3 episodes
Instruction Tuning — 1× in this paper · explained in 2 episodes
LLM-as-a-Judge — 1× in this paper · explained in 3 episodes
Provenance — 1× in this paper · explained in 3 episodes
Transformer — 1× in this paper · explained in 2 episodes
Verifier — 1× in this paper · explained in 2 episodes

Sources

Related papers