Sort by
Refine Your Search
-
: Certified unlearning with formal guarantees — developing methods with provable erasure bounds, connecting to differential privacy and statistical divergence frameworks Robustness to adversarial relearning
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions