Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Theorem Proving on Metamath (test)
Loading...
65.6
Pass@8
Evariste
55.408
58.054
60.7
63.346
May 23, 2022
Pass@8
Pass@32
Updated 4d ago
Evaluation Results
Method
Method
Links
Pass@8
Pass@32
Evariste
training=online training
2022.05
65.6
72.4
Supervised
training=supervised
2022.05
55.8
61.2
Feedback
Search any
task
Search any
task
