SAIF

Go to Project Site

Publications

. On Using Certified Training towards Empirical Robustness. In TMLR, 2025.

PDF Project HAL OpenReview

. On Using Certified Training towards Empirical Robustness. In arXiv/2410.01617, 2024.

Project arXiv

Talks

Static Analysis Methods for Neural Networks
Tuesday, February 4, 2025 10:45 AM
Dagstuhl Seminar 25061 “Logic and Neural Networks”, 🇩🇪 Schloss Dagstuhl, Germany
Slides Project
Machine Learning Interpretability and Verification
Thursday, April 4, 2024 9:30 AM
Journées FAC 2024, 🇫🇷 Toulouse, France
Slides Project Project
Machine Learning Interpretability and Verification
Friday, March 29, 2024 2:00 PM
🇫🇷 Quarkslab, France
Project Project