SatLM: Satisfiability-Aided Language Models Using Declarative Prompting - Ye, Xi; Chen, Qiaochu; Dillig, Isil; Durrett, Greg (Advances in Neural Information Processing Systems, 2023)