LeanReasoner utilizes Lean framework to enhance logical reasoning capabilities of large language models, achieving state-of-the-art performance on complex reasoning tasks.