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 |