SOTAVerified

Mathematical Reasoning

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 751–800 of 805 papers

TitleStatusHype
Notes on a Path to AI Assistance in Mathematical Reasoning—0
Novice Learner and Expert Tutor: Evaluating Math Reasoning Abilities of Large Language Models with Misconceptions—0
LPML: LLM-Prompting Markup Language for Mathematical Reasoning—0
Code Soliloquies for Accurate Calculations in Large Language ModelsCode0
On the meaning of uncertainty for ethical AI: philosophy and practice—0
No Train Still Gain. Unleash Mathematical Reasoning of Large Language Models with Monte Carlo Tree Search Guided by Energy Function—0
Probabilistic Results on the Architecture of Mathematical Reasoning Aligned by Cognitive Alternation—0
Forward-Backward Reasoning in Large Language Models for Mathematical Verification—0
Skills-in-Context Prompting: Unlocking Compositionality in Large Language Models—0
MinT: Boosting Generalization in Mathematical Reasoning via Multi-View Fine-Tuning—0
MWPRanker: An Expression Similarity Based Math Word Problem Retriever—0
Math Word Problem Solving by Generating Linguistic Variants of Problem StatementsCode0
JiuZhang 2.0: A Unified Chinese Pre-trained Language Model for Multi-task Mathematical Problem Solving—0
Position: AI Evaluation Should Learn from How We Test HumansCode0
Investigating the Effectiveness of ChatGPT in Mathematical Reasoning and Problem Solving: Evidence from the Vietnamese National High School Graduation Examination—0
Random Feedback Alignment Algorithms to train Neural Networks: Why do they Align?—0
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers—0
Federated Prompting and Chain-of-Thought Reasoning for Improving LLMs Answering—0
Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning—0
Explanation Selection Using Unlabeled Data for Chain-of-Thought PromptingCode0
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming—0
Techniques to Improve Neural Math Word Problem SolversCode0
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic AbstractionsCode0
Overcoming Barriers to Skill Injection in Language Modeling: Case Study in ArithmeticCode0
Blank Collapse: Compressing CTC emission for the faster decodingCode0
Composing Ensembles of Pre-trained Models via Iterative Consensus—0
Learning to Reason With Relational Abstractions—0
Weakly Supervised Formula Learner for Solving Mathematical ProblemsCode0
Transformers discover an elementary calculation system exploiting local attention and grid-like problem representationCode0
MMTM: Multi-Tasking Multi-Decoder Transformer for Math Word Problems—0
Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers—0
NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks—0
Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library—0
Why are NLP Models Fumbling at Elementary Math? A Survey of Automatic Word Problem Solvers—0
Theoretical Analysis of an XGBoost Framework for Product Cannibalization—0
GraphMR: Graph Neural Network for Mathematical Reasoning—0
Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems—0
Conjectures, Tests and Proofs: An Overview of Theory Exploration—0
Reasoning with Transformer-based Models: Deep Learning, but Shallow ReasoningCode0
Compositional Processing Emerges in Neural Networks Solving Math ProblemsCode0
Sustainability of Collusion and Market Transparency in a Sequential Search Market: a Generalization—0
The Role of General Intelligence in Mathematical Reasoning—0
Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units—0
SMART: A Situation Model for Algebra Story Problems via Attributed Grammar—0
Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes—0
Reverse Operation based Data Augmentation for Solving Math Word ProblemsCode0
Adventures in Mathematical Reasoning—0
Mathematical Reasoning via Self-supervised Skip-tree Training—0
Compositional Generalization with Tree Stack Memory UnitsCode0
Mathematical Reasoning in Latent Space—0
Show:102550
← PrevPage 16 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