**AWS利用符号执行轨迹训练小模型，提升C代码缺陷检测能力**

_Teaching AI to Reason About Software_

> AWS团队通过向80亿参数的小型语言模型注入Soteria生成的符号执行语义轨迹，显著增强了其对程序逻辑的理解。实验显示，该小模型在C代码缺陷检测上的表现超越了参数量大四倍的模型，有效解决了现有AI助手难以识别代码实际正确性的痛点。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-07-02 06:25（北京时间）
- **原文**：[打开原文](https://soteria-tools.com/blog/teaching-ai)