Tsinghua's VeriLoop E2 Delegates Recursive Reasoning Commits to External Evidence

A Tsinghua SIGS team introduced VeriLoop E2 with the Verifiable-Gated Recursion method, which separates exploration from commitment in recursive test-time reasoning: the model proposes and revises candidates, while external verifiable evidence decides when to commit or roll back. The system was evaluated across 9 benchmarks.

2026-10-11 ~ 2026-10-12 · 2 related posts

• Tsinghua's VeriLoop-E2 splits exploration from commitment, with external evidence gating all state submissions — 量子位 · 2026-10-11
• Tsinghua's VeriLoop E2 commits recursive reasoning states only when externally verified — jiqizhixin · 2026-10-12