SOTAVerified

Math

Papers

Showing 14761500 of 1596 papers

TitleStatusHype
Augmented Math: Authoring AR-Based Explorable Explanations by Augmenting Static Math TextbooksCode0
When an LLM is apprehensive about its answers -- and when its uncertainty is justifiedCode0
Can Large Language Models Replicate ITS Feedback on Open-Ended Math Questions?Code0
Skellam Mixture Mechanism: a Novel Approach to Federated Learning with Differential PrivacyCode0
Classifying Math KCs via Task-Adaptive Pre-Trained BERTCode0
Unleashing the Creative Mind: Language Model As Hierarchical Policy For Improved Exploration on Challenging Problem SolvingCode0
ATHENA: Mathematical Reasoning with Thought ExpansionCode0
DOP: Diagnostic-Oriented Prompting for Large Language Models in Mathematical CorrectionCode0
Warmup-Distill: Bridge the Distribution Mismatch between Teacher and Student before Knowledge DistillationCode0
Towards the Pedagogical Steering of Large Language Models for Tutoring: A Case Study with Modeling Productive FailureCode0
Warm Up Before You Train: Unlocking General Reasoning in Resource-Constrained SettingsCode0
Analysis of Optimization Algorithms via Sum-of-SquaresCode0
Mathematical Reasoning for Unmanned Aerial Vehicles: A RAG-Based Approach for Complex Arithmetic ReasoningCode0
Improving Compositional Generalization in Math Word Problem SolvingCode0
Mathematical Reasoning in Large Language Models: Assessing Logical and Arithmetic Errors across Wide Numerical RangesCode0
Mathematics Content Understanding for Cyberlearning via Formula Evolution MapCode0
Analogical Math Word Problems Solving with Enhanced Problem-Solution AssociationCode0
Critical-Questions-of-Thought: Steering LLM reasoning with Argumentative QueryingCode0
Small Language Models Need Strong Verifiers to Self-Correct ReasoningCode0
SmallToLarge (S2L): Scalable Data Selection for Fine-tuning Large Language Models by Summarizing Training Trajectories of Small ModelsCode0
OntoMath^PRO Ontology: A Linked Data Hub for MathematicsCode0
Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math CompetitionsCode0
In-Context Principle Learning from MistakesCode0
Incorporating Graph Attention Mechanism into Geometric Problem Solving Based on Deep Reinforcement LearningCode0
Smart Vision-Language ReasonersCode0
Show:102550
← PrevPage 60 of 64Next →

No leaderboard results yet.