@misc{indiciae3aba4eedf454,
  title = {Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study},
  author = {Mattia Medina Grespan and Ashim Gupta and Vivek Srikumar},
  year = {2021},
  url = {https://arxiv.org/abs/2107.13646},
  note = {Source identifier: 2107.13646}
}