conftrace_

neural network verification

106 papers

Explore in graph

Co-occurring keywords

formal verification (284) adversarial robustness (1341) robustness verification (31) relu network (143) neural network (6616) branch and bound (119) semidefinite programming (147) linear programming (227) convex relaxation (112) certified robustness (116)

Papers

Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019
Formal Analysis of Deep Binarized Neural Networks IJCAI 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees IJCAI 2018
Efficient Formal Safety Analysis of Neural Networks NIPS 2018
Towards Fast Computation of Certified Robustness for ReLU Networks ICML 2018
SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud NIPS 2017