What we have learned at OpenShell applying formal methods to control AI agents

27 pointsnvidia.github.io
alexwatson4056hrs