GitHub repository: xiye17/SAT-LM
Primary language: Python
Description: SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)