SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 226–250 of 1596 papers

TitleStatusHype
Trace-of-Thought Prompting: Investigating Prompt-Based Knowledge Distillation Through Question Decomposition—0
Local Prompt Optimization—0
Accurate and Diverse LLM Mathematical Reasoning via Automated PRM-Guided GFlowNets—0
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries—0
Efficient Reasoning for LLMs through Speculative Chain-of-ThoughtCode1
Evaluating Grounded Reasoning by Code-Assisted Large Language Models for Mathematics—0
An Empirical Study on Prompt Compression for Large Language ModelsCode3
Benchmarking Multimodal Mathematical Reasoning with Explicit Visual DependencyCode1
Training Large Language Models to Reason via EM Policy Gradient—0
SplitReason: Learning To Offload Reasoning—0
Process Reward Models That ThinkCode2
AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning datasetCode4
DianJin-R1: Evaluating and Enhancing Financial Reasoning in Large Language Models—0
Dynamic Early Exit in Reasoning ModelsCode2
TTRL: Test-Time Reinforcement LearningCode7
LongPerceptualThoughts: Distilling System-2 Reasoning for System-1 Perception—0
Evaluating Judges as Evaluators: The JETTS Benchmark of LLM-as-Judges as Test-Time Scaling EvaluatorsCode0
OTC: Optimal Tool Calls via Reinforcement Learning—0
Learning to Reason under Off-Policy GuidanceCode3
Roll the dice & look before you leap: Going beyond the creative limits of next-token predictionCode2
Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for ReasoningCode2
Enhancing Math Learning in an LMS Using AI-Driven Question Recommendations—0
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?—0
THOUGHTTERMINATOR: Benchmarking, Calibrating, and Mitigating Overthinking in Reasoning Models—0
MathPhys-Guided Coarse-to-Fine Anomaly Synthesis with SQE-Driven Bi-Level Optimization for Anomaly Detection—0
Show:102550
← PrevPage 10 of 64Next →

No leaderboard results yet.