EA-Graph: Memoria di Verifica Ancorata agli Artefatti per Agenti di Codifica
Una recente pubblicazione di ricerca presenta EA-Graph, un sistema di memoria ancorato agli artefatti volto a migliorare l'affidabilità degli agenti di codifica in più sessioni. Questo sistema affronta il problema delle affermazioni di verifica obsolete dopo modifiche a monte, dove un repository potrebbe ancora compilare nonostante le precedenti affermazioni di verifica siano diventate invalide. EA-Graph cattura gli artefatti a livello di sotto-percorso, chiarisce gli alias alle definizioni foglia, collega ogni affermazione al suo contenuto di supporto e distingue tra forza delle prove e freschezza. Se il contenuto sostitutivo non è accessibile, l'affermazione viene considerata non dimostrabile invece di essere stimata. La valutazione coinvolge repository generati con una verità di base stabilita comportamento-artefatto, categorizzando le affermazioni precedenti come non influenzate, influenzate o non dimostrabili dopo vari drift. Lo studio copre 42 sessioni in sette mondi puliti e 14 istanze mondo-modello. L'articolo è disponibile su arXiv con identificatore 2608.04278.
Fatti principali
- EA-Graph è una memoria ancorata agli artefatti per le affermazioni di verifica negli agenti di codifica.
- Affronta il problema delle affermazioni di verifica obsolete dopo modifiche a monte.
- Il sistema rappresenta gli artefatti a granularità di sotto-percorso e risolve gli alias alle definizioni foglia.
- Ogni affermazione è ancorata al contenuto utilizzato per stabilirla.
- La forza delle prove è mantenuta separata dalla freschezza.
- Quando il contenuto sostitutivo non è disponibile, l'affermazione diventa non dimostrabile piuttosto che stimata.
- La valutazione utilizza repository generati con una verità di base nota comportamento-artefatto.
- L'analisi copre 42 sessioni in sette mondi puliti e 14 istanze mondo-modello.
- L'articolo è disponibile su arXiv con identificatore 2608.04278.
Entità
Istituzioni
- arXiv