conftrace_

certification method

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network robustness (2) formal verification (2) adversarial robustness (2) hyperparameters (1) algorithmic improvement (1) certified training (1) robust neural network (1) linear relaxation (1) semantic perturbation (1) threat model (1)

Papers

CTBench: A Library and Benchmark for Certified Training ICML 2025 Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations CVPR 2020 Certifying Geometric Robustness of Neural Networks NeurIPS 2019