107 citations · 194 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021
SHORING: Design Provable Conditional High-Order Interaction Network via Symbolic Testing
Hui Li, Xing Fu, Ruofan Wu +8
Deep learning provides a promising way to extract effective representations from raw data in an end-to-end fashion and has proven its effectiveness in various domains such as compu…
cs.LG2018★ 107 cited
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
Kai Y. Xiao, Vincent Tjeng, Nur Muhammad Shafiullah +1
We explore the concept of co-design in the context of neural network verification. Specifically, we aim to train deep neural networks that not only are robust to adversarial pertur…