LIONS, EPFL, Lausanne, Switzerland
Elias Abad Rocamora, Mehmet Fatih Sahin, Fanghui Liu, Grigorios Chrysos, Volkan Cevher
branch and bound;adversarial robustness;adversarial examples;certified robustness;polynomial network verification
Sound and Complete Verification of Polynomial Networks