- Mathematics: the Rise of the Machines
2025/11/21 by Yang-Hui He, He, Yang-Hui · 4 voices
Mathematics · Physics and Astronomy · #FOS: Mathematics #FOS: Physical sciences #History and Overview (math.HO) #History and Philosophy of Physics (physics.hist-ph) #Physics and Society (physics.soc-ph) #math.HO #physics.hist-ph #physics.soc-ph
- The Shape of Math To Come
2025/10/03 by Alex Kontorovich, Kontorovich, Alex · 3 voices
Mathematics · #68Q45 #68T50 #FOS: Mathematics #History and Overview (math.HO) #math.HO
- How to Fight Fraudulent Publishing in the Mathematical Sciences: Joint Recommendations of the IMU and the ICIAM
2025/09/11 by Agricola, Ilka, Heller, Lynn, Schilders, Wil +3 · 9 voices · 1 citation
#FOS: Mathematics #History and Overview (math.HO)
- Rigidity of Graphs and Frameworks: A Matroid Theoretic Approach
2025/07/29 by Cruickshank, James, Jackson, Bill, Jordán, Tibor +1 · 4 citations
#52C25 #Combinatorics (math.CO) #FOS: Mathematics #History and Overview (math.HO)
- Topological Data Analysis and Topological Deep Learning Beyond Persistent Homology -- A Review
2025/07/12 by Su, Zhe, Liu, Xiang, Hamdan, Layal Bou +4 · 12 citations
#55-08 #57K18 #57R19 #62R40 #Differential Geometry (math.DG) #FOS: Mathematics #Geometric Topology (math.GT) #History and Overview (math.HO)
- Modular versus Hierarchical: A Structural Signature of Topic Popularity in Mathematical Research
2025/06/28 by Hepler, Brian · 1 citation
#01A80 #05C82 #62R07 #91D30 #Computers and Society (cs.CY) #Digital Libraries (cs.DL) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Social and Information Networks (cs.SI)
- Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility
2025/05/15 by Maurice Chiodo, Dennis Müller, Chiodo, Maurice +9 · 2 voices · 3 citations
Computer Science · Mathematics · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #F.1 #FOS: Computer and information sciences #FOS: Mathematics #H.1.2 #History and Overview (math.HO) #Human-Computer Interaction (cs.HC) #I.2.0 #K.4.1 #cs.AI #cs.CY #cs.HC #math.HO
- A cute proof that makes e natural
2025/04/14 by Po‐Shen Loh, Loh, Po-Shen · 2 voices
Mathematics · #97D80 (Primary) #97I40 (Secondary) #Advanced Mathematical Theories #FOS: Mathematics #History and Overview (math.HO) #Mathematical and Computational Methods #Mathematics and Applications
- What is the Funniest Number? An investigation of numerical humor
2025/03/31 by E. G. Pottebaum, Pottebaum, E. G. · 3 voices
Mathematics · #FOS: Mathematics #History and Overview (math.HO) #Number Theory (math.NT) #math.HO #math.NT
- The theory of one-relator groups: history and recent progress
2025/01/30 by Marco Linton, Linton, Marco, Carl‐Fredrik Nyberg‐Brodda +1 · 3 citations
Computer Science · #20-02 #20-03 #20E99 #Cognitive Science and Mapping #FOS: Mathematics #Group Theory (math.GR) #History and Overview (math.HO)
- Parable of the Parabola
2025/01/29 by Vladimir Dragović, Mohammad Hassan Murad, Dragović, Vladimir +1 · 2 citations
Health Professions · Physics and Astronomy · #14H70 #51M04 #51M15 #51N15 #51N20 #Disaster Response and Management #FOS: Mathematics #History and Overview (math.HO) #Space Science and Extraterrestrial Life
- Galois groups of polynomials and neurosymbolic networks
2025/01/22 by Shaska, Elira, Shaska, Tony · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #I.2.3 #Machine Learning (cs.LG)
- Teaching "Foundations of Mathematics" with the Lean Theorem Prover
2025/01/06 by Bottoni, Mattia Luciano, Cattaneo, Alberto S., Sacikara, Elif · 1 citation
#FOS: Mathematics #History and Overview (math.HO)
- Recent advances on minimal codes
2024/11/04 by Scotti, Martin · 1 citation
#11T71 #94B27 #Combinatorics (math.CO) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Information Theory (cs.IT)
- Scattered polynomials: an overview on their properties, connections and applications
2024/11/01 by Longobardi, Giovanni · 4 citations
#05B25 #51A40 #51E14 #51E20 #94B05 #Combinatorics (math.CO) #FOS: Mathematics #History and Overview (math.HO)
- Turk's head knots and links: a survey
2024/09/30 by Di Prisa, Alessio, Şavk, Oğuz · 2 citations
#FOS: Mathematics #Geometric Topology (math.GT) #History and Overview (math.HO) #Symplectic Geometry (math.SG)
- AI-assisted Automated Short Answer Grading of Handwritten University Level Mathematics Exams
2024/08/21 by Liu, Tianyi, Chatain, Julia, Kobel-Keller, Laura +3 · 1 citation
#97-02 #FOS: Mathematics #History and Overview (math.HO)
- Mathematical theory of deep learning
2024/07/25 by Philipp Petersen, Petersen, Philipp, Jakob Zech +1 · 5 voices · 3 citations
Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Machine Learning (cs.LG) #cs.LG #math.HO
- Explicit Analytic Continuation of Euler Products
2024/06/26 by Alberts, Brandon · 3 citations
#Complex Variables (math.CV) #FOS: Mathematics #History and Overview (math.HO) #Number Theory (math.NT)
- Algorithm and abstraction in formal mathematics
2024/05/07 by Heather Macbeth, Macbeth, Heather · 1 voice · 1 citation
Computer Science · Mathematics · #03B35 #68-02 #68V15 (Secondary) #68V20 (Primary) 00A30 #Computability, Logic, AI Algorithms #F.4.1 #FOS: Mathematics #History and Overview (math.HO) #math.HO
- What is a Parking Function?
2024/04/20 by Mori, J. Carlos Martínez · 1 citation
#05-01 #Combinatorics (math.CO) #FOS: Mathematics #History and Overview (math.HO)
- A well-motivated proof that pi is irrational
2024/03/29 by Chow, Timothy Y. · 1 citation
#11J72 #FOS: Mathematics #History and Overview (math.HO) #Number Theory (math.NT)
- Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset
2024/02/22 by Ke Wang, Wang, Ke, Junting Pan +9 · 168 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Intelligent Tutoring Systems and Adaptive Learning #Machine Learning (cs.LG)
- LiveDocs: Crafting Interactive Development Environments From Research Findings
2024/02/12 by Klein, Pedro Costa, Lehrenfeld, Christoph, Osterhoff, Markus +1 · 1 citation
#97-01 #97-02 #E.m #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Human-Computer Interaction (cs.HC)
- Score-based Diffusion Models via Stochastic Differential Equations -- a Technical Tutorial
2024/02/12 by Wenpin Tang, Tang, Wenpin, Hanyang Zhao +1 · 8 citations
Computer Science · Decision Sciences · #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Machine Learning (cs.LG) #Simulation Techniques and Applications #Statistical and Computational Modeling
- From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting
2023/12/18 by Chen, Nuo, Li, Hongguang, Wang, Baoyuan +1 · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO)
- A translation of "On the positive representation of polynomials" by Ernst Meissner
2023/12/10 by Wayment-Steele, Hannah K. · 2 citations
#01A75 #12D05 #FOS: Mathematics #History and Overview (math.HO)
- On the numerology of trigonometric polynomials
2023/11/19 by Herbig, Hans-Christian, Gonçalves, Mateus de Jesus · 1 citation
#FOS: Mathematics #History and Overview (math.HO) #Primary 42A05 #Secondary 05A10
- Large Language Models' Understanding of Math: Source Criticism and Extrapolation
2023/11/12 by Yousefzadeh, Roozbeh, Cao, Xuenan · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Machine Learning (cs.LG)
- Abstraction boundaries and spec driven development in pure mathematics
2023/09/26 by Commelin, Johan, Topaz, Adam · 1 citation
#Algebraic Geometry (math.AG) #Computers and Society (cs.CY) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Logic in Computer Science (cs.LO)
more