ARTFEED — Contemporary Art Intelligence

Statewright: Macchine a stati visivi per agenti AI affidabili

ai-technology · 2026-05-13

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

Fonti