Automated Theorem Proving On Compcert
Métriques
Percentage correct
Résultats
Résultats de performance de divers modèles sur ce benchmark
Tableau comparatif
| Nom du modèle | Percentage correct |
|---|---|
| generating-correctness-proofs-with-neural-1 | 19.36 |
| generating-correctness-proofs-with-neural-1 | 4.99 |