The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...