conftrace_

zonotope

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

conp-completeness (1) injectivity (1) surjectivity (1) verification (1) relu (1)

Papers

Complexity of Injectivity and Verification of ReLU Neural Networks (Extended Abstract) COLT 2025