Mathematics

Momentum

7 papers in the last four weeks, up 133% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28

Latest papers 46

All topics
CardsList
  1. Data, Numbers, and Geometry: Three Tutorials on Numerical Methods, Machine Learning, and Evaluation

    Oct 5, 2026Jessica N. Howard, Yidi Qi, Tomás S. R. SilvaMathematics

  2. Dynamics to decision: A mathematical theory of Lyapunov spectra and decision boundaries in deep classifiers

    Sep 30, 2026Shirin Panahi, Amirhossein Nazerian, Ali PezeshkiDecision BoundariesLyapunov Function

  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 +3Theorem ProvingMathematics

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

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

  5. A Mathematical Theory of Pragmatic Information

    Sep 10, 2026Kai Niu, Ping ZhangInformation-Theoretic LimitsTheory

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

    Sep 1, 2026Nabira Rashid, Manolis KellisCross-Encoder RerankingMathematics

  7. Linear Reusable Neural Bases Architecture for Network Compression

    Sep 1, 2026Binshuai Wang, Peng Wei, Mahyar GhazanfariCompressed ModelRecurrent Neural Networks

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

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

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

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

    Aug 3, 2026Mikołaj Sienicki, Krzysztof SienickiProofMathematics

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

    Aug 1, 2026Rebeka Popek, Vaghawan Ojha, Young Hwan YouVision DatasetsMathematics

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

    Jul 15, 2026Yutong He, Daibo Li, Guohong Li +15Scientific DiscoveryMathematics

  13. Mathematics of Data Science

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

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

    Jul 8, 2026Eric Jiang, Xiao Liang, Yikai Zhang +16Research-Level MathematicsMathematics

  15. Mathematical methods of reinforcement learning

    Jul 8, 2026Denis Belomestny, Alexander Gasnikov, Egor Gladin +5Markov Decision ProcessesStochastic Approximation

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

    Jun 29, 2026Nikolay Georgiev, Maria Drencheva, Kseniia Ibragimova +3Mathematical Reasoning BenchmarksMathematics

  17. TheoremGraph: Bridging Formal and Informal Mathematics

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

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

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

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

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

    Jun 11, 2026Lushi Pu, Weiming Zhang, Xinheng Xie +6Research-Level MathematicsTheorem Proving

  21. Mathematical perspective on genetic algorithms with optimization guided operators

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

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

    Jun 5, 2026Lenore Mullin, Gaetan HainsMatrix MultiplicationTransformer Architectures

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

    Jun 4, 2026Sam Buchanan, Druv Pai, Peng Wang +1Deep LearningRepresentation Learning

  24. ResearchMath-14K: Scaling Research-Level Mathematics via Agents

    May 27, 2026Guijin Son, Seungyeop Yi, Minju Gwak +3Research-Level MathematicsMathematics

  25. A mathematical theory of balancing relational generalization and memorization

    May 21, 2026Luke Cheng, Samuel LipplImproved GeneralizationMemorization

  26. CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean

    May 17, 2026Wentao Long, Yunfei Zhang, Chenyi Li +3Theorem ProvingMathematical Reasoning Benchmarks

  27. Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics

    May 13, 2026Moritz Firsching, Paul Lezeau, Salvatore Mercuri +8Research-Level MathematicsOpen Problems

  28. Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs

    May 1, 2026Jasper Dekoninck, Nikola Jovanović, Tim Gehrunger +4Mathematical Reasoning BenchmarksMathematical Reasoning

  29. Man, Machine, and Mathematics

    Apr 29, 2026Akshunna S. DograUnified FormulationMathematics

  30. A Functorial Formulation of Neighborhood Aggregating Deep Learning

    Apr 27, 2026Sun Woo Park, Yun Young Choi, U Jin Choi +1SheafNeural Network

  31. A Limit Theory of Foundation Models: A Mathematical Approach to Understanding Emergent Intelligence and Scaling Laws

    Apr 27, 2026Jun Shu, Junxiong Jia, Deyu Meng +1General IntelligenceEmergence

  32. On The Mathematics of the Natural Physics of Optimization

    Apr 19, 2026I. M. RossConstrained OptimizationOptimal Control

  33. Matlas: A Semantic Search Engine for Mathematics

    Apr 19, 2026Haocheng Ju, Leheng Chen, Peihao Wu +2Research-Level MathematicsScholar Information Database

  34. LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics

    Feb 27, 2026Antoine Peyronnet, Fabian Gloeckle, Amaury HayatResearch-Level MathematicsTheorem Proving

  35. Pessimistic Verification for Open Ended Math Questions

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

  36. TopoAlign: A Framework for Aligning Code to Math via Topological Decomposition

    Oct 13, 2025Yupei Li, Philipp Borchert, Gerasimos LampourasAutoformalizationFormalization

  37. New methods to compute the generalized chi-square distribution

    Apr 7, 2024Abhranil DasDistributionsDiscriminative