Automated Theorem Proving On Compcert
평가 지표
Percentage correct
평가 결과
이 벤치마크에서 각 모델의 성능 결과
모델 이름 | 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.