| Mathematics Content Understanding for Cyberlearning via Formula Evolution Map | Dec 31, 2018 | Graph MiningMath | CodeCode Available | 0 |
| Analogical Math Word Problems Solving with Enhanced Problem-Solution Association | Dec 1, 2022 | MathQuestion Answering | CodeCode Available | 0 |
| Critical-Questions-of-Thought: Steering LLM reasoning with Argumentative Querying | Dec 19, 2024 | MathMathematical Reasoning | CodeCode Available | 0 |
| Small Language Models Need Strong Verifiers to Self-Correct Reasoning | Apr 26, 2024 | Math | CodeCode Available | 0 |
| SmallToLarge (S2L): Scalable Data Selection for Fine-tuning Large Language Models by Summarizing Training Trajectories of Small Models | Mar 12, 2024 | MathMathematical Problem-Solving | CodeCode Available | 0 |
| OntoMath^PRO Ontology: A Linked Data Hub for Mathematics | Jul 17, 2014 | Math | CodeCode Available | 0 |
| Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions | May 24, 2025 | Automated Theorem ProvingMath | CodeCode Available | 0 |
| In-Context Principle Learning from Mistakes | Feb 8, 2024 | GSM8KIn-Context Learning | CodeCode Available | 0 |
| Incorporating Graph Attention Mechanism into Geometric Problem Solving Based on Deep Reinforcement Learning | Mar 14, 2024 | Deep Reinforcement LearningGraph Attention | CodeCode Available | 0 |
| Smart Vision-Language Reasoners | Jul 5, 2024 | MathMathematical Reasoning | CodeCode Available | 0 |
