Weaver: Shrinking the Generation-Verification Gap by Scaling Compute for Verification | Read Paper on Bytez