VeriLoop-E2

VeriLoop-E2 出现更小版本，本地编程多一个选项但证据仍薄

一名 Reddit 用户分享 VeriLoop-E2 的社区微调版（在特定数据上继续训练已有模型），称更小版本在自己的代码库中成功率很高。本地编程多了一个待验证选项，但单个体验还不能证明普遍有效。