Automated Theorem Proving on CoqGym
Metric: Percentage correct (higher is better)
LeaderboardDataset
Loading chart...
Results
Submit a result| # | Model↕ | Percentage correct▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | ASTactic | 12.2 | No | Learning to Prove Theorems via Interacting with ... | 2019-05-21 | Code |