TwinCheck: Evidence-Grounded Negative-Twin Verification for Stateful Tool Agents
TwinCheck is introduced, an inference-time verification policy that considers replacement only when the trace satisfies an evidence condition tied to a trace-local failure hypothesis, and recast execution-boundary repair as a constrained comparison, making the counterfactual action itself the object of verification.
Jia-Xuan Dai, Tian-Yi Huang
· 0 citations