Month: December 2022

[R] LAMBADA: Backward Chaining for Automated Reasoning in Natural Language – Google Research 2022 – Significantly outperforms Chain of Thought and Select Inference in terms of prediction accuracy and proof accuracy.

Paper: https://arxiv.org/abs/2212.13894 Abstract: Remarkable progress has been made on automated reasoning with knowledge specified as unstructured, natural text, by using the power of large language models (LMs) coupled with methods such as Chain-of-Thought prompting and Selection-Inference. These techniques search for proofs in the forward direction from axioms to the conclusion, which suffers from a combinatorial …