Skip to content
conftrace_
2024 ICML ICML 2024

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

Authors

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar

Topics

Artificial Intelligence > Core AI > AI Safety Machine Learning > Optimization & Theory > Neural Network Optimization Deep Learning > Architectures > Neural Networks

Keywords

formal verification robustness guarantee prediction performance post-training optimization scalability challenges verification-friendly neural networks
Download PDF