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

Formal Theorem Proving on miniF2F Isabelle (val)

57Success Rate

LEGO-Prover*

-2.1770413.1862328.549543.91277Oct 21, 2022Dec 17, 2022Feb 13, 2023Apr 11, 2023Jun 8, 2023Aug 4, 2023Oct 1, 2023
Updated 4d ago

Evaluation Results

MethodLinks
2023.10
57
2023.10
55.3
2023.09
55.3
2023.09
54.9
2023.09
52.8
2023.10
52.4
2023.09
52
2023.10
50.4
2023.05
48
2023.10
48
2023.09
48
2023.05
47.5
2023.10
47.1
2023.05
44.3
2023.05
42.6
2023.10
42.6
2023.09
42.6
2023.09
42.6
2023.05
41.8
2023.05
37.3
2023.10
37.3
2023.09
37.3
2023.05
28.3
2023.10
28.3
2023.09
28.3
2023.05
18
2023.09
18
2023.05
9.9
2023.09
9.9
2022.10
0.439
2022.10
0.426
2022.10
0.426
2022.10
0.406
2022.10
0.406
2022.10
0.389
2022.10
0.377
2022.10
0.373
2022.10
0.328
2022.10
0.283
2022.10
0.18
2022.10
0.099