@misc{indiciae9ae90a563922,
  title = {Injecting Logical Constraints into Neural Networks via Straight-Through Estimators},
  author = {Zhun Yang and Joohyung Lee and Chiyoun Park},
  year = {2023},
  url = {https://arxiv.org/abs/2307.04347},
  note = {Source identifier: 2307.04347}
}