conftrace_

conp-completeness

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

injectivity (1) surjectivity (1) verification (1) zonotope (1) relu (1)

Papers

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