Using Lean framework improves logical reasoning in large language models by formalizing problems and enhancing performance.