| Trace-of-Thought Prompting: Investigating Prompt-Based Knowledge Distillation Through Question Decomposition | Apr 29, 2025 | GSM8KKnowledge Distillation | —Unverified | 0 | 0 |
| math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories | Oct 25, 2023 | Automated Theorem ProvingLanguage Modeling | —Unverified | 0 | 0 |
| MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms | May 30, 2019 | MathMath Word Problem Solving | —Unverified | 0 | 0 |
| Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval | May 11, 2015 | MathRetrieval | —Unverified | 0 | 0 |
| MathVC: An LLM-Simulated Multi-Character Virtual Classroom for Mathematics Education | Apr 10, 2024 | Math | —Unverified | 0 | 0 |
| MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems? | Mar 21, 2024 | MathMathematical Reasoning | —Unverified | 0 | 0 |
| A Tag-based English Math Word Problem Solver with Understanding, Reasoning and Explanation | Jun 1, 2016 | MathTAG | —Unverified | 0 | 0 |
| When Dimensionality Reduction Meets Graph (Drawing) Theory: Introducing a Common Framework, Challenges and Opportunities | Dec 9, 2024 | Dimensionality ReductionMath | —Unverified | 0 | 0 |
| When Life Gives You Samples: The Benefits of Scaling up Inference Compute for Multilingual LLMs | Jun 25, 2025 | Math | —Unverified | 0 | 0 |
| Math Word Problem Generation with Mathematical Consistency and Problem Context Constraints | Sep 9, 2021 | DiversityMath | —Unverified | 0 | 0 |
