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

189 papers

Latest in Mathematics

Browse all topics →
CardsList

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

    Jun 29, 2026Titouan VayerSchrödinger BridgesOptimal Transport

  2. Are We Measuring Strategy or Phrasing? The Gap Between Surface- and Approach-Level Diversity in LLM Math Reasoning

    Jun 29, 2026Sangmook Lee, Minbeom Kim, Jeonghye Kim +3Mathematical ReasoningDiversity

  3. SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics

    Jun 29, 2026Nikolay Georgiev, Maria Drencheva, Kseniia Ibragimova +3Information Retrieval MetricsMathematics

  4. The Ramanujan Challenge For AI

    Jun 27, 2026Michael Shalyt, Rotem Kalisch, Carsten Schneider +7Math ProblemsRiemann Zeta Function

  5. Categorizing Mathematical Concepts with LLM Voting Ensembles in Mathswitch

    Jun 27, 2026Katja Berčič, Slobodan StanojevikjMath ProblemsWikipedia

  6. Self-Supervised Theorem Discovery in a Formal Axiomatic System

    Jun 27, 2026Kazuki Ota, Takayuki Osa, Tatsuya HaradaTheoremMathematical Reasoning

  7. Riazi-8B: An Urdu Large Language Model for Mathematical Reasoning

    Jun 24, 2026Azher Ali, Ibtsam Haider, Raja Khurram Shahzad +2Mathematical ReasoningMultilingual Reasoning

  8. Cliff Tokens: Identifying Single-Token Failure Triggers in LLM Mathematical Reasoning

    Jun 24, 2026Jaeyong Ko, Pilsung Kang, Yukyung LeeLarge Language Model ReasoningMathematical Reasoning

  9. TheoremGraph: Bridging Formal and Informal Mathematics

    Jun 24, 2026Simon Kurgan, Evan Wang, Eric Leonen +6MathematicsDependency Graph

  10. Reasoning as Attractor Dynamics: Latent Memory Retrieval via Gibbs-Weighted Energy Minimization

    Jun 23, 2026Kanishk AwadhiyaDense Associative MemoryCognitive Memory

  11. Does My Embedding Reflect That A=BA = B? Evaluating Mathematical Equivalence in Embedding Models

    Jun 22, 2026Jiaying Ye, Samarth Rao, Leo Carlin +9MathematicsEquivalence

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

    Jun 22, 2026Matthew J. ColbrookLargest EigenvalueMath Problems

  13. VeriEvol: Scaling Multimodal Mathematical Reasoning via Verifiable Evol-Instruct

    Jun 22, 2026Haoling Li, Kai Zheng, Jie Wu +4Mathematical ReasoningVisual Reasoning

  14. Human vs Machine Mathematical Difficulty on Project Euler: An Experimental Analysis

    Jun 20, 2026David Holmes, Johannes SchmittMath ProblemsHard

  15. Hard or Just Unreached? Diagnosing the Sampling Blind Spot in Math-Reasoning Difficulty Estimation

    Jun 17, 2026Luca Zhou, Sajel Shah, Emanuele Rodolà +1Mathematical ReasoningReasoning Benchmark

  16. Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation

    Jun 17, 2026Ruida Wang, Rui Pan, Pengcheng Wang +2TheoremMathematical Reasoning

  17. LLM Parameters for Math Across Languages: Shared or Separate?

    Jun 16, 2026Behzad Shomali, Luisa Victor, Tim Selbach +5MathematicsSmall Language Models

  18. First Proof Second Batch

    Jun 16, 2026Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward +1MathematicsProof

  19. MathVis-Fine: Aligning Visual Supervision with Necessity via Progressive Dependency-Guided Training for Multimodal Mathematical Reasoning

    Jun 16, 2026Wanshi Xu, Haokun Zhao, Haidong Yuan +2Mathematical ReasoningFine-Grained Perception

  20. Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics

    Jun 16, 2026Xiyu Zhai, Xinyi Chen, Yiping Wang +3TheoremMathematics

  21. The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements

    Jun 15, 2026Noor Islam S. Mohammad, Tamim SheikhAutoformalizationFormalization

  22. The Quality-Utility Paradox: Why High-Reward Data Impairs Small Model Mathematical Reasoning

    Jun 15, 2026Haolong Qian, Xianliang Yang, Yinuo ma +6Mathematical ReasoningLarge Reasoning Models

  23. SciText2Eq: Assessing LLMs for Explainable Equation Generation for Scientific Creativity

    Jun 14, 2026Yifan Mo, Xiao Fu, Yue Su +4Math ProblemsScientific Discovery

  24. Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs

    Jun 13, 2026Jierui Zhang, Siyuan Tan, Xinhang Li +8Mathematical ReasoningMathematics

  25. AdaMame: A Training Recipe for Adaptive Multilingual Reasoning

    Jun 13, 2026Dayeon Ki, Kevin Duh, Marine CarpuatMultilingual ReasoningLarge Language Model Reasoning

  26. Separable Neural Architectures as Physical World Models: from Mathematical Theory to Applications

    Jun 12, 2026Reza T Batley, Andrew Kichline, Sourav SahaNeural Partial Differential Equation SolversPartial Differential Equations

  27. Flood and Harvest: The Provable Necessity of Trivia for Generating Valuable Mathematics via the Lens of Language Generation in the Limit

    Jun 12, 2026Xiaoyu Li, Andi Han, Dai Shi +3Math ProblemsMathematics

  28. Failure Modes of Large Language Models on Research-Level Mathematics: A Taxonomy and an Empirical Characterisation

    Jun 12, 2026Arnesh Banerjee, Ayushi BhattacharjeeMathematicsCitations

  29. MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

    Jun 11, 2026Lushi Pu, Weiming Zhang, Xinheng Xie +6TheoremMathematics

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

    Jun 11, 2026Akbar Erkinov, Nurmukhammad AbdurasulovMath ProblemsMathematical Reasoning

  31. The Mathematics of AI Winters: The mathematical Taxonomy of Paradigm Fragility in AI Winter

    Jun 10, 2026Miquel Noguer i Alonso, David Pacheco AznarArtificial Intelligence ResearchArtificial Intelligence Systems

  32. Mathematical perspective on genetic algorithms with optimization guided operators

    Jun 10, 2026Anna Brandenberger, Ilan Doron-Arad, Elchanan MosselGenetic AlgorithmsMathematics

  33. A Mathematical Theory of Value: a synthesis on goal-directed agency under resource constraints

    Jun 10, 2026Cheng QianValueGoal-Directed Behavior

  34. Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge

    Jun 9, 2026A. MayeuxReal Datacite DoisFormalization

  35. Who Brought Easter Eggs to Eid? Auditing Cultural Translation of Math Word Problems Across Diverse Languages and Regions

    Jun 9, 2026Parisa Suchdev, Juniper LovatoMath ProblemsEnglish

  36. Evaluating Research-Level Math Proofs via Strict Step-Level Verification

    Jun 9, 2026Yifeng SunMathematicsReasoning Errors

  37. ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics

    Jun 9, 2026Shunkai Zhang, Haoran Zhang, Yun Luo +15Olympiad-Level ProblemCombinations

  38. RealMath-Eval: Why SOTA Judges Struggle with Real Human Reasoning

    Jun 8, 2026Yiteng Mao, Kenan Xu, Yijia Lyu +3Mathematical ReasoningLarge Language Model Evaluation

  39. 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

  40. Attention at the Theoretical Minimum: A Mathematics of Arrays Framework for Memory-Optimal Transformer Kernels

    Jun 5, 2026Lenore Mullin, Gaetan HainsTransformer ArchitecturesMathematics

  41. The Fine-Tuning Trap: Evaluating Negative Transfer and the Role of PEFT in Sub-1B Mathematical Reasoning

    Jun 5, 2026Rahul Nair, Chun TaoParameter-Efficient Fine-TuningFinetuning

  42. Principles and Practice of Deep Representation Learning: or a Mathematical Theory of Memory

    Jun 4, 2026Sam Buchanan, Druv Pai, Peng Wang +1Representation LearningBlack Box

  43. Benchmarks in Leipzig

    Jun 4, 2026Andrei Balakin, Miklós Bóna, Marie-Charlotte Brandenburg +45Mathematical ReasoningMathematics

  44. Critic-Guided Heterogeneous Multi-Agent Reasoning for Reliable Mathematical Problem Solving

    Jun 4, 2026Muhammad Talha Sharif, Abdul RehmanMathematical ReasoningMulti-Agent Reasoning

  45. GRAIL: Gradient-Reweighted Advantages for Reinforcement Learning with Verifiable Rewards

    Jun 3, 2026Tej Deep Pala, Vernon Toh, Soujanya PoriaReinforcement Learning With Verifiable RewardVerifiable Rewards

  46. SCI-PRM: A Tool Aware Process Reward Model for Scientific Reasoning Verification

    Jun 3, 2026Xiangyu Zhao, Henry Hengyuan Zhao, Yiheng Wang +7Reliable Medical Process-Level Reward Model Evaluation FrameworkScientific Discovery

  47. Characterizing initial human-AI proof formalization workflows

    Jun 2, 2026Katherine M. Collins, Simon Frieder, Jonas Bayer +14AutoformalizationFormalization

  48. CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions

    Jun 2, 2026Sherin Muckatira, Jesse Geneson, Slava Gerovitch +3Mathematical ReasoningReasoning Chain

  49. PyraMathBench: Evaluating and Improving Mathematical Capability in Large Language Models

    Jun 2, 2026Zetian Ouyang, Linlin Wang, Gerard de Melo +1Mathematical ReasoningBenchmarking Large Language Models

  50. Iteris: Agentic Research Loops for Computational Mathematics

    Jun 1, 2026Leheng Chen, Zihao Liu, Wanyi He +1MathematicsConjecture

  51. Off-the-Shelf LLMs as Process Scorers: Training-Free Alternative to PRMs for Mathematical Reasoning

    Jun 1, 2026Atoosa Chegini, Soheil FeiziLarge Language Model ReasoningMathematical Reasoning

  52. Advanced Mathematics Learning Behavior Prediction and Academic Early Warning Model Based on Multimodal Data Analysis

    May 31, 2026Liu Qiong, Li ZhengboEarly WarningMathematics

  53. AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning

    May 30, 2026Alessio BrunoMathematical ReasoningAxiom

  54. KACE: Knowledge-Adaptive Context Engineering for Mathematical Reasoning

    May 30, 2026Jayant Parashar, Suchendra M. BhandarkarMathematical ReasoningDomain-Specific Language

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

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

  56. Knowing What to Solve Before How: Preplan Empowered LLM Mathematical Reasoning

    May 28, 2026Shaojie Wang, Liang ZhangMathematical ReasoningLarge Language Model Planning

  57. Formalizing Mathematics at Scale

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

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

    May 28, 2026Tianhua ChenGenerative ModelsGenerative Artificial Intelligence

  59. Verifiable Rewards Beyond Math and Code: Lightweight Corpus-Grounded Process Supervision for Factual Question Answering

    May 28, 2026Shicheng Fan, Haochang Hao, Dehai Min +3Verifiable RewardsText Corpora

  60. FABSVer: Faster Training and Better Self-Verification for LLM Mathematical Reasoning

    May 27, 2026Haihui Pan, Junwei Bao, Hongfei Jiang +1Mathematical ReasoningVerifier