Machine Learning, AI, Deep Learning, Ai Safety.
ongoing research into adversarial evaluation, learning robust models, and verification of formal specifications. Much more work is needed to build automated tools for ensuring that AI systems in the real world will do the “right thing”. In particular, we are excited about progress in the following