Math Problems

Latest papers 41

All topics
CardsList
  1. Feedback Without the Wait: Piloting a Generative AI Practice Platform in a Large Maths Class

    Oct 1, 2026Lili Chen, Gavin Buskes, Yuxin Ren +1Generative Artificial IntelligenceFeedback

  2. When a Kindergartener Solves Calculus: Measuring Capability Leakage in Role-Prompted Reasoning Models

    Sep 30, 2026Pakhapoom Sarapat, Saksorn Ruangtanusak, Kunat Pipatanakul +1Large Reasoning ModelsMath Problems

  3. Growing an Agent/Prover Interface: Evolutionary Tool Design for Cost-Efficient Theorem Proving in Rocq and Lean

    Sep 30, 2026Jules Viennot, Guillaume Baudart, Marc LelargeTheorem ProvingMath Problems

  4. Can an AI Agent Rediscover a Blaschke-Curve Invariant?

    Sep 29, 2026Yunus E. ZeytuncuCurvesMath Problems

  5. Beyond Compression: Diagnosing How Post-Training Changes Mathematical Reasoning

    Sep 29, 2026Hongyang Li, Yiming Zhu, Xiao Li +3Mathematical ReasoningPost-Training

  6. PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatorics

    Sep 21, 2026Henry KvingePretrainingPermutation

  7. ProIQA: A Process-Based Framework for Fine-Grained Math Item Quality Assessment

    Sep 14, 2026Junkai Tong, Mingjia Li, Haoran Chen +4Computerized Adaptive TestingMath Problems

  8. Spurious Advantage Hidden in GRPO

    Sep 3, 2026Jiamian Wang, Samyadeep Basu, Koustava Goswami +2Reinforcement Learning With Verifiable RewardBalance

  9. TANGO: Treating Tokens as Operators

    Aug 22, 2026Joshua NunleyTransformer AttentionTransformer Architectures

  10. Learning the Word Problem: Geodesic Lengths and Cryptographic Applications

    Jul 28, 2026Elisabeth FinkDiffie-HellmanFinite Groups

  11. Accuracy Hides How Language Models Fail: Measuring Failure States Under Matched Output Budgets

    Jul 27, 2026Zongyou Yang, Yinghan HouMulti-Dimensional EvaluationMath Problems

  12. IKS-Instruct: A 24,000-Example Multilingual Dataset for Teaching Language Models Indian Knowledge Systems

    Jul 25, 2026Shwetha Singaravelu, Gayathri Muruganantham, Lakshmi Rajendran +1Natural Language DatasetsInstruction

  13. PatiGonit22K: A Comprehensive Dataset for Solving Complex Bengali MWPs

    Jul 24, 2026Swastika Kundu, Azizul Hakim Fayaz, Tashreef MuhammadBanglaMath Problems

  14. Exploring Agentic Workflows for Generating High Quality Math Visual Aids

    Jul 10, 2026Rizwaan Malik, Ashna Khetan, Isabel Sieh +1DiagramsMath Problems

  15. VectorizationLLM: Smart Vectorization Based AI Assistant

    Jul 8, 2026Ryan DukeMath ProblemsTutors

  16. Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems

    Jun 22, 2026Matthew J. ColbrookSpectral DecompositionMath Problems

  17. A Mathematical Forum Platform for Collaborative Problem Solving and Dataset Generation for AI Reasoning

    Jun 11, 2026Akbar Erkinov, Nurmukhammad AbdurasulovMath ProblemsMathematical Reasoning

  18. Who Brought Easter Eggs to Eid? Auditing LLM-Generated Cultural Translation of Math Word Problems Across Languages and Regions

    Jun 9, 2026Parisa Suchdev, Juniper LovatoMath ProblemsLanguage Pairs

  19. Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery

    Jun 7, 2026Syed Rifat Raiyan, Mohsinul Kabir, Hasan Mahmud +2Mathematical ReasoningMath Problems

  20. A Comprehensive Anatomy of Human and DeepSeek-R1 LLM Mathematical Reasoning

    Jun 5, 2026Yuxiang Chen, Jun WangDeductionDeepseek

  21. VAMPS: Visual-Assisted Mathematical Problem Solving Benchmark

    Jun 2, 2026Amirhossein Dabiriaghdam, Shayan Vassef, Mohammadreza Bakhtiari +5Visual ReasoningMultimodal Reasoning Benchmarks

  22. Same Evidence, Different Answers: Canonical-Context On-Policy Distillation for Multi-Turn Language Models

    May 28, 2026Zizhuo Lin, Quanling Liu, Jinsheng Quan +6Efficient On-Policy DistillationMath Problems

  23. Formalizing Mathematics at Scale

    May 28, 2026Ahmad Rammal, Niket Patel, Fabian Gloeckle +5AutoformalizationFormalization

  24. The Little Book of Generative AI Foundations: An Intuitive Mathematical Primer

    May 28, 2026Tianhua ChenGenerative ModelsGenerative Artificial Intelligence

  25. DeepSeekMath Meets Order Book: Group-Aware Policy Optimization for High-Frequency Directional Trading

    May 25, 2026Sayak Charabarty, Souradip PalPolicy GradientReinforcement Learning Baseline

  26. Faster Completion, Less Learning: Generative AI Reduced Study Time on Math Problems and the Knowledge They Build

    May 20, 2026Sina Rismanchian, Hasan Uzun, Jeffrey Matayoshi +2Generative Artificial IntelligenceMath Problems

  27. Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning

    May 20, 2026Jingfeng Zhong, Zhengxiang Liu, Zhijie Wang +1IntegralFunctional Code Solvers

  28. Scaling Accessible Mathematics on arXiv: HTML Conversion and MathML 4

    May 15, 2026Deyan Ginev, Brian Caruso, Bruce Miller +2ReadabilityMath Problems

  29. SafeMath: Safe Solutions for Unsafe Math Word Problems

    Mar 26, 2026Sagnik Basu, Subhrajit Mitra, Aman Juneja +3Large Language Model SafetySafety Alignment

  30. Code2Math: Can Your Code Agent Evolve Math Problems Through Exploration?

    Mar 3, 2026Dadi Guo, Yuejin Xie, Qingyu Liu +11Math ProblemsExploration

  31. DAGGER: Distractor-Aware Graph Generation for Executable Reasoning in Math Problems

    Jan 11, 2026Zabir Al Nazi, Shubhashis Roy Dipta, Sudipta KarMathematical ReasoningMath Problems

  32. Pessimistic Verification for Open Ended Math Questions

    Nov 26, 2025Yanxing Huang, Zihan Tang, Zejin Lin +2Verification FrameworkMath Problems

  33. MisEdu-RAG: A Misconception-Aware Dual-Hypergraph RAG for Novice Math Teachers

    Date pendingZhihan Guo, Yuting Lu, Jionghao LinStudent MisconceptionsMath Problems