LEAP：智能体框架提升LLM形式数学能力

LEAP是一个新型智能体框架，旨在提升大型语言模型在形式数学领域的应用能力。该框架通过多智能体协作和结构化推理，解决了LLM在数学证明和定理推导中的准确性和可解释性问题。实验表明，LEAP在多个形式数学基准上显著优于现有方法，为AI辅助数学研究提供了新思路。这项工作对推动AI在科学计算和数学教育中的应用具有重要价值。