Formal Theorem Proving on Metamath set.mm (val)
29.22Performance ScoreGPT-f (160m)
Evaluation results
| Method | Links | |
|---|---|---|
| GPT-f (160m)Training Data=raw, # Tokens=18B2020.09 | 29.22 | |
| GPT-f (160m)Training Data=augmented, # Tokens=18B2020.09 | 28.96 | |
| MetaGen-IL# Tokens=N/A2020.09 | 21.16 |