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

Verified Explanations for Neural Networks
Saturday, July 25, 2026 9:00 AM
FLoC 2026 Workshop on Automated Reasoning for Future Space Logistics, 🇵🇹 Lisbon, Portugal
Project Project Project
Verified Explanations for Neural Networks
Wednesday, June 10, 2026
Seminar “Machine Learning and Formal Methods”, 🇸🇪 Lund, Sweden
Project Project Project
Verified Explanations for Neural Networks
Tuesday, May 26, 2026 2:30 PM
M2F Department Seminar, 🇫🇷 Bordeaux, France
Project Project 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