Automated Theorem Proving on CompCert
Metric: Percentage correct (higher is better)
LeaderboardDataset
Metric: Percentage correct (higher is better)
| # | Model↕ | Percentage correct▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | Proverbot9001 | 19.36 | No | - | - | Code |
| 2 | CoqGym/ASTactic | 4.99 | No | - | - | Code |