Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Theorem Proving on Metamath set.mm (val)
Loading...
29.22
Performance Score
GPT-f (160m)
20.8376
23.0138
25.19
27.3662
Sep 7, 2020
Performance Score
Updated 1mo ago
Evaluation Results
Method
Method
Links
Performance Score
GPT-f (160m)
Training Data=raw, # T...
2020.09
29.22
GPT-f (160m)
Training Data=augmente...
2020.09
28.96
MetaGen-IL
# Tokens=N/A
2020.09
21.16
Feedback
Search any
task
Search any
task
