TY  - RPRT
TI  - Augmenting Neural Networks with First-order Logic
AU  - Tao Li
AU  - Vivek Srikumar
PY  - 2020
UR  - https://arxiv.org/abs/1906.06298
ID  - 1906.06298
ER  -