Rapport scientifique 2025 • 01.04.2026
La vérification formelle de réseaux de neurones présente de nombreux défis. Si des langages existent pour décrire finement les comportements attendus de ces logiciels, les outils de validation actuels ne prennent pas en compte toute la richesse de ces langages.
Lire la suite