Picture for Eric Antonelo

Eric Antonelo

Vertex-based reachability analysis for verifying ReLU deep neural networks

Add code
Jan 27, 2023
Viaarxiv icon