{"type": "article", "title": "What we have learned at OpenShell applying formal methods to control AI agents", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/what-we-have-learned-at-openshell-applying-formal-methods-to-control-ai-agents", "original_source": "https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/", "published": "2026-09-15T14:40:05+00:00", "accessed": "2026-09-15", "id": "what-we-have-learned-at-openshell-applying-formal-methods-to-control-ai-agents"}