29th 05:32 pm Thoughts on "Adversarial examples in the physical world" 30th 05:30 pm Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"