可验证代理：确保自主LLM系统的可观察性和可审计性

这项研究侧重于验证自主 LLM 代理行为的关键方面，增强其可靠性和可信度。 这种方法强调可证明的可观察性和轻量级审计代理，这对于这些系统的安全部署至关重要。

• •解决了确保 LLM 代理行为的透明度和控制的挑战。
• •提出了观察和审计自主 AI 系统行为的方法。
• •旨在提高已部署 LLM 代理的安全性与可靠性。