Skip to content
conftrace_

local robustness

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network verification (2) layer-based constraint (1) linear cut (1) geometric projection (1) piecewise linear activation (1) semidefinite relaxation (1) feedforward neural network (1) relu network (1) adversarial input (1) decision boundary (1)

Papers

Critically Assessing the State of the Art in Neural Network Verification JMLR 2024 Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts IJCAI 2021 Fast Geometric Projections for Local Robustness Certification ICLR 2021