Statewright: Macchine a stati visivi per agenti AI affidabili
Ben Cochran, un Distinguished Engineer con oltre 20 anni di esperienza in ingegneria full-stack, DevOps, HPC e ML presso NVIDIA e AMD, ha rilasciato Statewright, un framework open-source che utilizza macchine a stati formali per rendere gli agenti AI più affidabili. Invece di fare affidamento su enormi quantità di parametri o finestre di contesto, Statewright vincola gli spazi degli strumenti e delle soluzioni con macchine a stati visivi. Ogni stato definisce quali strumenti il modello può accedere, i limiti di iterazione e le transizioni valide. L'approccio utilizza modelli più piccoli (13-20 miliardi di parametri) per risolvere problemi reali di SWE-bench. Il progetto è disponibile su GitHub.
Fatti principali
- Ben Cochran ha creato Statewright
- Cochran ha oltre 20 anni di esperienza in ingegneria e ML
- Ha lavorato presso NVIDIA e AMD
- Statewright utilizza macchine a stati formali
- Ogni stato definisce accesso agli strumenti, iterazioni e transizioni
- Utilizza modelli con 13-20 miliardi di parametri
- Risolve problemi reali di SWE-bench
- Il progetto è open-source su GitHub
Entità
Istituzioni
- NVIDIA
- AMD
- GitHub