行业动态
2026/9/15
12 次阅读
What we have learned at OpenShell applying formal methods to control AI agents
来源: https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ 热度: 14 points on HackerNews
来源: https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/
热度: 14 points on HackerNews