The LLMbda Calculus: AI Agents, Conversations, and Information Flow
LLMlambda 计算:人工智能代理、对话与信息流
机构 * University of Nottingham, UK(诺丁汉大学) ; University of Edinburgh, UK(爱丁堡大学) ; Chalmers University of Technology(查尔姆斯理工大学) ; The University of Gothenburg, Sweden(哥德堡大学)
专题命中 代码生成 :code generation(abstract);分类 cs.AI、cs.PL
AI总结 本文提出了一种无类型的lambda计算模型,用于形式化描述和验证人工智能代理中对话和信息流的安全性。