Automated Theorem Proving On Minif2F 1
المقاييس
Pass@64
النتائج
نتائج أداء النماذج المختلفة على هذا المعيار القياسي
جدول المقارنة
| اسم النموذج | Pass@64 |
|---|---|
| hypertree-proof-search-for-neural-theorem | 32.1 |
| hypertree-proof-search-for-neural-theorem | 33.6 |
| hypertree-proof-search-for-neural-theorem | 30.6 |
| hypertree-proof-search-for-neural-theorem | 42.5 |