Kazemi, Mehran

LAMBADA: Backward Chaining for Automated Reasoning in Natural Language

2022 · arXiv (Cornell University)

Remarkable progress has been made on automated reasoning with natural text, by using Language Models (LMs) and methods such as Chain-of-Thought and Selection-Inference. These techniques search for proofs in the forward direction from axioms to …