Skywork-Math: Datenskalierungsgesetze für mathematisches Denken in großen Sprachmodellen -- Die Geschichte geht weiterSkywork-Math: Data Scaling Laws for Mathematical Reasoning in Large
Language Models -- The Story Goes On
In diesem Paper untersuchen wir die zugrunde liegenden Faktoren, die möglicherweise die mathematischen Schlussfolgerungsfähigkeiten großer Sprachmodelle (LLMs) verbessern. Wir argumentieren, dass das Skalierungsgesetz für mathematische Schlussfolgerungsfähigkeiten in modernen LLMs bei weitem noch nicht gesättigt ist und heben hervor, wie die Qualität des Modells mit zunehmender Datenmenge steigt. Um diese Behauptung zu unterstützen, stellen wir die Skywork-Math Modellreihe vor, die durch überwachtes Feintuning (SFT) an gängigen 7B LLMs unter Verwendung unseres vorgeschlagenen 2,5M-Instanzen Skywork-MathQA Datensatzes trainiert wurde. Skywork-Math 7B hat beeindruckende Genauigkeiten von 51,2% im Wettbewerbsniveau MATH Benchmark und 83,9% im GSM8K Benchmark nur mit SFT-Daten erreicht und übertrifft damit eine frühere Version von GPT-4 in Mathematik. Die überlegene Leistung der Skywork-Math Modelle trägt zu unseren neuartigen zweistufigen Datensynthese- und Modell-SFT-Pipelines bei, die drei verschiedene Augmentierungsmethoden und einen vielfältigen Satz von Ausgangsproblemen umfassen, um sowohl die Quantität als auch die Qualität des Skywork-MathQA Datensatzes über verschiedene Schwierigkeitsgrade hinweg sicherzustellen. Am wichtigsten ist, dass wir mehrere praktische Erkenntnisse liefern, um die mathematischen Schlussfolgerungsfähigkeiten in LLMs für Forschungs- und Industrieanwendungen zu verbessern.