Publications

Serge Durand (2025). Over-Approximating Neural Networks for Verification, Robustness and Explainability.

Manuscript Slides PDF Slides Keynote Slides PPTX

Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban (2025). On Using Certified Training towards Empirical Robustness. TMLR.

PDF Code OpenReview

Serge Durand, Augustin Lemesle, Zakaria Chihani, Caterina Urban, François Terrier (2023). ReCIPH: Relational Coefficients for Input Partitioning Heuristic. WFVML 2022.

PDF Source Document