Autumn Toney-Wails

Clueing up LLMs with Tool-Augmented Deductive Reasoning

Despite recent advances in large language models (LLMs), performing logically consistent deductive reasoning over extended interactions remains challenging. Tasks that require integrating evidence across multiple reasoning steps, maintaining consistency with prior inferences, and updating beliefs under new constraints...