Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.

Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson

Browse the full CAV paper archive.