Machine Learning, AI, Deep Learning, Ai Safety.
for the machine learning community to take on, as we collectively work towards rigorous development and deployment of machine learning systems that are reliably consistent with desired specifications: Testing consistency with specifications efficiently. We explore efficient ways to test that