Automated Reasoning - What is automated reasoning and tool use?

To automatically produce intermediate reasoning stages, a framework known as Automated Reasoning and Tool-use (ART) makes use of frozen LLMs. Whenever ART is given a new job, it retrieves instances of tool usage and multi-step reasoning from a library.