مجموعة بيانات الاستدلال الرياضي NaturalProofs

مجموعة بيانات NaturalProofs عبارة عن مجموعة بيانات متعددة المجالات لدراسة التفكير الرياضي في اللغة الطبيعية. تم إصداره في عام 2021 من قبل باحثين من جامعة واشنطن ومعهد ألين للذكاء الاصطناعي وجامعة نيويورك. "نتائج الورقة ذات الصلة هي ""NaturalProofs: إثبات النظريات الرياضية باللغة الطبيعية".

يحتوي الكتاب على حوالي 30 ألف بيان ومبرهنة نظرية، و15 ألف تعريف، و2 ألف صفحة إضافية (على سبيل المثال، البديهيات، والنتائج المترتبة عليها)، وكلها مكتوبة بلغة رياضية طبيعية. تغطي مجموعة بيانات NaturalProofs مجموعة واسعة من البيانات من ProofWiki، والبيانات التفصيلية من مشروع Stacks، والبيانات ذات الموارد المنخفضة من كتب الرياضيات المدرسية. يقوم NaturalProofs بتوحيد هذه المصادر تحت مخطط مشترك وجعلها متاحة كمورد عام لتعزيز التقدم في المهام التي تنطوي على الرياضيات غير الرسمية. توفر مجموعة البيانات هذه موردًا غنيًا لدراسة التفكير الرياضي وتساعد في تعزيز تطوير التفكير الرياضي في مجالات معالجة اللغة الطبيعية والتعلم الآلي.