conftrace_

robustness verification

31 papers

Explore in graph

Co-occurring keywords

adversarial robustness (1341) formal verification (284) neural network verification (106) neural network (6616) adversarial attack (1621) adversarial example (564) linear approximation (19) linear programming (227) branch and bound (119) adversarial training (1262)

Papers

Abstract Interpretation of Decision Tree Ensemble Classifiers AAAI 2020
Automated Synthesis of Social Laws in STRIPS AAAI 2020
RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications AAAI 2019
Robustness Verification of Tree-based Models NIPS 2019
Robustness Verification of Classification Deep Neural Networks via Linear Programming CVPR 2019
Verifying Robustness of Gradient Boosted Models AAAI 2019