Shiqi Wang

Learning Security Classifiers with Verified Global Robustness Properties

Yizheng Chen, Suman Jana, Xiaojing Liao, 2021, CCS.

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification

Cho-Jui Hsieh, Suman Jana, Kaidi Xu, 2021, NeurIPS.