Flujos de trabajo de agentes con costo acotado
¿Se puede certificar cuánto va a gastar un agente de IA antes de que se ejecute?
Un cálculo de recursos tipados que demuestra que un flujo de trabajo bien tipado nunca excede el presupuesto declarado, en cualquier traza posible. El teorema central está verificado por máquina en Lean 4, sin huecos. Después medimos 254 flujos de trabajo de agentes reales en 45 repositorios públicos de producción: el 88% de los cíclicos depende de un valor por defecto del framework como único techo de gasto — a menudo un límite de 1000 pasos que no acota casi nada.
- Estado
- Publicado
- Paper
- DOI Zenodo ↗
- Herramienta
- Costwright · Apache-2.0 ↗