Automated Theorem Proving On Holist Benchmark
المقاييس
Percentage correct
النتائج
نتائج أداء النماذج المختلفة على هذا المعيار القياسي
جدول المقارنة
| اسم النموذج | Percentage correct |
|---|---|
| holist-an-environment-for-machine-learning-of | 32.65 |
| learning-to-reason-in-large-theories-without | 36.55 |
| holist-an-environment-for-machine-learning-of | 38.88 |
| graph-representations-for-higher-order-logic | 49.95 |