@article{injectinglogicalconstraintsintoneural,
  title = {Injecting Logical Constraints into Neural Networks via Straight-Through Estimators},
  author = {Zhun Yang and Joohyung Lee and Chiyoun Park},
  year = {2023},
  eprint = {2307.04347},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2307.04347v1},
}