Department of Computer Science, The University of Texas at Austin
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Reasoning;Chain-of-thought;Logical Reasoning;Arithmetic Reasoning;Prompting;In-Context Learning;Large Language Model
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting