SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 326–350 of 1596 papers

TitleStatusHype
VisualWebInstruct: Scaling up Multimodal Instruction Data through Web SearchCode1
Conformal Prediction Sets for Deep Generative Models via Reduction to Conformal Regression—0
StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-ErrorCode0
Understanding the Logical Capabilities of Large Language Models via Out-of-Context Representation Learning—0
The Impact of Item-Writing Flaws on Difficulty and Discrimination in Item Response Theory—0
EvalTree: Profiling Language Model Weaknesses via Hierarchical Capability TreesCode1
From Text to Visuals: Using LLMs to Generate Math Diagrams with Vector Graphics—0
Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning—0
Vision-R1: Incentivizing Reasoning Capability in Multimodal Large Language ModelsCode5
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
Compositional Causal Reasoning Evaluation in Language Models—0
HelpSteer3: Human-Annotated Feedback and Edit Data to Empower Inference-Time Scaling in Open-Ended General-Domain Tasks—0
Benchmarking Reasoning Robustness in Large Language Models—0
Better Process Supervision with Bi-directional Rewarding Signals—0
SOLAR: Scalable Optimization of Large-scale Architecture for Reasoning—0
START: Self-taught Reasoner with Tools—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
PromptCoT: Synthesizing Olympiad-level Problems for Mathematical Reasoning in Large Language ModelsCode1
What's Behind PPO's Collapse in Long-CoT? Value Optimization Holds the Secret—0
When an LLM is apprehensive about its answers -- and when its uncertainty is justifiedCode0
Show:102550
← PrevPage 14 of 64Next →

No leaderboard results yet.