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