Verification of Neural Networks Local Differential Classification Privacy

no code implementations • 31 Oct 2023 • Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen

We propose Sphynx, an algorithm that computes an abstraction of all networks, with a high probability, from a small set of networks, and verifies LDCP directly on the abstract network.

Classification