SOTAVerified

Mathematical Problem-Solving

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 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
Hunyuan-Large: An Open-Source MoE Model with 52 Billion Activated Parameters by TencentCode5
LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical ReasoningCode5
MAVIS: Mathematical Visual Instruction Tuning with an Automatic Data EngineCode4
G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language ModelCode4
Efficiently Serving LLM Reasoning Programs with CertaindexCode3
PCToolkit: A Unified Plug-and-Play Prompt Compression Toolkit of Large Language ModelsCode3
ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem SolvingCode3
Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem SolvingCode2
Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks AutomationCode2
Adaptive Graph of Thoughts: Test-Time Adaptive Reasoning Unifying Chain, Tree, and Graph StructuresCode2
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
ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique PipelineCode2
Measuring Mathematical Problem Solving With the MATH DatasetCode2
SwS: Self-aware Weakness-driven Problem Synthesis in Reinforcement Learning for LLM ReasoningCode1
Solving Inequality Proofs with Large Language ModelsCode1
MORSE-500: A Programmatically Controllable Video Benchmark to Stress-Test Multimodal ReasoningCode1
RaDeR: Reasoning-aware Dense Retrieval ModelsCode1
Entropy-Based Adaptive Weighting for Self-TrainingCode1
MathFusion: Enhancing Mathematic Problem-solving of LLM through Instruction FusionCode1
Forgotten Polygons: Multimodal Large Language Models are Shape-BlindCode1
Code-Vision: Evaluating Multimodal LLMs Logic Understanding and Code Generation CapabilitiesCode1
Exposing Numeracy Gaps: A Benchmark to Evaluate Fundamental Numerical Abilities in Large Language ModelsCode1
Open Eyes, Then Reason: Fine-grained Visual Mathematical Understanding in MLLMsCode1
VoxEval: Benchmarking the Knowledge Understanding Capabilities of End-to-End Spoken Language ModelsCode1
Training and Evaluating Language Models with Template-based Data GenerationCode1
Non-myopic Generation of Language Models for Reasoning and PlanningCode1
BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree SearchCode1
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human CurriculaCode1
MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn InteractionsCode1
Insights into Alignment: Evaluating DPO and its Variants Across Multiple TasksCode1
Evaluating Language Models for Mathematics through InteractionsCode1
A Systematic Study and Comprehensive Evaluation of ChatGPT on Benchmark DatasetsCode1
Abstractors and relational cross-attention: An inductive bias for explicit relational reasoning in TransformersCode1
LocationReasoner: Evaluating LLMs on Real-World Site Selection ReasoningCode0
TeleMath: A Benchmark for Large Language Models in Telecom Mathematical Problem Solving—0
Chain-of-Code Collapse: Reasoning Failures in LLMs via Adversarial Prompting in Code GenerationCode0
PoLAR: Polar-Decomposed Low-Rank Adapter Representation—0
Evaluation of LLMs for mathematical problem solving—0
Decomposing Elements of Problem Solving: What "Math" Does RL Teach?Code0
Error Typing for Smarter Rewards: Improving Process Reward Models with Error-Aware Hierarchical SupervisionCode0
Surrogate Signals from Format and Length: Reinforcement Learning for Solving Mathematical Problems without Ground Truth AnswersCode0
Can reasoning models comprehend mathematical problems in Chinese ancient texts? An empirical study based on data from Suanjing Shishu—0
SMART: Self-Generating and Self-Validating Multi-Dimensional Assessment for LLMs' Mathematical Problem Solving—0
Towards Spoken Mathematical Reasoning: Benchmarking Speech-based Models over Multi-faceted Math Problems—0
HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate ClassCode0
Is PRM Necessary? Problem-Solving RL Implicitly Induces PRM Capability in LLMs—0
Show:102550
← PrevPage 1 of 3Next →

No leaderboard results yet.