- Finding Stationary Points by Comparisons
Helin Wang, Chenyi Zhang, Xiwen Tao, Yexin Zhang, Tongyang Li
arXivSource: arxiv.orgJun 25, 2026cs.LGscore 0
- Proof of the Density Threshold Conjecture for Pinwheel Scheduling
Akitoshi Kawamura
arXivSource: arxiv.orgJun 25, 2026cs.DMscore 0
- Linear Code Conversion in the Merge Regime: General Bounds and Reed-Muller Constructions
Anina Gruica, Benjamin Jany, Stanislav Kruglik
arXivSource: arxiv.orgJun 25, 2026cs.ITscore 0
- CHAMB-GA: A Containerized HPC Scalable Microservice-Based Framework for Genetic Algorithms
Felix Bonhoff, Thiemo Pesch, Andrea Benigni, Alexander Mitsos, Manuel Dahmen
arXivSource: arxiv.orgJun 25, 2026cs.DCscore 0
- Recovering Governing Equations from Solution Data: Identifiability Bounds for Linear and Nonlinear ODEs
Yang Pan, Helmut Bölcskei
arXivSource: arxiv.orgJun 25, 2026cs.LGscore 0
- Fast algorithms for learning a Gaussian under halfspace truncation with optimal sample complexity
Haitong Liu, Deepak Narayanan Sridharan, David Steurer, Manuel Wiedmer
arXivSource: arxiv.orgJun 25, 2026cs.DSscore 0
- All you need is log
Akshay Balsubramani
arXivSource: arxiv.orgJun 25, 2026cs.ITscore 0
- Error-Conditioned Neural Solvers
Haina Jiang, Liam Wang, Peng-Chen Chen, Min Seop Kwak, Seungryong Kim, Brian Bell, Jeong Joon Park
arXivSource: arxiv.orgJun 25, 2026cs.LGscore 0
- A Quantum Method of Types
Arick Grootveld
arXivSource: arxiv.orgJun 25, 2026cs.ITscore 0
- Geometry-Conditioned Fourier Neural Operators for Cubic Nonlinear Schrodinger Dynamics on Periodic Domains
Emmanuel E. Oguadimma, Victory C. Obieke, Xueying Yu
arXivSource: arxiv.orgJun 25, 2026cs.LGscore 0
- Unbent collections of non-planar $s$-grid-drawing
Therese Biedl
arXivSource: arxiv.orgJun 25, 2026cs.CGscore 0
- Quantum Generative Diffusion Model for Real-World Time Series
Jack Waller, Filippo Caruso, Dimitrios Makris, Rajagopal Nilavalan, Xing Liang
arXivSource: arxiv.orgJun 25, 2026cs.LGscore 0
- Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning
Yivan Zhang, Ziyan Luo, Manuel Baltieri
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- TheoremGraph: Bridging Formal and Informal Mathematics
Simon Kurgan, Evan Wang, Eric Leonen, Sophie Szeto, Luke Alexander, Artemii Remizov, Jarod Alper, Giovanni Inchiostro
arXivSource: arxiv.orgJun 24, 2026cs.IRscore 0
- Dependency-Aware Dominant Resource Fairness for Multi-Tenant Multi-Resource Systems
Braik Zeidan, Francesca Fossati, Sahar Hoteit, Stefano Secci
arXivSource: arxiv.orgJun 24, 2026cs.NIscore 0
- Equilibrium and Infeasibility: A new solution concept for games
Anne Reulke, Mikaël Touati, Rachid El-Azouzi
arXivSource: arxiv.orgJun 24, 2026cs.GTscore 0
- Gradient-based inverse lithography for EUV masks via the waveguide method and a physics-informed neural operator
Vasiliy A. Es'kin, Egor V. Ivanov
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- Bridging Spherical Black-Box Optimizers
Johannes Ackermann, Stefano Peluchetti
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- Sharp approximate Carathéodory theorem and application to iterated Delaunay refinement
Raphaël Tinarrage
arXivSource: arxiv.orgJun 24, 2026cs.CGscore 0
- An Exponent-Tight Conditional Lower Bound for Global Label Min-Cut
Yuanhao Wang, Kehua Wang, Wei Wang
arXivSource: arxiv.orgJun 24, 2026cs.DSscore 0
- From Rubble Simulation to Active Magnetic Mapping: Quantum Sensing for Disaster Response
Samuel Tovey, Stefan Prestel, Hiroshi Yamauchi
arXivSource: arxiv.orgJun 24, 2026cs.ROscore 0
- Tensorion: A Tensor-Aware Generalization of the Muon Optimizer
Vladimir Bogachev, Vladimir Aletov, Alexander Molozhavenko, Sergei Kudriashov, Maxim Rakhuba
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- Variable Bound Tightening for Nash Equilibrium Computation in Multiplayer Imperfect-Information Games
Sam Ganzfried
arXivSource: arxiv.orgJun 24, 2026cs.GTscore 0
- Hierarchical Reinforcement Learning for Neural Network Compression (HiReLC): Pruning and Quantization
Kamar Hibatallah Baghdadi, Kawther Guoual Belhamidi, Sara Belhadj, Aissa Boulmerka, Nadir Farhi
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- \chisao{}: A GPU-Native Parallel Optimizer for Multimodal Black-Box Functions via Convergence-Anticonvergence Oscillation
Ira Wolfson
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- A General Framework for Learning Algebraic Properties from Cayley Graphs using Graph Neural Networks
Tal Weissblat
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- Geometric Complexity Theory and Graph Isomorphism
Joshua A. Grochow, Jacob Urisman
arXivSource: arxiv.orgJun 24, 2026cs.CCscore 0
- Geometry-Aware MCTS for Extremal Problems in Combinatorial Geometry
Luoning Zhang, Xu Zhuang, Tianhao Wang, Nathan Kaplan
arXivSource: arxiv.orgJun 24, 2026cs.AIscore 0
- Beyond Feedforward Networks: Reentry Neural Systems as the Fundamental Basis of Subjecthood and Intrinsic Safety of Next-Generation AGI
A. S. Ushakov, Yu. N. Berdinsk
arXivSource: arxiv.orgJun 24, 2026cs.LGscore 0
- A Low-PAPR, Synchronization-Robust Non-Coherent Grassmannian Modulation for Optical Communications
Eylon E. Krause
arXivSource: arxiv.orgJun 24, 2026cs.ITscore 0
- Bayesian updates from coalgebraic determinisation
Manuel Baltieri, Nathaniel Virgo
arXivSource: arxiv.orgJun 24, 2026cs.LOscore 0
- Sim-to-Real Betting on the E-Process: Bringing "simulators" to anytime-valid confidence sequences
Yujia Chen, Bowen Weng
arXivSource: arxiv.orgJun 23, 2026cs.ROscore 0
- TurboMPC: Fast, Scalable, and Differentiable Model Predictive Control on the GPU
Gabriel Bravo-Palacios, Jianghan Zhang, Zachary Pestrikov, Brian Plancher, Thomas Lew
arXivSource: arxiv.orgJun 23, 2026cs.ROscore 0
- Minimal additive codes and additive strong blocking sets
Gianira N. Alfarano, Marine Le Meur
arXivSource: arxiv.orgJun 23, 2026cs.ITscore 0
- Discovery of connectivity-trainability trade-off of IQP Circuits for Hamiltonian Optimization
Quoc Chuong Nguyen
arXivSource: arxiv.orgJun 23, 2026cs.SIscore 0
- Discrepancy for Random Linear Codes
Dean Doron, Tal Leonov, Jonathan Mosheiff, Henrique Navas, Nicolas Resch, João Ribeiro
arXivSource: arxiv.orgJun 23, 2026cs.ITscore 0
- Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition
Fredrik Dahlqvist, Mohamed Hamza Bandukara, Niki Omidvari
arXivSource: arxiv.orgJun 23, 2026cs.SCscore 0
- Almost Symmetric Linear Arc Monadic Datalog and Transitive Tournaments
Sebastian Meyer, Florian Starke
arXivSource: arxiv.orgJun 23, 2026cs.LOscore 0
- Swarm-Inspired Generation of Collective Behaviors in Graph Dynamical Systems
Ji Chen, Song Chen, Chengzhang Gong, Li Fan, Chao Xu
arXivSource: arxiv.orgJun 23, 2026cs.LGscore 0
- A Single Stepsize Suffices for Unprojected Linear TD(0): Simultaneous Robust and Fast Rates via Polyak--Ruppert Averaging
Wei-Cheng Lee, Francesco Orabona
arXivSource: arxiv.orgJun 23, 2026cs.LGscore 0
- A Zeroth-Order Deep Learning Method for Fully Nonlinear Parabolic Partial Differential Equations with Unknown Coefficients
Yanwei Jia, Du Ouyang, Huyên Pham, Xun Yu Zhou
arXivSource: arxiv.orgJun 23, 2026cs.LGscore 0
- LLM-ACES: Closed-Loop Discovery of Dynamical Systems with LLM-Guided Adaptive Search
Nikhil Abhyankar, Sha Li, Sanchit Kabra, Naren Ramakrishnan, Yulia Gel, Chandan K. Reddy
arXivSource: arxiv.orgJun 23, 2026cs.LGscore 0
- Information from coincidences
Akshay Balsubramani
arXivSource: arxiv.orgJun 23, 2026cs.ITscore 0
- Model checking in finite fields and finite groups
Samuel Braunfeld
arXivSource: arxiv.orgJun 23, 2026cs.LOscore 0
- Reward-Conditioned Attention: How Reward Design Shapes What Autonomous Driving Agents See
Mohamed Benabdelouahad, Ahmed Djalal Hacini, Nadir Farhi, Aissa Boulmerka
arXivSource: arxiv.orgJun 23, 2026cs.LGscore 0
- Neural operator-based digital twins for modeling amyloid-$β$ and tau propagation and treatment optimization in Alzheimer's disease
Xiaofeng Xu, Tingting Dan, Zifan Zhou, Bin Li, Guorong Wu, Wenrui Hao
arXivSource: arxiv.orgJun 23, 2026cs.LGscore 0
- GES-TSP: Graph Edge Sparsification for TSP
Tianfeng Chen, Xianyue Li
arXivSource: arxiv.orgJun 23, 2026cs.AIscore 0
- Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra
Giorgi Butbaia, Paul Orland, Coco Huang, Davide Passaro, Lucas Fagan, Michele Tarquini, Hailong Dao, David Eisenbud
arXivSource: arxiv.orgJun 22, 2026cs.LGscore 0
- Topological Out-of-Domain Generalization in Dynamical Systems Reconstruction
Georg Trede, Charlotte Ricarda Doll, Elias Weber, Daniel Durstewitz
arXivSource: arxiv.orgJun 22, 2026cs.LGscore 0
- Schemata, Cyclic Proofs and Herbrand Systems
Alexander Leitsch, Anela Lolic, Stella Mahler
arXivSource: arxiv.orgJun 22, 2026cs.LOscore 0