Génos

GenOS框架增强AI代码生成鲁棒性

研究人员推出GenOS，一个旨在确保AI代码生成语义鲁棒性的新颖框架。GenOS将AI编码代理建模为随机工作流，其中提示或规范的变化可能导致程序行为分布的改变。该系统提供组合证书，允许安全地替换代理工作流中的组件，如提示、合约或生成器。GenOS证明等效提示会导致下游事件（包括已验证的提交）产生相同的概率，并建立了评估工作流双模拟和加性鲁棒性界限的方法。