Coding papers are adding real execution checks and better handles on long-horizon work
April 20’s coding research is strongest where papers add harder contact with real execution. SolidCoder, OpenGame, and the OpenROAD verifier all reduce trust in surface-correct outputs by checking behavior in sandboxes…