Invited Talk: Symbolic Reasoning About Machine Learning Systems (PADL 2020 : 22nd Symposium on Practical Aspects of Declarative Languages) - POPL 2020

Open in new window