conftrace_

complete verifier

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

floating point arithmetic (1) numerical precision (1) neural network verification (1) backdoor attack (1) adversarial robustness (1)

Papers

Fooling a Complete Neural Network Verifier ICLR 2021