Automated Theorem Proving On Coqgym
評価指標
Percentage correct
評価結果
このベンチマークにおける各モデルのパフォーマンス結果
比較表
| モデル名 | Percentage correct |
|---|---|
| learning-to-prove-theorems-via-interacting | 12.2 |
このベンチマークにおける各モデルのパフォーマンス結果
| モデル名 | Percentage correct |
|---|---|
| learning-to-prove-theorems-via-interacting | 12.2 |