Skip to content
conftrace_

maxpool function

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

robustness verification (2) linear approximation (2) formal verification (2) certified lower bound (1) certified accuracy (1) neural network (1) neural network classifier (1) neural network robustness (1) neural network verification (1) robustness certification (1)

Papers

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025 Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation CVPR 2024