SOTAVerified

Mathematical Problem-Solving

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 106 papers

TitleStatusHype
Is PRM Necessary? Problem-Solving RL Implicitly Induces PRM Capability in LLMs—0
PT-MoE: An Efficient Finetuning Framework for Integrating Mixture-of-Experts into Prompt TuningCode0
Reasoning Models Can Be Effective Without Thinking—0
Holistic Capability Preservation: Towards Compact Yet Comprehensive Reasoning Models—0
LearNAT: Learning NL2SQL with AST-guided Task Decomposition for Large Language Models—0
On Vanishing Variance in Transformer Length Generalization—0
Exploring LLM Reasoning Through Controlled Prompt VariationsCode0
Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics—0
MathAgent: Leveraging a Mixture-of-Math-Agent Framework for Real-World Multimodal Mathematical Error Detection—0
A Survey on Mathematical Reasoning and Optimization with Large Language ModelsCode0
Does Chain-of-Thought Reasoning Help Mobile GUI Agent? An Empirical StudyCode0
MathFlow: Enhancing the Perceptual Flow of MLLMs for Visual Mathematical ProblemsCode0
Performance Comparison of Large Language Models on Advanced Calculus Problems—0
Self-Evolved Preference Optimization for Enhancing Mathematical Reasoning in Small Language Models—0
SECURA: Sigmoid-Enhanced CUR Decomposition with Uninterrupted Retention and Low-Rank Adaptation in Large Language Models—0
How Do Large Language Monkeys Get Their Power (Laws)?—0
Navigating Semantic Relations: Challenges for Language Models in Abstract Common-Sense Reasoning—0
MathFimer: Enhancing Mathematical Reasoning by Expanding Reasoning Steps through Fill-in-the-Middle Task—0
Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving—0
STRIVE: Structured Reasoning for Self-Improvement in Claim Verification—0
Scaling Autonomous Agents via Automatic Reward Modeling And Planning—0
Advancing Reasoning in Large Language Models: Promising Methods and Approaches—0
Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs—0
Token-Hungry, Yet Precise: DeepSeek R1 Highlights the Need for Multi-Step Reasoning Over Speed in MATH—0
Token-by-Token Regeneration and Domain Biases: A Benchmark of LLMs on Advanced Mathematical Problem-Solving—0
Large Language Models for Mathematical AnalysisCode0
Kwai-STaR: Transform LLMs into State-Transition Reasoners—0
VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning—0
Improving Small-Scale Large Language Models Function Calling for Reasoning Tasks—0
FG-PRM: Fine-grained Hallucination Detection and Mitigation in Language Model Mathematical Reasoning—0
Can LLMs plan paths with extra hints from solvers?—0
PersonaMath: Enhancing Math Reasoning through Persona-Driven Data Augmentation—0
Building Math Agents with Multi-Turn Iterative Preference Learning—0
Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems—0
Benchmarking Large Language Models for Math Reasoning TasksCode0
GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace TheoryCode0
Exposing the Achilles' Heel: Evaluating LLMs Ability to Handle Mistakes in Mathematical Reasoning—0
3D-Properties: Identifying Challenges in DPO and Charting a Path Forward—0
OccamLLM: Fast and Exact Language Model Arithmetic in a Single Step—0
The Buffer Mechanism for Multi-Step Information Reasoning in Language Models—0
Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving—0
Mixture-of-Instructions: Comprehensive Alignment of a Large Language Model through the Mixture of Diverse System Prompting Instructions—0
Mathify: Evaluating Large Language Models on Mathematical Problem Solving TasksCode0
Can LLMs Master Math? Investigating Large Language Models on Math Stack ExchangeCode0
SmallToLarge (S2L): Scalable Data Selection for Fine-tuning Large Language Models by Summarizing Training Trajectories of Small ModelsCode0
Premise Order Matters in Reasoning with Large Language Models—0
Large Language Models for Mathematical Reasoning: Progresses and Challenges—0
Three Questions Concerning the Use of Large Language Models to Facilitate Mathematics Learning—0
SEGO: Sequential Subgoal Optimization for Mathematical Problem-SolvingCode0
Data Contamination Through the Lens of TimeCode0
Show:102550
← PrevPage 2 of 3Next →

No leaderboard results yet.