2023
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
NeurIPS 2023poster
Prior work has combined chain-of-thought prompting in large language models (LLMs) with programmatic representations to perform effective and transparent reasoning. While such an approach works well for tasks that only require forward reasoning (e.g., straightforward arithmetic), it is less effectiv…