@misc{zhang2023improved,
  title={Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming},
  author={Hanlin Zhang and Jiani Huang and Ziyang Li and Mayur Naik and Eric Xing},
  year={2023},
  eprint={2305.03742},
  archivePrefix={arXiv},
  primaryClass={cs.AI},
  url={https://arxiv.org/abs/2305.03742}
}