Automated Theorem Proving On Compcert
评估指标
Percentage correct
评测结果
各个模型在此基准测试上的表现结果
| Paper Title | Repository | ||
|---|---|---|---|
| Proverbot9001 | 19.36 | Generating Correctness Proofs with Neural Networks | - |
| CoqGym/ASTactic | 4.99 | Generating Correctness Proofs with Neural Networks | - |
0 of 2 row(s) selected.