SOTAVerified

Math

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 101–150 of 1596 papers

TitleStatusHype
BAdam: A Memory Efficient Full Parameter Optimization Method for Large Language ModelsCode3
Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning TasksCode3
Learning to Reason under Off-Policy GuidanceCode3
Reinforcement Learning for Reasoning in Large Language Models with One Training ExampleCode3
ThoughtSource: A central hub for large language model reasoning dataCode3
Evaluating Mathematical Reasoning Beyond AccuracyCode2
PaLM: Scaling Language Modeling with PathwaysCode2
On the Emergence of Thinking in LLMs I: Searching for the Right IntuitionCode2
OctoThinker: Mid-training Incentivizes Reinforcement Learning ScalingCode2
AGIEval: A Human-Centric Benchmark for Evaluating Foundation ModelsCode2
Offline Reinforcement Learning for LLM Multi-Step ReasoningCode2
Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks AutomationCode2
Multi-View Reasoning: Consistent Contrastive Learning for Math Word ProblemCode2
Enhancing Multi-Step Reasoning Abilities of Language Models through Direct Q-Function OptimizationCode2
Efficient Reinforcement Finetuning via Adaptive Curriculum LearningCode2
MM-Vet: Evaluating Large Multimodal Models for Integrated CapabilitiesCode2
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic CorpusCode2
Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning ProcessCode2
Dynamic Early Exit in Reasoning ModelsCode2
Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem SolvingCode2
Essential-Web v1.0: 24T tokens of organized web dataCode2
Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language ModelsCode2
Meteor: Mamba-based Traversal of Rationale for Large Language and Vision ModelsCode2
Meta Prompting for AI SystemsCode2
Memorizing TransformersCode2
MegaMath: Pushing the Limits of Open Math CorporaCode2
Meta-Design Matters: A Self-Design Multi-Agent SystemCode2
An Expression Tree Decoding Strategy for Mathematical Equation GenerationCode2
Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical TextsCode2
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsCode2
MINT-CoT: Enabling Interleaved Visual Tokens in Mathematical Chain-of-Thought ReasoningCode2
MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual ContextsCode2
MathOdyssey: Benchmarking Mathematical Problem-Solving Skills in Large Language Models Using Odyssey Math DataCode2
Measuring Mathematical Problem Solving With the MATH DatasetCode2
Accelerating Sparse Deep Neural NetworksCode2
Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language ModelsCode2
Advancing Language Model Reasoning through Reinforcement Learning and Inference ScalingCode2
Easy-to-Hard Generalization: Scalable Alignment Beyond Human SupervisionCode2
Math-LLaVA: Bootstrapping Mathematical Reasoning for Multimodal Large Language ModelsCode2
Measuring Multimodal Mathematical Reasoning with MATH-Vision DatasetCode2
MAS-Zero: Designing Multi-Agent Systems with Zero SupervisionCode2
DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-SolvingCode2
Agent Lumos: Unified and Modular Training for Open-Source Language AgentsCode2
Critique Fine-Tuning: Learning to Critique is More Effective than Learning to ImitateCode2
MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical ProblemsCode2
Cumulative Reasoning with Large Language ModelsCode2
AdaptThink: Reasoning Models Can Learn When to ThinkCode2
Delta-CoMe: Training-Free Delta-Compression with Mixed-Precision for Large Language ModelsCode2
MAmmoTH: Building Math Generalist Models through Hybrid Instruction TuningCode2
MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics BenchmarkCode2
Show:102550
← PrevPage 3 of 32Next →

No leaderboard results yet.