Trust, but Verify. - Michael J. Yuan; Carlos Lospoy; Sydney Lai; James Snewin; Ju Long (Computer, 2026)