SOTAVerified

Mathematical Problem-Solving

Papers

Showing 5175 of 106 papers

TitleStatusHype
Token-by-Token Regeneration and Domain Biases: A Benchmark of LLMs on Advanced Mathematical Problem-Solving0
Open Eyes, Then Reason: Fine-grained Visual Mathematical Understanding in MLLMsCode1
VoxEval: Benchmarking the Knowledge Understanding Capabilities of End-to-End Spoken Language ModelsCode1
Efficiently Serving LLM Reasoning Programs with CertaindexCode3
Large Language Models for Mathematical AnalysisCode0
Training and Evaluating Language Models with Template-based Data GenerationCode1
O1 Replication Journey -- Part 2: Surpassing O1-preview through Simple Distillation, Big Progress or Bitter Lesson?Code7
Kwai-STaR: Transform LLMs into State-Transition Reasoners0
Hunyuan-Large: An Open-Source MoE Model with 52 Billion Activated Parameters by TencentCode5
VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning0
Improving Small-Scale Large Language Models Function Calling for Reasoning Tasks0
Non-myopic Generation of Language Models for Reasoning and PlanningCode1
FG-PRM: Fine-grained Hallucination Detection and Mitigation in Language Model Mathematical Reasoning0
Can LLMs plan paths with extra hints from solvers?0
LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical ReasoningCode5
PersonaMath: Enhancing Math Reasoning through Persona-Driven Data Augmentation0
BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree SearchCode1
Building Math Agents with Multi-Turn Iterative Preference Learning0
Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems0
Benchmarking Large Language Models for Math Reasoning TasksCode0
MAVIS: Mathematical Visual Instruction Tuning with an Automatic Data EngineCode4
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human CurriculaCode1
MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math DataCode2
Math-LLaVA: Bootstrapping Mathematical Reasoning for Multimodal Large Language ModelsCode2
DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-SolvingCode2
Show:102550
← PrevPage 3 of 5Next →

No leaderboard results yet.