Tools for Verifying Neural Models extquotesingle Training Data - Choi, Dami; Shavit, Yonadav; Duvenaud, David K (Advances in Neural Information Processing Systems, 2023)