Automated Theorem Proving On Compcert
Metriken
Percentage correct
Ergebnisse
Leistungsergebnisse verschiedener Modelle zu diesem Benchmark
Vergleichstabelle
| Modellname | Percentage correct |
|---|---|
| generating-correctness-proofs-with-neural-1 | 19.36 |
| generating-correctness-proofs-with-neural-1 | 4.99 |