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 |