OpenCodePapers

mathematical-reasoning-on-hmmt-feb-2026

Mathematical Reasoning
Dataset Link
Results over time
Click legend items to toggle metrics. Hover points for model names.
Leaderboard
PaperCodeAccuracyModelNameReleaseDate
DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence✓ Link95.2DeepSeek-V4-Pro Max2026-04-26
GLM-5.2: Built for Long-Horizon Tasks✓ Link92.5GLM-5.22026-06-16
Intern-S2-Preview: Scientific Agentic Foundation Model✓ Link91.57Intern-S2-Preview-397B2026-08-13
Inkling-Small✓ Link90.2Inkling-Small2026-07-27
Intern-S2-Mobius: Foundation Model with Decoupled Knowledge and Reasoning✓ Link85.51Intern-S2-Mobius-35B2026-08-14
MAI-Thinking-1: Building a Hill-Climbing Machine84.9MAI-Thinking-12026-06-02
Limite 1B - Violetto: Technical Report✓ Link83.62Limite 1B - Violetto2026-10-06
AgentMercury: Your Agent Can Synthesize Verifiable Environments for Business Scenarios at scale83.3Qwen3.5-35B-A3B + SAO + Ours2026-08-21
Nanbeige4.2-3B: Unlocking Agentic Capabilities in a Compact Model✓ Link82.8Nanbeige4.2-3B2026-07-21
Introducing K2 Horizon: Frontier Performance, Radically Open✓ Link73.3K2-Horizon-7B2026-09-03
Data Science and Technology Towards AGI Part I: Tiered Data Management✓ Link63.8MiniCPM5-2B2026-02-09
Is Next-Chunk Reasoning RL Really Better than SFT? Revisiting Training Strategies under no-CoT Data51.52Mixed SFT + RLVR2026-08-24
Surprising Success, Repeated Failure: Entropy-Guided Credit Assignment for Exploration in LLM Reasoning✓ Link45.5Olmo-3-7B-Think-DPO + EAPO2026-09-27
Self-Organizing Agent Teams Learn to Reason Together39.4Self-Organizing Agent Teams (SAT)2026-09-19
Where the Model Changes Its Mind: Hindsight-Divergence Localization for Efficient Reinforcement Learning with Verifiable Rewards29.04HDL (Llama3.1-8B)2026-09-29
MiniCPM5-1B✓ Link25.76MiniCPM5-1B (Thinking)2026-05-25