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 |