SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 726–750 of 1596 papers

TitleStatusHype
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 30 of 64Next →

No leaderboard results yet.