1 citations · 2 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021
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…
cs.LG2020
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…