conftrace_

neural network verification

132 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (49) adversarial robustness (46) robustness verification (15) branch and bound (13) convex relaxation (12) relu network (11) linear programming (11) semidefinite programming (11) certified robustness (11) neural network (10)

Papers

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