Skip to content
conftrace_

certification algorithm

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

robustness auditing (1) sample removal (1) provable robustness (1) ordinary least square (1) neural network certification (1) neural network verification (1) lower bound (1) convolutional neural network (1) linear regression (1) adversarial robustness (1)

Papers

Robustness Auditing for Linear Regression: To Singularity and Beyond ICLR 2025 CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks AAAI 2019