Interactive Proofs for Verifying Machine Learning

• Discussion about “Robustness, Verification, Privacy: Addressing Machine Learning Adversaries” presented in NeurIPS 2020.
• Presentation currently hosted on company github -> https://bakkenbaeck.github.io/ml-seminar/talks/2021-nips2020/3