ForML

Go to Project Site

Publications

. Faster Verified Explanations for Neural Networks. In ECOOP, 2026.

PDF Project Project HAL LIPIcs

. Faster Verified Explanations for Neural Networks. In arXiv/2512.00164, 2025.

PDF Project Project arXiv

Talks

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