Workflow di agenti a costo limitato
Si può certificare quanto spenderà un agente di IA prima che venga eseguito?
Un calcolo a risorse tipate che dimostra che un workflow ben tipato non supera mai il budget dichiarato, su ogni traccia possibile. Il teorema centrale è verificato dalla macchina in Lean 4, senza lacune. Abbiamo poi misurato 254 workflow di agenti reali in 45 repository pubblici di produzione: l'88% di quelli ciclici si affida a un default del framework come unico tetto di spesa — spesso un limite di 1000 passi che non vincola quasi nulla.
- Stato
- Pubblicato
- Paper
- DOI Zenodo ↗
- Strumento
- Costwright · Apache-2.0 ↗