TY - RPRT TI - LGML: Logic Guided Machine Learning AU - Joseph Scott AU - Maysum Panju AU - Vijay Ganesh PY - 2021 UR - https://arxiv.org/abs/2006.03626 ID - 2006.03626 ER -