TY  - RPRT
TI  - SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
AU  - Xi Ye
AU  - Qiaochu Chen
AU  - Isil Dillig
AU  - Greg Durrett
PY  - 2023
UR  - https://arxiv.org/abs/2305.09656
ID  - 2305.09656
ER  -