SOTAVerified

Math

Papers

Showing 101125 of 1596 papers

TitleStatusHype
ThoughtSource: A central hub for large language model reasoning dataCode3
Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning TasksCode3
PAL: Program-aided Language ModelsCode3
SymForce: Symbolic Computation and Code Generation for RoboticsCode3
Training Verifiers to Solve Math Word ProblemsCode3
SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement LearningCode2
OctoThinker: Mid-training Incentivizes Reinforcement Learning ScalingCode2
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics LearningCode2
Essential-Web v1.0: 24T tokens of organized web dataCode2
TreeRL: LLM Reinforcement Learning with On-Policy Tree SearchCode2
Vision Matters: Simple Visual Perturbations Can Boost Multimodal Math ReasoningCode2
AbstentionBench: Reasoning LLMs Fail on Unanswerable QuestionsCode2
Play to Generalize: Learning to Reason Through Game PlayCode2
MINT-CoT: Enabling Interleaved Visual Tokens in Mathematical Chain-of-Thought ReasoningCode2
The Surprising Effectiveness of Negative Reinforcement in LLM ReasoningCode2
Unsupervised Post-Training for Multi-Modal LLM Reasoning via GRPOCode2
Reinforcing General Reasoning without VerifiersCode2
R2R: Efficiently Navigating Divergent Reasoning Paths with Small-Large Model Token RoutingCode2
MAS-Zero: Designing Multi-Agent Systems with Zero SupervisionCode2
WebAgent-R1: Training Web Agents via End-to-End Multi-Turn Reinforcement LearningCode2
Meta-Design Matters: A Self-Design Multi-Agent SystemCode2
RL Tango: Reinforcing Generator and Verifier Together for Language ReasoningCode2
AdaptThink: Reasoning Models Can Learn When to ThinkCode2
Seek in the Dark: Reasoning via Test-Time Instance-Level Policy Gradient in Latent SpaceCode2
Synthetic Data RL: Task Definition Is All You NeedCode2
Show:102550
← PrevPage 5 of 64Next →

No leaderboard results yet.