Robust ML Models
Make models robust to perturbations.
Distributionally Robust
DRO. Uncertainty sets.
Adversarial Training
Min-max optimization. PGD attacks.
Formal Verification
Complete verification. Sound approximations.
Key Takeaways
- Distributionally robust optimization
- Adversarial training
- Formal verification