Trust, but verify. - Michael J. Yuan; Carlos Campoy; Sydney Lai; James Snewin; Ju Long (CoRR, 2025)