Kasrelou, S. (2025). Verifiability of Unlearning Schemes Through Local Explanation [Master's thesis, Polytechnique Montréal]. Available