What we have learned at OpenShell applying formal methods to control AI agents
By alexwatson405 · 2026-09-15 · 22 points · 10 comments
https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/
By alexwatson405 · 22 points · 10 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews