Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework
Published in Preprint, 2024
This paper is about integrating a decompose-search-resolve framework based on symbolic logic to improve the reasoning chain using LLM