Faithful Reasoning Using Large Language Models

Demonstrates the effectiveness of the model on multi-step logical deduction and scientific QA and generates humanly interpretable reasoning traces whose validity can be checked by the user.

This research shows how large language models can be used for multi-step reasoning and how it can significantly improve performance on inherently multi-step problems. It also introduces a method for generating humanly interpretable reasoning traces that can be checked for validity by the user.