Automated Theorem Proving On Compcert
المقاييس
Percentage correct
النتائج
نتائج أداء النماذج المختلفة على هذا المعيار القياسي
جدول المقارنة
| اسم النموذج | Percentage correct |
|---|---|
| generating-correctness-proofs-with-neural-1 | 19.36 |
| generating-correctness-proofs-with-neural-1 | 4.99 |