教导AI推理软件

要点

• AWS使用Soteria的符号执行轨迹训练8B参数模型，错误检测性能超过32B模型。
• 训练加推理时逐步推理的联合效果提升违规检测17.9个百分点。
• 训练泛化到多种属性类型，模型学习了通用推理模式。
• 符号执行轨迹可作为大规模自动生成训练数据的来源。