Scott, Panju, Ganesh, 2021. LGML: Logic Guided Machine Learning.