On Provable Copyright Protection for Generative Models | Synapse