Project

General

Profile

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

Paper
07/06/2020

Stanley BakHoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson, "Improved Geometric Path Enumeration for Verifying ReLU Neural Networks", In 32nd International Conference on Computer-Aided Verification (CAV), 2020, July.

http://www.taylortjohnson.com/research/bak2020cav.pdf

Files