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.
各个模型在此基准测试上的表现结果
模型名称 | Percentage correct | Paper Title | Repository |
|---|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants | - |