IXThinker·2026-10-12 15:40

清華團隊開源VeriLoop E2 提升推理可信度

大模型在長鏈推理與代碼修復中常因「自我驗證失效」而累積錯誤。清華大學深圳國際研究生院團隊開源VeriLoop E2框架，把驗證權與生成模型解耦，讓每步推理都經外部獨立校驗，邁向可驗證智能。

自我驗證失效缺口

前沿大模型進入長鏈推理、工具調用、代碼修復與科研任務後，一個關鍵缺口隨之浮現：模型不斷生成與修改候選方案，但新狀態是否真的更可靠，不能只由模型自己說了算。