Der Artikel stellt LLEMMA, ein großes Sprachmodell für Mathematik, vor. LLEMMA wurde durch fortgesetzte Vortrainierung des Code Llama-Modells auf Proof-Pile-2, einer Mischung aus wissenschaftlichen Artikeln, Webdaten mit mathematischen Inhalten und mathematischem Code, entwickelt.
LLEMMA übertrifft alle bekannten offenen Basismodelle sowie die unveröffentlichten Minerva-Modelle auf der MATH-Benchmark in Bezug auf mathematische Fähigkeiten. Darüber hinaus kann LLEMMA ohne weitere Feinabstimmung Werkzeugnutzung und formalen Theorembeweisen durchführen.
Die Autoren veröffentlichen alle Artefakte, einschließlich 7-Milliarden- und 34-Milliarden-Parameter-Modelle, Proof-Pile-2 und Code zur Replikation der Experimente.
На другой язык
из исходного контента
arxiv.org
Дополнительные вопросы