性能领先其他数学语言模型

要点:1.LLEMMA是一个开源的大型语言模型，专门设计用于解决数学问题，并且在性能上超越了其他领先的数学语言模型。2.LLEMMA能够利用工具和证明形式定理来解决数学问题，而无需进行额外的微调。3.LLEMMA的发布为其他研究人员提供了一个基础，可以在此基础上进一步研究和改进数学语言模型的能力。