@misc{indiciaed0e5f3b824ef,
  title = {SatLM: Satisfiability-Aided Language Models Using Declarative Prompting},
  author = {Xi Ye and Qiaochu Chen and Isil Dillig and Greg Durrett},
  year = {2023},
  url = {https://arxiv.org/abs/2305.09656},
  note = {Source identifier: 2305.09656}
}