SkillEffect: Runtime di Abbassamento Verificato per Strumenti Agente AI con Memoria Limitata
SkillEffect funge da sistema runtime che garantisce un abbassamento verificato per attività che richiedono una relazione di origine sicura, un'implementazione limitata validata e una postcondizione di output chiara. Affronta il problema dei modelli linguistici che convertono le Agent Skills in programmi specifici. Sebbene semanticamente corretti, questi modelli possono mettere a dura prova la memoria caricando interi input in una volta sola. L'esecuzione avviene solo dopo che un verificatore separato ricostruisce ogni abbassamento proposto utilizzando il programma originale e l'input invariato. Ogni plugin include componenti come un riconoscitore di origine, un estrattore di fatti di input, un costruttore di IR limitato, una funzione di arena-bound e una postcondizione. L'articolo evidenzia la flessibilità architettonica di SkillEffect e si concentra sull'uso sicuro delle risorse negli strumenti AI, pubblicato su arXiv come voce 2608.17007.
Fatti principali
- SkillEffect è un runtime di abbassamento verificato per strumenti agente con memoria limitata.
- Affronta il problema del codice generato da modelli linguistici che supera i limiti di memoria delle chiamate degli strumenti.
- Un verificatore indipendente ricostruisce ogni abbassamento proposto dal programma inviato e dall'input immutabile prima dell'esecuzione.
- Ogni plugin di relazione fornisce un riconoscitore di origine, un estrattore di fatti di input, un costruttore di IR limitato, una funzione di arena-bound e una postcondizione.
- Il runtime comune fornisce selezione verificata, esecuzione VM limitata, leasing atomico della capacità e pubblicazione a fasi.
- La generalità in SkillEffect è architetturale.
- L'articolo è disponibile su arXiv con identificatore 2608.17007.
- Le Agent Skills specificano obblighi procedurali e di risorse che i modelli linguistici istanziano come programmi.
Entità
—