https://meet.google.com/tgv-vods-pdk 2020-06-12 12:30: Achieving Verified Robustness to Adversarial NLP Inputs (Johannes Welbl (UCL))