Articles sur AERA

AERA propose un contrôleur d'allocation résiduelle de preuves adaptatives qui apprend à juger si le calcul supplémentaire en vaut la peine. Comparé à l'arrêt adaptatif existant qui repose sur des hypothèses statiques telles que la confiance et la cohérence, il révèle que la force des preuves et l'exactitude finale peuvent changer de manière non monotone, modifiant ainsi la logique d'allocation des ressources du raisonnement au moment du test.