SOTAVerified

Mathematical Problem-Solving

Papers

Showing 150 of 106 papers

TitleStatusHype
EvoAgentX: An Automated Framework for Evolving Agentic WorkflowsCode7
O1 Replication Journey -- Part 2: Surpassing O1-preview through Simple Distillation, Big Progress or Bitter Lesson?Code7
LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical ReasoningCode5
Hunyuan-Large: An Open-Source MoE Model with 52 Billion Activated Parameters by TencentCode5
G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language ModelCode4
MAVIS: Mathematical Visual Instruction Tuning with an Automatic Data EngineCode4
Efficiently Serving LLM Reasoning Programs with CertaindexCode3
ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem SolvingCode3
PCToolkit: A Unified Plug-and-Play Prompt Compression Toolkit of Large Language ModelsCode3
Adaptive Graph of Thoughts: Test-Time Adaptive Reasoning Unifying Chain, Tree, and Graph StructuresCode2
Measuring Mathematical Problem Solving With the MATH DatasetCode2
Math-LLaVA: Bootstrapping Mathematical Reasoning for Multimodal Large Language ModelsCode2
ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique PipelineCode2
Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks AutomationCode2
DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-SolvingCode2
Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem SolvingCode2
MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math DataCode2
Evaluating Language Models for Mathematics through InteractionsCode1
Entropy-Based Adaptive Weighting for Self-TrainingCode1
BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree SearchCode1
Open Eyes, Then Reason: Fine-grained Visual Mathematical Understanding in MLLMsCode1
Non-myopic Generation of Language Models for Reasoning and PlanningCode1
RaDeR: Reasoning-aware Dense Retrieval ModelsCode1
Insights into Alignment: Evaluating DPO and its Variants Across Multiple TasksCode1
Abstractors and relational cross-attention: An inductive bias for explicit relational reasoning in TransformersCode1
MORSE-500: A Programmatically Controllable Video Benchmark to Stress-Test Multimodal ReasoningCode1
A Systematic Study and Comprehensive Evaluation of ChatGPT on Benchmark DatasetsCode1
Forgotten Polygons: Multimodal Large Language Models are Shape-BlindCode1
SwS: Self-aware Weakness-driven Problem Synthesis in Reinforcement Learning for LLM ReasoningCode1
Training and Evaluating Language Models with Template-based Data GenerationCode1
Exposing Numeracy Gaps: A Benchmark to Evaluate Fundamental Numerical Abilities in Large Language ModelsCode1
MathFusion: Enhancing Mathematic Problem-solving of LLM through Instruction FusionCode1
Solving Inequality Proofs with Large Language ModelsCode1
VoxEval: Benchmarking the Knowledge Understanding Capabilities of End-to-End Spoken Language ModelsCode1
MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn InteractionsCode1
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human CurriculaCode1
Code-Vision: Evaluating Multimodal LLMs Logic Understanding and Code Generation CapabilitiesCode1
Error Typing for Smarter Rewards: Improving Process Reward Models with Error-Aware Hierarchical SupervisionCode0
Benchmarking Large Language Models for Math Reasoning TasksCode0
Chain-of-Code Collapse: Reasoning Failures in LLMs via Adversarial Prompting in Code GenerationCode0
Does Chain-of-Thought Reasoning Help Mobile GUI Agent? An Empirical StudyCode0
Decomposing Elements of Problem Solving: What "Math" Does RL Teach?Code0
PT-MoE: An Efficient Finetuning Framework for Integrating Mixture-of-Experts into Prompt TuningCode0
Data Contamination Through the Lens of TimeCode0
SEGO: Sequential Subgoal Optimization for Mathematical Problem-SolvingCode0
Mathify: Evaluating Large Language Models on Mathematical Problem Solving TasksCode0
HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate ClassCode0
GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace TheoryCode0
Can LLMs Master Math? Investigating Large Language Models on Math Stack ExchangeCode0
A Survey on Mathematical Reasoning and Optimization with Large Language ModelsCode0
Show:102550
← PrevPage 1 of 3Next →

No leaderboard results yet.