SOTAVerified

Mathematical Reasoning

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 551–600 of 805 papers

TitleStatusHype
Multimodal ArXiv: A Dataset for Improving Scientific Comprehension of Large Vision-Language Models—0
Multi-tool Integration Application for Math Reasoning Using Large Language Model—0
MV-MATH: Evaluating Multimodal Math Reasoning in Multi-Visual Contexts—0
MWPRanker: An Expression Similarity Based Math Word Problem Retriever—0
Neuro-Symbolic Data Generation for Math Reasoning—0
Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes—0
None of the Above, Less of the Right: Parallel Patterns between Humans and LLMs on Multi-Choice Questions Answering—0
Notes on a Path to AI Assistance in Mathematical Reasoning—0
No Train Still Gain. Unleash Mathematical Reasoning of Large Language Models with Monte Carlo Tree Search Guided by Energy Function—0
Novice Learner and Expert Tutor: Evaluating Math Reasoning Abilities of Large Language Models with Misconceptions—0
NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks—0
Olapa-MCoT: Enhancing the Chinese Mathematical Reasoning Capability of LLMs—0
One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs—0
On-Policy RL with Optimal Reward Baseline—0
On the meaning of uncertainty for ethical AI: philosophy and practice—0
OpenEval: Benchmarking Chinese LLMs across Capability, Alignment and Safety—0
Optimizing Alignment with Less: Leveraging Data Augmentation for Personalized Evaluation—0
Optimizing Numerical Estimation and Operational Efficiency in the Legal Domain through Large Language Models—0
Orca 2: Teaching Small Language Models How to Reason—0
Quantization Meets Reasoning: Exploring LLM Low-Bit Quantization Degradation for Mathematical Reasoning—0
Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement—0
Random Feedback Alignment Algorithms to train Neural Networks: Why do they Align?—0
Real-Time Verification of Embodied Reasoning for Generative Skill Acquisition—0
ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning—0
Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment—0
Reasoning in Conversation: Solving Subjective Tasks through Dialogue Simulation for Large Language Models—0
MMLU-SR: A Benchmark for Stress-Testing Reasoning Capability of Large Language Models—0
Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units—0
Reinforcement Learning from Reflective Feedback (RLRF): Aligning and Improving LLMs via Fine-Grained Self-Reflection—0
Reliable and Efficient Amortized Model-based Evaluation—0
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming—0
Reliable Reasoning Beyond Natural Language—0
ReTool: Reinforcement Learning for Strategic Tool Use in LLMs—0
Retrieval-Augmented Process Reward Model for Generalizable Mathematical Reasoning—0
Revisiting Chain-of-Thought Prompting: Zero-shot Can Be Stronger than Few-shot—0
Revisiting Multi-Agent Debate as Test-Time Scaling: A Systematic Study of Conditional Effectiveness—0
Revisiting Overthinking in Long Chain-of-Thought from the Perspective of Self-Doubt—0
Revisiting Self-Consistency from Dynamic Distributional Alignment Perspective on Answer Aggregation—0
Revisiting Test-Time Scaling: A Survey and a Diversity-Aware Method for Efficient Reasoning—0
Revisiting the Superficial Alignment Hypothesis—0
RL-finetuning LLMs from on- and off-policy data with a single algorithm—0
Robustness Assessment of Mathematical Reasoning in the Presence of Missing and Contradictory Conditions—0
RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library—0
S^3c-Math: Spontaneous Step-level Self-correction Makes Large Language Models Better Mathematical Reasoners—0
SAAS: Solving Ability Amplification Strategy for Enhanced Mathematical Reasoning in Large Language Models—0
Sail into the Headwind: Alignment via Robust Rewards and Dynamic Labels against Reward Hacking—0
Sample, Don't Search: Rethinking Test-Time Alignment for Language Models—0
Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search—0
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics—0
SEED-GRPO: Semantic Entropy Enhanced GRPO for Uncertainty-Aware Policy Optimization—0
Show:102550
← PrevPage 12 of 17Next →
All datasetsAIME24FrontierMathLila (IID)Lila (OOD)PGPS9KAMC23GeoQAMath500UniGeoUniGeo (PRV)

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1XolverAcc94.4—Unverified
2DeepSeek-r1Acc79.8—Unverified
3Openai-o1Acc74.4—Unverified
4Openai-o1-miniAcc70—Unverified
5Search-o1Acc56.7—Unverified
6s1-32BAcc56.7—Unverified
7Openai-o1-previewAcc44.6—Unverified
8Qwen2.5-72B-InstructAcc23.3—Unverified
9Claude3.5-SonnetAcc16—Unverified
#ModelMetricClaimedVerifiedStatus
1o3Accuracy0.25—Unverified
2Gemini 1.5 Pro (002)Accuracy0.02—Unverified
3GPT-4oAccuracy0.01—Unverified
4o1-miniAccuracy0.01—Unverified
5o1-previewAccuracy0.01—Unverified
6Claude 3.5 SonnetAccuracy0.01—Unverified
#ModelMetricClaimedVerifiedStatus
1Codex (Few-Shot, 175B)Accuracy0.6—Unverified
2Bhāskara-P (Fine-tuned, 2.7B)Accuracy0.48—Unverified
3Neo-P (Fine-tuned, 2.7B)Accuracy0.39—Unverified
4GPT-3 (Few-Shot, 175B)Accuracy0.38—Unverified
5Bhāskara-A (Fine-tuned, 2.7B)Accuracy0.25—Unverified
6Neo-A (Fine-tuned, 2.7B)Accuracy0.2—Unverified
#ModelMetricClaimedVerifiedStatus
1Codex (Few-Shot, 175B)Accuracy0.59—Unverified
2Bhāskara-P (Fine-tuned, 2.7B)Accuracy0.45—Unverified
3GPT-3 (Few-Shot, 175B)Accuracy0.38—Unverified
4Bhāskara-A (Fine-tuned, 2.7B)Accuracy0.27—Unverified
5Neo-P (Fine-tuned, 2.7B)Accuracy0.24—Unverified
6Neo-A (Fine-tuned, 2.7B)Accuracy0.18—Unverified
#ModelMetricClaimedVerifiedStatus
1GOLDCompletion accuracy65.8—Unverified
2PGPSNetCompletion accuracy62.7—Unverified
3GAPSCompletion accuracy61.2—Unverified
4Inter-GPSCompletion accuracy59.8—Unverified
5GeoformerCompletion accuracy35.6—Unverified
6NGSCompletion accuracy34.1—Unverified
#ModelMetricClaimedVerifiedStatus
1QWQ-32B-previewAcc82.5—Unverified
2Math-MasterAcc82—Unverified
3Qwen2.5-Math-7B-instructAcc62.5—Unverified
#ModelMetricClaimedVerifiedStatus
1GOLDAccuracy (%)75.2—Unverified
2GAPSAccuracy (%)67.8—Unverified
#ModelMetricClaimedVerifiedStatus
1Search-o1Acc86.4—Unverified
#ModelMetricClaimedVerifiedStatus
1GOLDAccuracy (%)98.5—Unverified
#ModelMetricClaimedVerifiedStatus
1GAPSAccuracy (%)97.5—Unverified