conftrace_

proof chain

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

backward chaining (1) logical inference (1) few-shot prompting (1) proof search (1) automated reasoning (1) logical reasoning (1)

Papers

LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023