清华团队VeriLoop Coder-E1正式开源：以循证螺旋驱动可验证的递归式自我改进

雷达摘要

清华团队发布VeriLoop Coder-E1开源代码模型，基于Qwen3.6-27B，在Hugging Face四项软件工程Benchmark中三项排名第一。核心创新为“循证螺旋”机制：每轮生成接受反证、探索、修订与复验验证，通过验证的纠正积累为经验并约束后续方法，实现从结果修复到未来方法更新的递归式自我改进。采用Apache 2.0开源，发布48小时内被社区量化适配。