// Modelle & Forschung 2 Min. Lesezeit
InfinityMATH Ein neuer Ansatz im programmatischen mathematischen Räsonieren
Mindverse News
KI-gestützt erstellt 7 Quellen Arbeitsweise
// Inhalt · 7 Abschnitte
InfinityMATH: Ein Skalierbarer Datensatz für Programmatic Mathematical Reasoning
Einführung und Hintergrund
In der Welt der Künstlichen Intelligenz (KI) und des maschinellen Lernens (ML) hat die Mathematik stets eine zentrale Rolle gespielt. Die Fähigkeit von Sprachmodellen, mathematische Probleme zu lösen, ist jedoch oft unzureichend geblieben. Neuere Fortschritte in den Methoden der "Chain-of-Thought" (CoT) und "Program-of-Thought" (PoT) haben die mathematischen Fähigkeiten von Sprachmodellen erheblich verbessert, was ihre Integration in Instruction Tuning Datensätze mit großen Sprachmodellen (LLMs) erleichtert. Dennoch erfordern bestehende Methoden zur Erstellung groß angelegter Datensätze erhebliche Seed-Daten und hohe Rechenkosten für die Datensynthese, was die Skalierbarkeit stark einschränkt.Was ist InfinityMATH?
InfinityMATH ist ein skalierbarer Instruction Tuning Datensatz für programmatic mathematical reasoning. Die Konstruktion dieses Datensatzes betont die Entkopplung von Zahlen von mathematischen Problemen, um nummernunabhängige Programme zu synthetisieren. Dies ermöglicht eine effiziente und flexible Skalierung bei gleichzeitiger Minimierung der Abhängigkeit von spezifischen numerischen Werten.Die Konstruktion von InfinityMATH
Die Bauweise von InfinityMATH beinhaltet mehrere innovative Schritte: - **Entkopplung von Zahlen von mathematischen Problemen:** Dies ermöglicht die Erstellung nummernunabhängiger Programme. - **Effiziente Skalierung:** Durch die Entkopplung wird die Abhängigkeit von spezifischen numerischen Werten minimiert, was eine flexiblere und effizientere Skalierung ermöglicht. - **Feinabstimmungs-Experimente:** Diese wurden mit Open-Source-Sprach- und Codemodellen wie Llama2 und CodeLlama durchgeführt. Die Ergebnisse zeigten signifikante relative Verbesserungen der Modelle in Bezug auf in-domain und out-of-domain Benchmarks, die von 184,7% bis 514,3% reichten.Praktische Vorteile von InfinityMATH
Die Feinabstimmungsexperimente mit InfinityMATH zeigten, dass die feinabgestimmten Modelle erhebliche relative Verbesserungen sowohl bei in-domain als auch bei out-of-domain Benchmarks erreichten. Zudem zeigten diese Modelle eine hohe Robustheit bei den Benchmarks GSM8K+ und MATH+, die erweiterte Versionen von Testsets mit einfachen Zahlenvariationen sind. InfinityMATH stellt sicher, dass Modelle vielseitiger und effektiver bei einer breiteren Palette von mathematischen Problemen sind.Vergleich zu anderen Datensätzen
Andere Datensätze wie MathScale und OpenMathInstruct-1 haben ebenfalls bedeutende Fortschritte in der mathematischen Leistungsfähigkeit von KI-Modellen gezeigt. MathScale nutzt eine einfache und skalierbare Methode zur Erstellung hochwertiger mathematischer Argumentationsdaten mithilfe fortschrittlicher Sprachmodelle. OpenMathInstruct-1 hingegen umfasst 1,8 Millionen Problem-Lösungs-Paare, die synthetisch generiert wurden, um die mathematischen Fähigkeiten offener Sprachmodelle zu verbessern. Beide Datensätze haben gezeigt, dass synthetisch generierte Datensätze für das Training von LLMs immense Vorteile bieten.Fazit
InfinityMATH stellt einen bedeutenden Fortschritt in der Entwicklung skalierbarer Instruction Tuning Datensätze für programmatic mathematical reasoning dar. Durch die effiziente und flexible Skalierung, die Entkopplung von Zahlen und die Durchführung umfassender Feinabstimmungsexperimente bietet InfinityMATH eine wertvolle Ressource für die Weiterentwicklung mathematischer Fähigkeiten von Sprachmodellen. Dies zeigt das immense Potenzial synthetisch generierter Datensätze für das Training und die Verbesserung von LLMs in verschiedenen Anwendungsbereichen.Bibliographie
- https://arxiv.org/abs/2403.02884
- https://arxiv.org/pdf/2403.02884
- https://huggingface.co/papers/2403.02884
- https://www.reddit.com/r/MachineLearning/comments/1bc0zpo/r_mathscale_scaling_instruction_tuning_for/
- https://www.semanticscholar.org/paper/3352782f94354d3f3a170f497dd1888e9cd39d8a
- https://huggingface.co/papers/2402.10176
- https://www.linkedin.com/posts/igor-a-gitman_papers-with-code-openmathinstruct-1-a-activity-7164394325970284544-6Bpn
//Nächster Artikel
Open Source
Direkteinreichung von Fachpublikationen: Workflows auf Hugging Face und regulatorische Vorgaben im Open-Access-VerlagswesenAnalyse der Einreichungsprozesse für Forschungsarbeiten über Hugging Face Daily Papers sowie der KI- und Lizenzvorgaben im Open-Access-Verlagswesen.

// Artikel teilen
// Dranbleiben
Mindverse News folgen
Neue Meldungen erhalten Sie über unseren RSS-Feed oder auf LinkedIn.
Passend dazu in Mindverse Studio
- KI-Chat mit allen führenden ModellenGPT, Claude und Gemini in einer Oberfläche — mit Websuche und Quellenangaben.
- Firmenwissen als KI-WissensdatenbankDokumente und Daten durchsuchbar machen — semantisch, mit Quellenangabe.
- Eigene Modelle und Assistenten trainierenBilden Sie einen digitalen Marken-Experten auf Ihrem Wissen aus.
Recherchieren Sie KI-News wie diese selbst — mit Mindverse Studio.
7 Tage kostenlos testen — ohne Kreditkarte, mit 200 Credits. Für Fragen zur Umsetzung buchen Sie eine persönliche Demo.
//Chronik
Aus dem Archiv · rund um den 15. August 2024
← Davor erschienen
Danach erschienen →