论文提出 LBAC：用类型检查约束 AI 智能体行为

论文提出语言智能体控制（LBAC）编程模型，要求智能体生成在脚手架代码上下文中类型正确的程序，不安全程序在执行前即被类型检查器拒绝。该模型让访问控制、信息流和数据溯源等策略统一覆盖智能体生成行为与开发者代码，同时允许智能体执行无副作用计算并递归调用子智能体。论文以文件系统能力沙箱、数据溯源和信息流控制三个案例进行演示。