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

news.ycombinator.com

saved by: 0 people
related read on: What we have learned applying formal methods to control A... discussion