[2405.12016] Conformalized Strategy-Proof Auctions