arXiv (All)
open access
Scalable Incremental Robustness Analysis of Neural Network Feedback Systems
Semidefinite programming (SDP) certificates for feedback systems containing deep neural networks (NNs) typically scale with the total number of neurons, whereas small-gain tests are scalable but can be highly conservative. This paper develops a unified and scalable framework for incremental robust s
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Upper Bounds on the Generalization Error of Deep Learning Models via Local Robustness and Stability#280214
- Unveiling Hidden Convexity in Deep Learning: A sparse signal processing perspective [Special Issue on the Mathematics of Deep Learning].#489685
- Hybrid Robustness Verification for Spatio-Temporal Neural Networks#267647
- On the Interaction of Compressibility and Adversarial Robustness#1118405
- Faults That Fortify: CNN Adversarial Robustness via GPU Undervolting#659136
Record · ID 1037259
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive