SpecCoder

SpecCoder框架通过形式化规范增强代码大模型

研究人员开发了SpecCoder，一个旨在通过利用中间形式化规范来增强代码大模型推理能力的新框架。与自然语言不同，这些可执行的规范为代码验证、调试和修复提供了机器可检查的约束。SpecCoder使用经过验证的程序、改变行为的变异体和精炼跟踪来训练模型，以生成对正确代码有效但拒绝错误代码的规范。该框架在HumanExec基准上进行了评估，显示出Qwen2.5-Coder等模型在规范质量、正确性和完整性方面有了显著的改进。