NaturalProofs-Datensatz Für Mathematisches Denken

Der NaturalProofs-Datensatz ist ein multidomänenbasiertes Korpus zum Studium mathematischer Argumentation in natürlicher Sprache. Es wurde 2021 von Forschern der University of Washington, des Allen Institute for Artificial Intelligence und der New York University veröffentlicht. Die entsprechenden Ergebnisse der Studie sind „NaturalProofs: Mathematische Theorembeweise in natürlicher Sprache".

Es enthält etwa 30.000 Theoremaussagen und Beweise, 15.000 Definitionen und 2.000 zusätzliche Seiten (z. B. Axiome, Korollare), die alle in natürlicher mathematischer Sprache geschrieben sind. Der NaturalProofs-Datensatz umfasst ein breites Spektrum an Daten aus ProofWiki, detaillierte Daten aus dem Stacks-Projekt und ressourcenarme Daten aus Mathematiklehrbüchern. NaturalProofs vereint diese Quellen unter einem gemeinsamen Schema und stellt sie als öffentliche Ressource zur Verfügung, um den Fortschritt bei Aufgaben der informellen Mathematik voranzutreiben. Dieser Datensatz stellt eine umfangreiche Ressource für das Studium des mathematischen Denkens dar und trägt zur Förderung der Entwicklung des mathematischen Denkens in den Bereichen der natürlichen Sprachverarbeitung und des maschinellen Lernens bei.