111 citations · 195 across the 22 of their papers we have counts for
3 papers · 1 filter
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
Joshua Ortiz, Alyssa Vellucci, Justin Koeln +1
We show that hybrid zonotopes offer an equivalent representation of feed-forward fully connected neural networks with ReLU activation functions. Our approach demonstrates that the…
Performance Bounds for Neural Network Estimators: Applications in Fault Detection
Navid Hashemi, Mahyar Fazlyab, Justin Ruths
We exploit recent results in quantifying the robustness of neural networks to input variations to construct and tune a model-based anomaly detector, where the data-driven estimator…
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Abstracting neural networks with constraints they impose on their inputs and outputs can be very useful in the analysis of neural network classifiers and to derive optimization-bas…