← Back to papers

2024 ICML ICML 2024

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

Authors

Anahita Baninajjar , Ahmed Rezine , Amir Aminifar

Related papers

Learning Latent Dynamic Robust Representations for World Models 2024

Beyond Individual Input for Deep Anomaly Detection on Tabular Data 2024

Risk Estimation in a Markov Cost Process: Lower and Upper Bounds 2024

Collapse-Aware Triplet Decoupling for Adversarially Robust Image Retrieval 2024

Ranking-based Client Imitation Selection for Efficient Federated Learning 2024