Machine Learning, AI, Deep Learning, Ai Safety.
positive, we need to tackle many technical challenges. We are committed to taking part in this effort and are excited to work with the community on solving these challenges. This post describes the work of the Robust and Verified Deep Learning group (Pushmeet Kohli, DJ Krishnamurthy, Jonathan