Automated Theorem Proving On Coqgym
المقاييس
Percentage correct
النتائج
نتائج أداء النماذج المختلفة على هذا المعيار القياسي
اسم النموذج | Percentage correct | Paper Title | Repository |
|---|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |
0 of 1 row(s) selected.