Quadratic Characterizations for Reachability Analysis of Neural Networks

arXiv:2605.20482 · cs.LG, cs.SY, eess.SY · Submitted 2026-05-19 · Read on arXiv

cs.LG, cs.SY, eess.SY

Submitted: 2026-05-19

Updated: 2026-10-09

Terminology

• Verification — 43× in this paper · explained in 2 episodes
• Pruning — 5× in this paper · explained in 4 episodes
• Benchmark — 4× in this paper · explained in 2 episodes
• Robustness — 3× in this paper · explained in 5 episodes
• SMT solver — 3× in this paper · explained in 2 episodes
• Activation Function — 2× in this paper · explained in 1 episode
• Formal Methods — 2× in this paper · explained in 3 episodes
• Chebyshev Polynomials — 1× in this paper · explained in 2 episodes
• Closed-Loop System — 1× in this paper · explained in 4 episodes
• Elias — 1× in this paper · explained in 2 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Hybrid System — 1× in this paper · explained in 2 episodes
• Regularization — 1× in this paper · explained in 3 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Semidefinite Program (SDP) — 1× in this paper · explained in 2 episodes

Sources

• Adversarial Reinforcement Learning for Robust Control of Fixed-Wing Aircraft under Model Uncertainty

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