No authors of 2301.12001 can endorse.
Vertex-based reachability analysis for verifying ReLU deep neural networks
| João Gabriel Zago: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Eduardo Camponogara and Eric Antonelo are not registered as owners of this paper. (why?)