Automated Theorem Proving On Compcert
評価指標
Percentage correct
評価結果
このベンチマークにおける各モデルのパフォーマンス結果
比較表
| モデル名 | Percentage correct |
|---|---|
| generating-correctness-proofs-with-neural-1 | 19.36 |
| generating-correctness-proofs-with-neural-1 | 4.99 |
このベンチマークにおける各モデルのパフォーマンス結果
| モデル名 | Percentage correct |
|---|---|
| generating-correctness-proofs-with-neural-1 | 19.36 |
| generating-correctness-proofs-with-neural-1 | 4.99 |