Nada Amin

L'IA aide à créer des médicaments pour traiter des problèmes liés au cerveau en traversant la barrière hémato-encéphalique.

2025-08-16T12:45:03+00:00 ― 8 min lire

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

2025-07-29T23:23:54+00:00 ― 6 min lire

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

2025-05-31T00:31:03+00:00 ― 8 min lire