Michele Alberti

Latest

• Caractériser des propriétés de confiance d’IA avec Why3
• CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness