What we have learned at OpenShell applying formal methods to control AI agentsnvidia.github.io
21 points by alexwatson405 4 hours ago | 10 comments