@inproceedings{zhang-etal-2023-improved,
    title = "Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming",
    author = "Zhang, Hanlin  and
      Huang, Jiani  and
      Li, Ziyang  and
      Naik, Mayur  and
      Xing, Eric",
    editor = "Rogers, Anna  and
      Boyd-Graber, Jordan  and
      Okazaki, Naoaki",
    booktitle = "Findings of the Association for Computational Linguistics: ACL 2023",
    month = jul,
    year = "2023",
    address = "Toronto, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2023.findings-acl.191/",
    doi = "10.18653/v1/2023.findings-acl.191",
    pages = "3062--3077"
}