conftrace_

surjectivity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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