Math-Graph هي مجموعة بيانات لرسوم بيانية لتبعية النظريات الرياضية، صدرت عام 2026 من مختبر الذكاء الاصطناعي الرياضي بجامعة واشنطن. وهي تُنشئ رسمًا بيانيًا دقيقًا لتبعية النظريات الرياضية على مستوى العبارات. تتضمن الأبحاث ذات الصلة... مخطط النظرية: الربط بين الرياضيات الرسمية وغير الرسمية . تحتوي هذه المجموعة من البيانات على 47,952 زوجًا من العبارات الرياضية الرسمية وغير الرسمية، حيث تدمج هذين النوعين من المعرفة الرياضية في رسم بياني متماسك للتبعية يغطي الرياضيات الرسمية وغير الرسمية. وتشمل هذه المجموعة بيانات وصفية للأوراق البحثية، وعبارات رياضية (رسمية/غير رسمية)، وحواف التبعية، ووصفًا باللغة الطبيعية مُولّدًا بواسطة نموذج اللغة الطبيعية.

تكوين مجموعة البيانات:

• الرسم البياني غير الرسمي (arXiv): يحتوي على 11.7 مليون عقدة بيان و 18.3 مليون حافة تبعية، ويدعم طرق استخراج التبعية المختلفة: القواعد الحتمية، والأساليب الاستدلالية، والاستدلال الرمزي، و LLM، وما إلى ذلك.
• الرسم البياني الرسمي (LeanGraph): يحتوي على 388000 عقدة إعلان Lean 4 و 11.3 مليون حافة تبعية مكتوبة، تغطي 25 مشروعًا بما في ذلك Mathlib.

حقول البيانات:

• paper_arxiv.csv: بيانات وصفية لأوراق arXiv، بما في ذلك المعرف والعنوان والمؤلف والفئة والترخيص والرابط وما إلى ذلك.
• paper_lean_community.csv / paper_lean_repo.csv: بيانات تعريف مشروع Lean، بما في ذلك المعرف والعنوان والمؤلف والفئة والترخيص والرابط وما إلى ذلك.
• statement_informal.csv / statement_formal.csv: محتوى البيان/الإعلان، والنوع، والموقع، والسياق، وحقول بوابة الترخيص.
• ملف التبعية غير الرسمية (formal_dependency.csv) / ملف التبعية الرسمية (formal_dependency.csv): التبعيات الموجهة بين العبارات وطرق الاستخراج والأنواع ومواقع المراجع.
• ملف logon.csv: يسجل شعار اللغة الطبيعية، ونسخة كلمة التوجيه، وتكوين النموذج، واستهلاك الرموز لكل عبارة.

الاستشهاد

@misc{kurgan2026theoremgraph,
title         = {TheoremGraph: Bridging Formal and Informal Mathematics},
author        = {Kurgan, Simon and Wang, Evan and Leonen, Eric and Szeto, Sophie and
Alexander, Luke and Remizov, Artemii and Alper, Jarod and
Inchiostro, Giovanni and Ilin, Vasily},
year          = {2026},
eprint        = {2606.25363},
archivePrefix = {arXiv},
primaryClass  = {cs.IR},
url           = {https://arxiv.org/abs/2606.25363}
}