Skip to content
conftrace_

linear relaxation

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

adversarial robustness (4) neural network verification (2) robustness certification (2) formal verification (2) universal perturbation (1) contention resolution (1) preimage approximation (1) certification method (1) provable bound (1) online selection (1)

Papers

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks JMLR 2025 GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers AAAI 2024 Fully Dynamic Online Selection through Online Contention Resolution Schemes AAAI 2023 Towards Robustness Certification Against Universal Perturbations ICLR 2023 Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond NeurIPS 2020 Certifying Geometric Robustness of Neural Networks NeurIPS 2019