Automated Theorem Proving On Holstep
المقاييس
Classification Accuracy
النتائج
نتائج أداء النماذج المختلفة على هذا المعيار القياسي
جدول المقارنة
| اسم النموذج | Classification Accuracy |
|---|---|
| holstep-a-machine-learning-dataset-for-higher | 0.82 |
| premise-selection-for-theorem-proving-by-deep | 0.891 |
| improving-graph-neural-network | 0.916 |
| premise-selection-for-theorem-proving-by-deep | 0.903 |
| holstep-a-machine-learning-dataset-for-higher | 0.83 |