provable guarantees
- A Reliable Cryptographic Framework for Empirical Machine Unlearning Evaluation
- Nearly-Linear Time and Massively Parallel Algorithms for $k$-anonymity
- SPiDR: A Simple Approach for Zero-Shot Safety in Sim-to-Real Transfer
- Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks