Beyond Robustness: Resilience Verification of Tree-Based Classifiers
Authors: Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Federico Marcuzzi, Salvatore Orlando | Published: 2021-12-05
Stability Assessment
Provable Training of a ReLU Gate with an Iterative Non-Gradient Algorithm
Authors: Sayar Karmakar, Anirbit Mukherjee | Published: 2020-05-08 | Updated: 2022-04-01
Towards Stable and Efficient Training of Verifiably Robust Neural Networks
Authors: Huan Zhang, Hongge Chen, Chaowei Xiao, Sven Gowal, Robert Stanforth, Bo Li, Duane Boning, Cho-Jui Hsieh | Published: 2019-06-14 | Updated: 2019-11-27