Automated Theorem Proving On Coqgym
评估指标
Percentage correct
评测结果
各个模型在此基准测试上的表现结果
| Paper Title | Repository | ||
|---|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |
0 of 1 row(s) selected.
各个模型在此基准测试上的表现结果
| Paper Title | Repository | ||
|---|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |