Miné, Antoine
- A Review of Formal Methods applied to Machine Learning
2021/04/06 by Caterina Urban, Urban, Caterina, Antoine Miné +1 · 8 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Formal Methods in Verification
- Easing Maintenance of Academic Static Analyzers
2024/07/17 by Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)