Toutes les news taguées avec ce sujet.
Un framework agentique guidé par un vérificateur formel atteint 92,7 % de succès sur DafnyBench, surpassant les meilleures approches connues.