Wonda

Wonda 管道通过策划数据增强 SLM 程序验证

研究人员开发了一个名为 Wonda 的数据策划管道，以改进用于程序验证的小型语言模型 (SLM) 的训练。该管道对原始验证器输出进行规范化，并使用 LLM 重写和增强不变式，确保可证明的质量。在 Wonda 策划的数据上微调 Qwen3、Llama-3.1 和 Mistral AI 等 SLM，可显著提高不变式正确性和加速率。值得注意的是，一个 4B Qwen3 模型取得了与 GPT-OSS-120B 等更大模型相当的性能，甚至在 I…