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
Les IA accélèrent la simulation des matériaux à l’échelle atomique mais leur approximation introduit une incertitude qui biaise les résultats. Notre méthode PEM adapte l’algorithme Monte-Carlo et pénalise les régions incertaines pour l’IA.
Lire la suite