Chen, Qiaochu

2 publications

NeurIPS 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett

NeurIPSW 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett