Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks.
Wenhu ChenXueguang MaXinyi WangWilliam W. CohenPublished in: CoRR (2022)
Keyphrases
- reasoning tasks
- logic programming
- description logics
- automated reasoning
- answer set programming
- temporal reasoning
- event calculus
- logical framework
- situation calculus
- reasoning problems
- abductive reasoning
- bucket elimination
- logic programs
- quantified boolean formulas
- probabilistic reasoning
- temporal constraints
- temporal information
- knowledge representation
- natural language
- artificial intelligence
- machine learning