001 New perspectives for code locality in the rank metric arXiv Paper Camille Garnier, Julien Lavauzelle et al. 4 days ago 002 Formalizing Flag Algebras in Lean arXiv Paper Gyeong-Won Jeong, Seonghun Park et al. 5 days ago 003 An Explicit Counterexample to Stanley's Rankwise Lower-Bound Conjecture for Differential Posets arXiv Paper Xinan Dai, Wenhao Deng et al. 6 days ago 004 Exact values and exact upper bounds for families of integers with arithmetic progression intersections (Erdős Problem #272) arXiv Paper Zhanfu Yang 6 days ago 005 Learning Asymptotics with Convergence-Rate Guarantees using Linear Least Squares arXiv Paper C. Efrem 6 days ago 006 Encoding orders and trees in real-valued functions arXiv Paper Shenzhe Zhu, Haoqian Zhang et al. Jul 23 007 Improved lower bounds for the Shannon capacity of odd cycles arXiv Paper Nathaniel Itty, Christopher D. Rosin et al. Jul 23 008 Shallower ReLU Network Representations via Exact Linear Algebra arXiv Paper Kilian Ruess, G. Averkov et al. Jul 22 009 0-Cyclic Equalizability of Binary Words Characterized by Hamming Weight arXiv Paper Sarunyu Thongjarast Jul 20 010 The Dimension of Nonterminating Resampling Computations arXiv Paper Yunbei Xu Jul 20 011 Learning the Graphical Nature of Symmetries arXiv Paper Rashid Barket, Enrico Grimaldi et al. Jul 13 012 Tropical Circuits with Scalar Multiplication Gates arXiv Paper Christoph Hertrich, Moritz Stargalla Jul 13 013 The VC dimension of partial concept classes via Radon's theorem arXiv Paper G. Ivanov, A. Jung et al. Jul 12 014 AlphaZero in Sparsely Rewarded Games: Limits and Auxiliary Supervision arXiv Paper Brent Kong, T. Ram et al. Jul 9 015 Autonomous disproofs of the sum-product conjecture over $\mathbb R$ with GPT-5.5 Pro arXiv Paper Yichen Huang Jul 9 016 Tangent classes of matroids and wonderful compactifications arXiv Paper R. Cheng, Shurui Liu et al. Jul 7 017 On the Complexity of Low-Rank Matrix Signing and Entrywise Power Matrix Factorization arXiv Paper Nicolas Gillis et al. Jul 6 018 A Policy Decomposition Framework for Dynamic Order Fulfillment Operations arXiv Paper Gal Neria, M. Tzur et al. Jul 4 019 Fast SDP certification of neural networks : towards large multi-class datasets arXiv Paper Margot Boyer, Clément Rambour et al. Jul 3 020 Function-Counting Theory for Low-Dimensional Data Structures arXiv Paper Konstantin Haberle, Helmut Bolcskei Jul 1 021 Chamber geometry and specification numbers of Boolean threshold functions arXiv Paper M. Anthony Jun 28 022 Transversal Difference Numbers in Finite Abelian Quotients arXiv Paper Mugurel Barcau, Vicenctiu Pacsol et al. Jun 26 023 Geometry-Aware MCTS for Extremal Problems in Combinatorial Geometry arXiv Paper Luoning Zhang, Zhuang Xu et al. Jun 24 024 Measurable Majorities Are Not Finitely Axiomatizable arXiv Paper Lawrence S. Moss, Arthur Paul Pedersen Jun 24 025 Discrepancy for Random Linear Codes arXiv Paper Dean Doron, T. Leonov et al. Jun 23 026 GES-TSP: Graph Edge Sparsification for TSP arXiv Paper Tianfeng Chen, Xianyue Li Jun 23 027 Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra arXiv Paper G. Butbaia, P. Orland et al. Jun 22 028 Optimal Small Set Expanders and Their Codes arXiv Paper Tristram C. Bogart, Marcelo Fiori et al. Jun 22 029 DPLAN: Minimal Connectivity to Floorplan Generation arXiv Paper Rohit Lohani et al. Jun 19 030 Two-Phase Bilevel Search for the Moving-Target Traveling Salesman Problem with Moving Obstacles arXiv Paper Allen George Philip, Anoop Bhat et al. Jun 17 031 Tight $L_\infty$ Sample Complexity for Low-Degree and Sparse Boolean Polynomials arXiv Paper Jasper van Doornmalen, Mathieu Molina et al. Jun 15 032 Quadratic APN Functions in Dimension 8 via Gröbner Basis Search in a Self-Equivalence Subspace arXiv Paper O. Kuznetsov Jun 10 033 (Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs arXiv Paper W. Pegden Jun 8 034 Benchmarks in Leipzig arXiv Paper A. Balakin, Miklós Bóna et al. Jun 4 035 Sharp Low-Degree Thresholds for Planted-vs-Planted Testing arXiv Paper Anda Skeja, Daniel G. Espinoza et al. Jun 3 036 Tree-Based Formalization of Multi-Agent Complementarity in Human-AI Interactions arXiv Paper Andrea Ferrario Jun 3 037 Optimizing Explicit Unit-Distance Lower-Bound Certificates arXiv Paper Michael T. M. Emmerich Jun 2 038 Solving Combinatorial Counting Problems with Weighted First-Order Model Counting arXiv Paper Yuanhong Wang, Juhua Pu et al. May 24 039 Complement Submodular Information Measures for Balanced and Robust Data Selection arXiv Paper Rishabh K. Iyer May 23 040 Implicit Binarization via Complex Phase Dynamics in Combinatorial Optimization arXiv Paper Khen Cohen, Mark Glass et al. May 23 041 Is Dimensionality a Barrier for Retrieval Models? arXiv Paper Kiril Bangachev, Guy Bresler et al. May 22 042 Weisfeiler-Leman Is Incomplete on Simple Spectrum Graphs, so Canonicalize Them arXiv Paper Snir Hordan, Nadav Dym et al. May 22 043 Exact Hidden Paths in Noisy High Dimensional Path Spaces arXiv Paper V'ictor Duarte Melo May 21 044 Holographic functions and neural networks arXiv Paper B. Szegedy May 21 045 Targeting Clause Type Distributions: a Picklock for Random Satisfiability Problems arXiv Paper J. Schwardt, J. C. Budich May 19 046 The Symmetries of Three-Layer ReLU Networks arXiv Paper Johanna Marie Gegenfurtner, M. Grillo et al. May 18 047 Module Lattice Security (Part IV): Probabilistic Polynomial Quantum Attack on Module-LWE over 2-Power Cyclotomics arXiv Paper Ming Luo May 17 048 Learning Minimally Rigid Graphs with High Realization Counts arXiv Paper Oleksandr Slyvka, Jan Rubevs et al. May 12 049 TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling arXiv Paper Ziyang Fang, Jinxin Wang et al. May 12 050 Invariant-Based Diagnostics for Graph Benchmarks arXiv Paper Richard von Moos, Mathieu Alain et al. May 7 051 Almost-Orthogonality in Lp Spaces: A Case Study with Grok arXiv Paper Ziang Chen, Jaume de Dios Pont et al. May 6 052 Conflict-Aware Seat Assignment in Classroom Environments arXiv Paper Bruna Cristina Braga Charytitsch et al. May 5 053 Most ReLU Networks Admit Identifiable Parameters arXiv Paper M. Grillo, Guido Montúfar May 5 054 On the Architectural Complexity of Neural Networks arXiv Paper N. Cooper, Franccois G. Meyer et al. May 5 055 A Partition-Based Generating Function for Row-Convex Polyominoes arXiv Paper Vincenzo M. Scarrica May 4 056 Trees and Graphs with Non Log-concave Dominating Set Sequence via AI Tools arXiv Paper Alina Du, Steven M. Heilman et al. May 4 057 The Banach-Butterfly Invariant: Influence-Adaptive Walsh Geometry for Ternary Polynomial Threshold Functions arXiv Paper G. Pavlov May 2 058 New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search arXiv Paper J. Bhan, Nicole Nobili et al. May 1 059 Order-Sensitive Sequential Interventions on Ideal Lattices arXiv Paper Dmitry Pasechnyuk-Vilensky Apr 29 060 Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery arXiv Paper Benjamin Przybocki, John Mackey et al. Apr 23