Chloe Loughridge

MIPS propose une nouvelle façon de créer des programmes à partir de réseaux de neurones.

DafnyBench teste des outils de vérification de logiciels, ouvrant la voie à une programmation fiable.

Combiner l'IA avec Dafny pour simplifier les processus de vérification logicielle.