SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 526–550 of 1596 papers

TitleStatusHype
AALC: Large Language Model Efficient Reasoning via Adaptive Accuracy-Length ControlCode0
When Life Gives You Samples: The Benefits of Scaling up Inference Compute for Multilingual LLMs—0
Multi-lingual Functional Evaluation for Large Language Models—0
ReasonFlux-PRM: Trajectory-Aware PRMs for Long Chain-of-Thought Reasoning in LLMs—0
Causal Decomposition Analysis with Synergistic Interventions: A Triply-Robust Machine Learning Approach to Addressing Multiple Dimensions of Social Disparities—0
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models—0
Shrinking the Generation-Verification Gap with Weak Verifiers—0
Leveraging LLMs to Assess Tutor Moves in Real-Life Dialogues: A Feasibility Study—0
No Free Lunch: Rethinking Internal Feedback for LLM Reasoning—0
AgentGroupChat-V2: Divide-and-Conquer Is What LLM-Based Multi-Agent System NeedCode0
SIRI-Bench: Challenging VLMs' Spatial Intelligence through Complex Reasoning Tasks—0
Utility-Driven Speculative Decoding for Mixture-of-Experts—0
Weakest Link in the Chain: Security Vulnerabilities in Advanced Reasoning Models—0
AceReason-Nemotron 1.1: Advancing Math and Code Reasoning through SFT and RL Synergy—0
Direct Reasoning Optimization: LLMs Can Reward And Refine Their Own Reasoning for Open-Ended Tasks—0
Adaptive Guidance Accelerates Reinforcement Learning of Reasoning Models—0
VGR: Visual Grounded Reasoning—0
Agent-RLVR: Training Software Engineering Agents via Guidance and Environment Rewards—0
ReCUT: Balancing Reasoning Length and Accuracy in LLMs via Stepwise Trails and Preference OptimizationCode0
Learning a Continue-Thinking Token for Enhanced Test-Time ScalingCode0
TTT-Bench: A Benchmark for Evaluating Reasoning Ability with Simple and Novel Tic-Tac-Toe-style Games—0
Reinforce LLM Reasoning through Multi-Agent Reflection—0
Enhancing Reasoning Capabilities of Small Language Models with Blueprints and Prompt Template Search—0
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs—0
Learning to Reason Across Parallel Samples for LLM Reasoning—0
Show:102550
← PrevPage 22 of 64Next →

No leaderboard results yet.