Recherche
CordisBench montre où la vérification doit remplacer le raisonnement des agents
CordisBench montre que le raisonnement sur le cycle de vie se dégrade avec la complexité alors que les conséquences testées peuvent être calculées exactement.