Articles sur A-CEGIS

Fait : Le cadre A-CEGIS introduit la génération déterministe de contre-exemples par Oracle sous la forme de plusieurs séries de commentaires interactifs. Jugement : L'efficacité de l'autocorrection de l'agent dépend fortement de la précision du signal de rétroaction, plutôt que de simples tentatives répétées. Corollaire : dans les domaines dotés de normes de vérification claires telles que la synthèse de code, le « lecteur de contre-exemple » devient une voie clé pour briser le goulot d'étranglement des performances sans échantillon du LLM.