Towards Probabilistic Verification of Machine Unlearning.
David Marco SommerLiwei SongSameer WaghPrateek MittalPublished in: CoRR (2020)
Keyphrases
- model checking
- case study
- generative model
- face verification
- bayesian networks
- uncertain data
- image segmentation
- flowshop
- search algorithm
- special case
- batch processing
- parallel machines
- temporal logic
- data driven
- probability distribution
- real time
- expert systems
- multi agent
- similarity measure
- artificial intelligence
- data sets