Towards an Effective and Interpretable Refinement Approach for DNN Verification.

Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun

Browse the full QRS paper archive.