SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 701–750 of 1596 papers

TitleStatusHype
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad—0
Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language ModelsCode0
Think Twice: Enhancing LLM Reasoning by Scaling Multi-round Test-time Thinking—0
Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators—0
1.4 Million Open-Source Distilled Reasoning Dataset to Empower Large Language Model Training—0
Gemma 3 Technical Report—0
Overcoming Vocabulary Mismatch: Vocabulary-agnostic Teacher Guided Language Modeling—0
Teaching LLMs for Step-Level Automatic Math Correction via Reinforcement Learning—0
Activation Functions Considered Harmful: Recovering Neural Network Weights through Controlled Channels—0
Long Is More Important Than Difficult for Training Reasoning Models—0
Lost in Cultural Translation: Do LLMs Struggle with Math Across Cultural Contexts?Code0
MathAgent: Leveraging a Mixture-of-Math-Agent Framework for Real-World Multimodal Mathematical Error Detection—0
ChatBench: From Static Benchmarks to Human-AI EvaluationCode0
Exploring the Hidden Reasoning Process of Large Language Models by Misleading Them—0
BurTorch: Revisiting Training from First Principles by Coupling Autodiff, Math Optimization, and Systems—0
Tapered Off-Policy REINFORCE: Stable and efficient reinforcement learning for LLMs—0
Pensez: Less Data, Better Reasoning -- Rethinking French LLM—0
Improving Complex Reasoning with Dynamic Prompt Corruption: A soft prompt Optimization Approach—0
SPIN-Bench: How Well Do LLMs Plan Strategically and Reason Socially?—0
StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-ErrorCode0
The Impact of Item-Writing Flaws on Difficulty and Discrimination in Item Response Theory—0
Conformal Prediction Sets for Deep Generative Models via Reduction to Conformal Regression—0
Chat-TS: Enhancing Multi-Modal Reasoning Over Time-Series and Natural Language Data—0
Understanding the Logical Capabilities of Large Language Models via Out-of-Context Representation Learning—0
Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning—0
From Text to Visuals: Using LLMs to Generate Math Diagrams with Vector Graphics—0
Decoding the Black Box: Integrating Moral Imagination with Technical AI Governance—0
InftyThink: Breaking the Length Limits of Long-Context Reasoning in Large Language Models—0
Symbolic Mixture-of-Experts: Adaptive Skill-based Routing for Heterogeneous Reasoning—0
START: Self-taught Reasoner with Tools—0
Better Process Supervision with Bi-directional Rewarding Signals—0
Benchmarking Reasoning Robustness in Large Language Models—0
SOLAR: Scalable Optimization of Large-scale Architecture for Reasoning—0
HelpSteer3: Human-Annotated Feedback and Edit Data to Empower Inference-Time Scaling in Open-Ended General-Domain Tasks—0
Compositional Causal Reasoning Evaluation in Language Models—0
Performance Comparison of Large Language Models on Advanced Calculus Problems—0
LEWIS (LayEr WIse Sparsity) -- A Training Free Guided Model Merging Approach—0
FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4—0
Self-Evolved Preference Optimization for Enhancing Mathematical Reasoning in Small Language Models—0
When an LLM is apprehensive about its answers -- and when its uncertainty is justifiedCode0
What's Behind PPO's Collapse in Long-CoT? Value Optimization Holds the Secret—0
Cats Confuse Reasoning LLM: Query Agnostic Adversarial Triggers for Reasoning Models—0
MV-MATH: Evaluating Multimodal Math Reasoning in Multi-Visual Contexts—0
MAMUT: A Novel Framework for Modifying Mathematical Formulas for the Generation of Specialized Datasets for Language Model TrainingCode0
Med-RLVR: Emerging Medical Reasoning from a 3B base model via reinforcement Learning—0
Towards Thinking-Optimal Scaling of Test-Time Compute for LLM Reasoning—0
SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution—0
Reasoning with Latent Thoughts: On the Power of Looped Transformers—0
Learning Decentralized Swarms Using Rotation Equivariant Graph Neural NetworksCode0
Linguistic Generalizability of Test-Time Scaling in Mathematical ReasoningCode0
Show:102550
← PrevPage 15 of 32Next →

No leaderboard results yet.