Mathematics

Ask about this field

Recent momentum

emerging

0 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this field, kept on the site without email delivery.

Period ending 2026-09-21

6 new papers

A weekly snapshot of new work published in Mathematics.

Period ending 2026-09-14

4 new papers

A weekly snapshot of new work published in Mathematics.

Period ending 2026-09-07

6 new papers

A weekly snapshot of new work published in Mathematics.

Inside this field

Focused directions

188 papers

Latest in Mathematics

Open your feed →
CardsList

  1. A Four-Stage Decomposition of Word-Problem Solving and Mechanistic Fragility in LLM Math Reasoning

    Sep 15, 2026Zhongdi Qu, Carla P. GomesMath ProblemsLarge Language Model Reasoning

  2. AI and Human Approaches to Mathematical Problem Solving

    Sep 15, 2026Yang DingMath ProblemsArtificial Intelligence Research

  3. Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science

    Sep 14, 2026Honghao Lin, David P. Woodruff, Yuan Deng +3TheoremMathematics

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

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

  5. Math for AI safety: an invitation for mathematicians

    Sep 14, 2026Lionel LevineArtificial Intelligence SafetyMathematics

  6. Improving Mathematical Reasoning Capabilities in Large Language Models via Reasoning Process Error Classification

    Sep 14, 2026Runa Yoshida, Kosuke Nishida, Kyosuke NishidaMathematical ReasoningReasoning Errors

  7. Func-R1: Incentivizing Mathematical Function Reasoning in Multimodal Large Language Models

    Sep 13, 2026Mingze Yin, Xiaohan Wang, Dian Li +8Mathematical ReasoningLarge Language Model Reasoning

  8. Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification

    Sep 12, 2026Joshua Ong Jun Leang, Haonan Li, Zheng Zhao +6Mathematical ReasoningTheorem

  9. A Mathematical Theory of Pragmatic Information

    Sep 10, 2026Kai Niu, Ping ZhangInformation-Theoretic LimitsTheoretical Foundations

  10. Which Tokens Should SFT Actually Learn? A Token-Trimming Perspective on Mathematical Reasoning

    Sep 9, 2026Yaning Jia, Chunhui Zhang, Wenxuan Xu +3Supervised Fine-TuningMathematical Reasoning

  11. Retrieved but not ranked: surface-form bias in structural retrieval, from mathematics to agent trajectories

    Sep 1, 2026Nabira Rashid, Manolis KellisMathematicsReranking

  12. A Mathematical Theory of Reusable Neural Bases for Network Compression

    Sep 1, 2026Binshuai Wang, Peng WeiRecurrent Neural NetworksLarge Language Model Compression

  13. The zbMATH Open Knowledge Graph: Tracing Centuries of Mathematical Research

    Sep 1, 2026Yuni Susanti, Moritz SchubotzKnowledge GraphsMathematics

  14. HSRM: Hidden-State Reward Models for Test-Time Verification

    Aug 31, 2026Xianzhi Li, Xiaodan ZhuMathematical ReasoningVerifier

  15. More Capable, Less Faithful: A Multilingual Analysis of Mathematical (Un)Solvability Detection in LLMs

    Aug 31, 2026Maria-Eleni Zoumpoulidi, Nikolaos Xiros, Georgios ParaskevopoulosMathematical ReasoningMultilingual Reasoning

  16. Mitigating Over-Optimization in PRM-Guided Search in Mathematical Reasoning by Optimizing the Guide

    Aug 30, 2026Taejong Joo, Diego KlabjanMathematical Reasoning

  17. Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

    Aug 28, 2026Shuze Chen, Kunal Marwaha, Xiaoyang Lu +2TheoremFormalization

  18. Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration

    Aug 11, 2026Alan Li, Rahul Saha, Anton Xue +4MathematicsArtificial Intelligence Research

  19. MedCalc-R1: Knowledge-Guided Reward Framework for Medical Mathematical Reasoning

    Aug 9, 2026Haotian Wang, Lian Yan, Xingzhi Yao +4Reinforcement Learning With Verifiable RewardVerifiable Rewards

  20. MathShikkha: A Controlled Study of Answer-Only and Chain-of-Thought Supervision for Bangla Mathematical Reasoning in Small Language Models

    Aug 9, 2026Rahma Simin Ali, Jawad HossainMathematical ReasoningBangla

  21. From token probabilities to calibrated confidence: An empirical study of mathematical question answering

    Aug 8, 2026Avery Ma, Lorne Schell, Vin Bhaskara +1Confidence EstimationMath Problems

  22. Ask-E: An Environment for Calibrated Question Generation

    Aug 7, 2026Sarah Pratt, Jae Sung Park, Scott Geng +1Math ProblemsData Generation

  23. Mathematical Principles and Experimental Discoveries of the Emergence of Symbolic Patterns in Artificial Neural Networks

    Aug 7, 2026Quanshi Zhang, Qihan Ren, Siyu LouNeuro-Symbolic FrameworkNeural Network

  24. On-Policy Delta Distillation for Multilingual Math Reasoning

    Aug 6, 2026Byeongho Heo, Jaehui Hwang, Sangdoo Yun +1Multilingual ReasoningLarge Language Model Post-Training

  25. Constraint-First Reasoning: A Training-Free Protocol for Exploiting Answer-Space Constraints in Mathematical Problem Solving

    Aug 5, 2026Hongbo Ma, Bangji Yang, Yunqian Selina Cheng +3Math ProblemsLabel Constraint Modeling

  26. A Human Audit of OpenAIs AI-Generated Mathematical Proofs

    Aug 3, 2026Mikołaj Sienicki, Krzysztof SienickiProofMathematics

  27. Question Begets Question: Self-Evolving Curriculum for Reinforcement Fine-Tuning on Competition Mathematics

    Aug 2, 2026Longtian Bao, Jianyou Wang, Yang Zhang +2Math ProblemsCurriculum

  28. Cloud-ScPO: Hidden-State Geometry for Semi-Supervised Preference Optimization in LLM Reasoning

    Aug 2, 2026Yuzhou Liu, Xiyang HuLarge Language Model ReasoningMathematical Reasoning

  29. MIDAL: A Dataset of Math Image Descriptions for Accessible Learning

    Aug 1, 2026Rebeka Popek, Vaghawan Ojha, Young Hwan YouVision DatasetsSingle Images

  30. Escaping Confidence Trap: Evolutionary Decoding for Mathematical Reasoning in Diffusion LLMs

    Aug 1, 2026Zhenhong Sun, Hanqing Zhao, Yatao Bian +7Mathematical ReasoningLarge Language Model Reasoning

  31. Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration

    Jul 30, 2026Ting Gong, Michael Ruofan Zeng, Yong YangMathematicsOrchestration

  32. ReDiPPO: Reference-Guided Value Calibration and Discrepancy-Aware Token Reweighting for Mathematical Reasoning

    Jul 30, 2026Zhenrong Zhang, Fei Wu, Jun Du +2Mathematical ReasoningReinforcement Learning With Verifiable Reward

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

    Jul 28, 2026Elisabeth FinkDiffie-HellmanFinite Groups

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

    Jul 27, 2026Zongyou Yang, Yinghan HouCorrectnessUnified Evaluation

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

    Jul 25, 2026Shwetha Singaravelu, Gayathri Muruganantham, Lakshmi Rajendran +1InstructionInstruction-Tuned Models

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

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

  37. On the Computational Complexity of Structural Generalization

    Jul 21, 2026Zichao WeiStructural GeneralizationCompositionality

  38. Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory

    Jul 19, 2026Antonio Acuaviva, Pablo AcuavivaMathematicsProof

  39. PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs

    Jul 18, 2026Neel SomaniProofTheorem

  40. MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research

    Jul 16, 2026Junjie Zhang, Jiayu Liu, Wenbin Liu +11TheoremMathematical Reasoning

  41. AIMO Interpretability Challenge

    Jul 15, 2026Michal Štefánik, Philipp Mondorf, Andreas Waldis +11Mathematical ReasoningOlympiad-Level Problem

  42. ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System

    Jul 15, 2026Yutong He, Daibo Li, Guohong Li +15AutoresearchScientific Discovery

  43. GSM-Plus-BN: A Perturbation-Based Benchmark for Bangla Mathematical Reasoning in Large Language Models

    Jul 14, 2026Bidyarthi Paul, Nahida Jannat Mayouree, Md. Asif Karim +2BanglaMathematical Reasoning

  44. AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification

    Jul 13, 2026Lingkai Kong, Zijian Wu, Yuzhe Gu +10Mathematical ReasoningReasoning Benchmark

  45. TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs

    Jul 13, 2026Burak S. Akbudak, Zeynel A. Uluşan, Can S. Erer +1TheoremTree Search

  46. Mathematics of Data Science

    Jul 11, 2026Afonso S. Bandeira, Amit Singer, Thomas StrohmerDimensionality ReductionGraph Laplacians

  47. A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game

    Jul 9, 2026Joseph K. MillerTheoremFormalization

  48. VectorizationLLM: Smart Vectorization Based AI Assistant

    Jul 8, 2026Ryan DukeMath ProblemsEngineering

  49. From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

    Jul 8, 2026Eric Jiang, Xiao Liang, Yikai Zhang +16MathematicsArtificial Intelligence Research

  50. MIRA-Math: A Benchmark for Minimal Information Requesting and Mathematical Reasoning

    Jul 8, 2026Charbel Al Bateh, Samer SaabMathematical ReasoningReasoning Benchmark

  51. Mathematical methods of reinforcement learning

    Jul 8, 2026Denis Belomestny, Alexander Gasnikov, Egor Gladin +5Entropy Regularized Reinforcement LearningMarkov Decision Processes

  52. PluraMath: Extending Mathematical Reasoning Evaluation Beyond High-Resource Languages

    Jul 7, 2026Daryna Dementieva, Nikolay Babakov, Kathy Hämmerl +14Multilingual ReasoningMathematical Reasoning

  53. Knowledge Knows, Verbalization Tells: Disentangling Latent Directions for Mathematical Solvability in LLMs

    Jul 6, 2026Nikolaos Xiros, Maria-Eleni Zoumpoulidi, Georgios ParaskevopoulosMathematical ReasoningLarge Language Model Reasoning

  54. Why Pure Reasoning is Not Enough: Nature as the Source of Mathematical Innovation

    Jul 5, 2026Charanjit S. Jutla, Vimal SharmaMathematical ReasoningMathematics

  55. MechMath Agent Team: LLM Driven Agents for Mathematical Research

    Jul 5, 2026Yichuan Cao, Ruichen Qiu, Junqi Liu +5MathematicsMulti-Agent Reasoning

  56. Reward Granularity in RLVR: Comparing Process and Outcome Reward Structures for Mathematical Reasoning in Small Language Models

    Jul 3, 2026Anagha Radhakrishna Palandye, Rebecca Glick, Osheen KaulReinforcement Learning With Verifiable RewardOutcome-Based Rewards

  57. A Mathematical Introduction to Diffusion Models

    Jul 2, 2026Jianfeng LuDiffusion SamplingFeynman-Kac

  58. ISM:Self-Improving Strategy Memory for Continual Mathematical Reasoning

    Jun 30, 2026Prakhar Dixit, Tim OatesMathematical Reasoning

  59. Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics

    Jun 30, 2026Arshia Soltani Moakhar, Iman Gholami, Max Springer +2AutoformalizationTheorem

  60. Notes on generative modeling: flow matching, diffusion, optimal transport and Schr{ö}dinger bridge

    Jun 29, 2026Titouan VayerSchrödinger BridgesOptimal Transport