When Do Program-of-Thoughts Work for Reasoning?

Zhen Bi Ningyu Zhang Yinuo Jiang Shumin Deng Guozhou Zheng Huajun Chen

Published in: CoRR (2023)

Keyphrases

reasoning systems
knowledge base
program execution
computer programs
probabilistic logic
reasoning tasks
resource bounded
databases
analogical reasoning
formal models
fuzzy reasoning
automated reasoning
static analysis
spatial reasoning
test cases
logic programming
case based reasoning
search algorithm