Cet article introduit une nouvelle manière de mesurer les biais politiques dans les grands modèles de langue.
Lire la suite
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