4 ms·DeepXplore and new ideas for verifying ML systems4 points by yoav_hollander 9y agoanoncowrd 9y agoVery interesting idea. I think getting any guarantees from ML systems will be very hard as they are inherently probabilistic!