2 papers
cs.LG2026
Faster Verified Explanations for Neural Networks
Alessandro De Palma, Greta Dolcetti, Caterina Urban
Verified explanations are a principled way to explain the decisions taken by neural networks, which are otherwise black-box in nature. However, these techniques face significant sc…
cs.LG2025
On Using Certified Training towards Empirical Robustness
Alessandro De Palma, Serge Durand, Zakaria Chihani +2
Adversarial training is arguably the most popular way to provide empirical robustness against specific adversarial examples. While variants based on multi-step attacks incur signif…