001 TwistedMerge: Certified Higher-Order Diagnostics and Abstention for Model Merging arXiv Paper Ting Gong, Shitan Xu Jul 23 002 Expressivity of Shallow Neural Networks Over Finite Fields arXiv Paper Maksym Zubkov, Carol Wu et al. Jul 19 003 A Guess and Determine Attack on the Elliptic Curve Discrete Logarithm Problem arXiv Paper A. Mahalanobis Jul 10 004 Tubular Neighbourhoods of Pfaffian Sets and Applications to Neural Networks arXiv Paper Paul Lezeau, M. Lotz Jul 9 005 Tangent classes of matroids and wonderful compactifications arXiv Paper R. Cheng, Shurui Liu et al. Jul 7 006 Generating Special Triangulations with Transformers arXiv Paper Charles Arnal, Jacky H. T. Yip et al. Jun 25 007 Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization arXiv Paper V. Ilin, Brian Nugent Jun 11 008 Benchmarks in Leipzig arXiv Paper A. Balakin, Miklós Bóna et al. Jun 4 009 The Value Function Semi-Algebraic Set in Partially Observable Markov Decision Processes arXiv Paper Ryan Anderson, Guido Montúfar Jun 2 010 Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof arXiv Paper Gergely B'erczi, Y. Kiem May 27 011 Positivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematics arXiv Paper Gergely Bérczi, L'aszl'o M. Feh'er May 24 012 Commutator-Induced Uncertainty in VAEs arXiv Paper T. Dehdarirad, Michael Felsberg et al. May 22 013 The Symmetries of Three-Layer ReLU Networks arXiv Paper Johanna Marie Gegenfurtner, M. Grillo et al. May 18 014 Strategic PAC Learnability via Geometric Definability arXiv Paper Yuval Filmus, Shay Moran et al. May 13 015 Minimal Filling Architectures of Polynomial Neural Networks: Counterexamples, Frontier Search, and Defects arXiv Paper Kevin Dao, Jose Israel Rodriguez May 10 016 Higher-Order Flexible Configurations of Planar Parallel Manipulators Constructed by Averaging arXiv Paper Yudi Zhao et al. May 4 017 Algebraic Invariants of Lightning Self-Attention arXiv Paper Yulia Alexandr et al. Apr 17 018 A Complete Symmetry Classification of Shallow ReLU Networks arXiv Paper P. Ramakrishnan Apr 15 019 On Higher-Order Geometric Refinements of Classical Covariance Asymptotics: An Approach via Intrinsic and Extrinsic Information Geometry arXiv Paper Malik Amir, Sourangshu Ghosh Apr 14 020 GlobalCY I: A JAX Framework for Globally Defined and Symmetry-Aware Neural Kähler Potentials arXiv Paper Abdul Rahman Apr 13 021 Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions arXiv Paper Daisuke Ishii et al. Apr 4 022 A semicontinuous relaxation of Saito's criterion and freeness as angular minimization arXiv Paper Tomás S. R. Silva Apr 3 023 The Geometry of Polynomial Group Convolutional Neural Networks arXiv Paper Yacoub Hendi, D. Persson et al. Mar 31 024 $R$-equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal Equivalence arXiv Paper D. Kanevsky, Julian Salazar et al. Mar 19 025 CrossADR: enhancing adverse drug reactions prediction for combination pharmacotherapy with cross-layer feature integration and cross-level associative learning arXiv Paper Y. Cheung Mar 16 026 Deep Reinforcement Learning for Fano Hypersurfaces arXiv Paper M. Truter Mar 16 027 Single-View Rolling-Shutter SfM arXiv Paper Sofía Errázuriz Muñoz et al. Mar 12 028 Reinforcement Learning for Power-Flow Network Analysis arXiv Paper A. Ergur, J. Lindberg et al. Mar 5 029 Multiprojective Geometry of Compatible Triples of Fundamental and Essential Matrices arXiv Paper Timothy Duff et al. Feb 26 030 Neural Learning of Fast Matrix Multiplication Algorithms: A StrassenNet Approach arXiv Paper Paolo Andreini et al. Feb 25 031 Evolving Ranking Functions for Canonical Blow-Ups in Positive Characteristic arXiv Paper Gergely Bérczi Feb 6 032 First Proof arXiv Paper Mohammed Abouzaid et al. Feb 5 033 Robustness Verification of Polynomial Neural Networks arXiv Paper Yulia Alexandr, Hao Duan et al. Feb 5 034 Causal Representation Meets Stochastic Modeling under Generic Geometry arXiv Paper Jiaxu Ren et al. Feb 4 035 Learning Fast Monomial Orders for Gröbner Basis Computations arXiv Paper R. Caleb Bunch et al. Feb 3 036 A new criterion for the absolute irreducibility of multivariate polynomials over finite fields arXiv Paper Carlos Agrinsoni et al. Feb 2 037 Two-chart Beltrami Optimization for Distortion-Controlled Spherical Bijection with Application to Brain Surface Registration arXiv Paper Zhehao Xu et al. Feb 2 038 Topology and Geometry of the Learning Space of ReLU Networks: Connectivity and Singularities arXiv Paper Marco Nurisso et al. Jan 31 039 Equivalent computational problems for superspecial abelian surfaces arXiv Paper Mickaël Montessinos Jan 26 040 Three results on twisted $G-$codes and skew twisted $G-$codes arXiv Paper Alvaro Otero Sanchez Jan 2 041 Critical Points of Degenerate Metrics on Algebraic Varieties: A Tale of Overparametrization arXiv Paper Giovanni Luca Marchetti et al. Dec 24, 2025 042 Attention Is Not What You Need arXiv Paper Zhang Chong Dec 22, 2025 043 Series of quasi-uniform scatterings with fast search, root systems and neural network classifications arXiv Paper I. V. Netay Dec 4, 2025 044 The Alexander-Hirschowitz theorem for neurovarieties arXiv Paper A. Massarenti et al. Nov 24, 2025 045 Regularization Implies balancedness in the deep linear network arXiv Paper Kathryn Lindsey et al. Nov 3, 2025 046 A Degree Bound for the c-Boomerang Uniformity arXiv Paper Matthias Johann Steiner Oct 21, 2025 047 Computations and ML for surjective rational maps arXiv Paper Ilya Karzhemanov Oct 9, 2025 048 Bootstrapping as a Morphism: An Arithmetic Geometry Approach to Asymptotically Faster Homomorphic Encryption arXiv Paper Dongfang Zhao Sep 29, 2025 049 Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether arXiv Paper Karan Srivastava, Sanjeeb Dash et al. Sep 26, 2025 050 FedHK-MVFC: Federated Heat Kernel Multi-View Clustering arXiv Paper Kristina P. Sinaga Sep 19, 2025 051 The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction arXiv Paper Arnaud Mayeux, Zhang, Jujian Sep 18, 2025 052 Universal Gröbner Bases of (Universal) Multiview Ideals arXiv Paper Timothy Duff et al. Sep 15, 2025 053 Toric geometry of ReLU neural networks arXiv Paper Yaoying Fu Sep 7, 2025 054 Analytical Solvers for Common Algebraic Equations Arising in Kinematics Problems arXiv Paper Hai-Jun Su Aug 31, 2025 055 Riemann-Roch bases for arbitrary elliptic curve divisors and their application in cryptography arXiv Paper Artyom Kuninets et al. Aug 6, 2025 056 Constraining the outputs of ReLU neural networks arXiv Paper Yulia Alexandr, Guido Montúfar Aug 5, 2025 057 Computational Resolution of Hadamard Product Factorization for $4 \times 4$ Matrices arXiv Paper Igor Rivin Jul 31, 2025 058 TokenBlowUp: Resolving Representational Singularities in LLM Token Spaces via Monoidal Transformations arXiv Paper Dongfang Zhao Jul 26, 2025 059 Testing the variety hypothesis arXiv Paper A. Lerario et al. Jul 22, 2025 060 Numerically Computing Galois Groups of Minimal Problems arXiv Paper Timothy Duff Jul 14, 2025