Automated Theorem Proving On Metamath Setmm
المقاييس
Percentage correct
النتائج
نتائج أداء النماذج المختلفة على هذا المعيار القياسي
جدول المقارنة
| اسم النموذج | Percentage correct |
|---|---|
| generative-language-modeling-for-automated | 56.2 |
| hypertree-proof-search-for-neural-theorem | - |
| learning-to-prove-theorems-by-learning-to-1 | 22.1 |
| holophrasm-a-neural-automated-theorem-prover | 14.3 |