 Incremental Randomized Smoothing CertificationInternational Conference on Learning Representations (ICLR), 2023 |
 Quantization-aware Interval Bound Propagation for Training Certifiably
Robust Quantized Neural NetworksAAAI Conference on Artificial Intelligence (AAAI), 2022 |
 Sound Randomized Smoothing in Floating-Point ArithmeticsInternational Conference on Learning Representations (ICLR), 2022 Václav Voráček Matthias Hein |
