DART: Un Runtime per il Recupero Semantico di Fallimenti di Agenti Strumentali
Un recente articolo pubblicato su arXiv (2605.23311) presenta DART, un runtime modulare volto a risolvere il problema del recupero semantico in agenti strumentali strutturati. I metodi attuali o riproducono l'intero compito, che è sicuro ma inefficiente, o tornano a un checkpoint locale, più efficiente ma rischioso se i consumatori downstream hanno già utilizzato l'output dell'istanza fallita. DART colma questa lacuna localizzando il fallimento, certificando i confini di recupero semantico, allineando i checkpoint a tali confini e scegliendo un punto di ripristino adatto che mantenga l'integrità del lavoro downstream già eseguito secondo i vincoli di dipendenza ed effetto, o fermandosi se il recupero non è fattibile.
Fatti principali
- L'articolo arXiv:2605.23311 introduce DART.
- DART affronta il recupero semantico per agenti strumentali strutturati.
- Gli approcci di recupero esistenti mancano di un criterio per la validità semantica dopo l'impegno downstream.
- DART è un runtime modulare che localizza le istanze fallite.
- Certifica i confini di recupero semantico.
- Allinea i checkpoint a tali confini.
- Seleziona punti di ripristino che preservano il lavoro downstream già eseguito.
- Blocca se il recupero è impossibile.
Entità
Istituzioni
- arXiv