Pinned Loading

1. NPAQ NPAQ Public

   Neural Property Approximate Quantifier

   Python 8 1

2. provero provero Public

   Sampling-based Scalable Quantitative Verification for DNNs

   Python 4 1

3. qr-linux-kernel qr-linux-kernel Public

   Library for QR encoding for OPW

   C 7 2

4. etio etio Public

   Causal Reasoning for Membership Inference Attacks

   Python 10 2

5. unforgeability-SGD unforgeability-SGD Public

   Unforgeability tests for Stochastic Gradient Descent

   Python 1