Skip to content
conftrace_

certified lower bound

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

maxpool function (1) neural network certification (1) robustness verification (1) adversarial example (1) neural network robustness (1) activation function (1) convolutional neural network (1) linear approximation (1) formal verification (1) adversarial robustness (1)

Papers

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation CVPR 2024 Efficient Neural Network Robustness Certification with General Activation Functions NeurIPS 2018