Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Formal Theorem Proving on Metamath set.mm (val)

29.22Performance Score

GPT-f (160m)

20.837623.013825.1927.3662Sep 7, 2020
Updated 4d ago

Evaluation Results

MethodLinks
2020.09
29.22
2020.09
28.96
2020.09
21.16