Automated Theorem Proving On Compcert
Metrics
Percentage correct
Results
Performance results of various models on this benchmark
Comparison Table
| Model Name | Percentage correct |
|---|---|
| generating-correctness-proofs-with-neural-1 | 19.36 |
| generating-correctness-proofs-with-neural-1 | 4.99 |