SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 676–700 of 1596 papers

TitleStatusHype
MathPhys-Guided Coarse-to-Fine Anomaly Synthesis with SQE-Driven Bi-Level Optimization for Anomaly Detection—0
THOUGHTTERMINATOR: Benchmarking, Calibrating, and Mitigating Overthinking in Reasoning Models—0
In between myth and reality: AI for math -- a case study in category theory—0
Entropy-Guided Watermarking for LLMs: A Test-Time Framework for Robust and Traceable Text Generation—0
Rethinking the Generation of High-Quality CoT Data from the Perspective of LLM-Adaptive Question Difficulty Grading—0
ReTool: Reinforcement Learning for Strategic Tool Use in LLMs—0
Heimdall: test-time scaling on the generative verification—0
GPT Carry-On: Training Foundation Model for Customization Could Be Simple, Scalable and Affordable—0
Supervised Optimism Correction: Be Confident When LLMs Are Sure—0
MDIT: A Model-free Data Interpolation Method for Diverse Instruction Tuning—0
Reasoning Models Know When They're Right: Probing Hidden States for Self-Verification—0
Synthetic Data Generation & Multi-Step RL for Reasoning & Tool Use—0
Retro-Search: Exploring Untaken Paths for Deeper and Efficient Reasoning—0
oneDAL Optimization for ARM Scalable Vector Extension: Maximizing Efficiency for High-Performance Data Science—0
Online Difficulty Filtering for Reasoning Oriented Reinforcement Learning—0
Explain with Visual Keypoints Like a Real Mentor! A Benchmark for Multimodal Solution Explanation—0
Cross-Lingual Consistency: A Novel Inference Framework for Advancing Reasoning in Large Language Models—0
Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics—0
How Difficulty-Aware Staged Reinforcement Learning Enhances LLMs' Reasoning Capabilities: A Preliminary Experimental Study—0
Hawkeye:Efficient Reasoning with Model Collaboration—0
GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning—0
Investigating Large Language Models in Diagnosing Students' Cognitive Skills in Math Problem-solving—0
An extrapolated and provably convergent algorithm for nonlinear matrix decomposition with the ReLU functionCode0
DebFlow: Automating Agent Creation via Agent Debate—0
Effective Skill Unlearning through Intervention and AbstentionCode0
Show:102550
← PrevPage 28 of 64Next →

No leaderboard results yet.