Justin Boitano
@j_boitano
Frontier AI safety will require deep systems engineering and formal verification. We’re sharing our learnings openly for all to learn from nvidia.github.io/OpenShell-Rese…
nvidia.github.ioWhat we have learned applying formal methods to control AI agents
0 13