Google and Cambridge's VeriHarness uses the generating model to audit its own agent rollouts and adds about 6 points on long-horizon tasks · Polylog