@misc{indiciae53b141cabaea,
  title = {Augmenting Neural Networks with First-order Logic},
  author = {Tao Li and Vivek Srikumar},
  year = {2020},
  url = {https://arxiv.org/abs/1906.06298},
  note = {Source identifier: 1906.06298}
}