SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 401–425 of 1596 papers

TitleStatusHype
Uncovering the Impact of Chain-of-Thought Reasoning for Direct Preference Optimization: Lessons from Text-to-SQLCode1
Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration PitfallsCode0
Enhancing Cross-Tokenizer Knowledge Distillation with Contextual Dynamical MappingCode1
Graders should cheat: privileged information enables expert-level automated evaluations—0
Dyve: Thinking Fast and Slow for Dynamic Process VerificationCode1
1bit-Merging: Dynamic Quantized Merging for Large Language Models—0
MME-CoT: Benchmarking Chain-of-Thought in Large Multimodal Models for Reasoning Quality, Robustness, and Efficiency—0
CRANE: Reasoning with constrained LLM generation—0
Interactive Sketchpad: A Multimodal Tutoring System for Collaborative, Visual Problem-Solving—0
Mathematical Reasoning in Large Language Models: Assessing Logical and Arithmetic Errors across Wide Numerical RangesCode0
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingCode3
LLMs Can Easily Learn to Reason from Demonstrations Structure, not content, is what matters!Code7
Rethinking Fine-Tuning when Scaling Test-Time Compute: Limiting Confidence Improves Mathematical ReasoningCode0
O1 Embedder: Let Retrievers Think Before Action—0
CodeI/O: Condensing Reasoning Patterns via Code Input-Output PredictionCode4
Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time ScalingCode3
MATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard Perturbations—0
Exploring the Limit of Outcome Reward for Learning Mathematical ReasoningCode2
On the Emergence of Thinking in LLMs I: Searching for the Right IntuitionCode2
ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought TemplatesCode4
Evolving LLMs' Self-Refinement Capability via Iterative Preference Optimization—0
GSM-Infinite: How Do Your LLMs Behave over Infinitely Increasing Context Length and Reasoning Complexity?Code2
BOLT: Bootstrap Long Chain-of-Thought in Language Models without Distillation—0
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2—0
Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment—0
Show:102550
← PrevPage 17 of 64Next →

No leaderboard results yet.