Shallower ReLU Network Representations via Exact Linear Algebra

arXiv:2607.21651 · cs.LG, cs.NE, math.CO · Submitted 2026-07-22 · Read on arXiv

cs.LG, cs.NE, math.CO

Submitted: 2026-07-22

Updated: 2026-09-01

Code: https://github.com/kilianar/max-relu-certificates

Terminology

• Pairwise Comparisons — 4× in this paper · explained in 2 episodes
• Activation Function — 3× in this paper · explained in 1 episode
• Verifier — 2× in this paper · explained in 2 episodes
• APEX — 1× in this paper · explained in 1 episode
• Accuracy — 1× in this paper · explained in 1 episode
• Generalization — 1× in this paper · explained in 13 episodes
• Homogeneity — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
• AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
• Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
• Convergence issues in Relational Concept Analysis based on AOC-posets
• Beliefs Beyond Posteriors: Local-Consistency Optimisation for Bayesian Neural Networks
• Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks