Formal Skill: Un'astrazione runtime per agenti LLM efficienti
Un nuovo articolo di ricerca introduce Formal Skill, un'astrazione nativa del runtime per agenti LLM che sostituisce le descrizioni informali in linguaggio naturale delle abilità con macchine a stati eseguibili e politiche hook. Il sistema utilizza metadati JSON, schemi di azione, esecutori Python e stato runtime locale delle abilità per imporre disciplina del flusso di lavoro e conformità alle politiche. Spostando le procedure riutilizzabili dal testo del prompt al codice strutturato, Formal Skill mira a migliorare l'efficienza dei token e l'affidabilità. L'articolo è disponibile su arXiv con riferimento 2605.19604.
Fatti principali
- L'articolo arXiv 2605.19604 introduce Formal Skill
- Formal Skill è un'astrazione nativa del runtime per agenti LLM
- Utilizza metadati JSON e schemi di azione
- Esecutori Python affidabili fanno parte del sistema
- La logica di controllo governata da hook impone le politiche
- Include stato runtime locale delle abilità
- Mira a sostituire le abilità informali in Markdown e i pacchetti di istruzioni
- Punta all'efficienza dei token e al controllo applicabile
Entità
Istituzioni
- arXiv