DeepXplore and new ideas for verifying ML systems

Very interesting idea. I think getting any guarantees from ML systems will be very hard as they are inherently probabilistic!