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

39 points | by alexwatson405 2 days ago

14 comments