formal calculus

LLMbda 演算替 AI 代理人立安全規則

這篇論文用形式化演算描述 LLM 代理人的對話與資訊流，目標是把隔離、保密與完整性變成可證明的安全規則。