TY - RPRT TI - A Logic-Driven Framework for Consistency of Neural Models AU - Tao Li AU - Vivek Gupta AU - Maitrey Mehta AU - Vivek Srikumar PY - 2019 UR - https://arxiv.org/abs/1909.00126 ID - 1909.00126 ER -