LAMBADA: Backward Chaining for Automated Reasoning in Natural Language

Open in new window