A new ICML’19 paper on combining deep learning and logic accepted.