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

(nvidia.github.io)

15 points | by alexwatson405 3 hours ago ago

5 comments