Picture for João Zago

João Zago

Vertex-based reachability analysis for verifying ReLU deep neural networks

Add code
Jan 27, 2023
Viaarxiv icon