Efficient Public Verification of Private ML via Regularization. - Zoë Ruha Bell; Anvith Thudi; Olive Franzese-McLaughlin; Nicolas Papernot; Shafi Goldwasser (CoRR, 2025)