Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Formal Mathematics on Lean-Workbook 2,500-problem (test)

57.1PCR (%)

TRI (Full)

32.6639.00545.3551.695Jun 3, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.06
57.11,268
2026.06
55.41,267
2026.06
51.215,896
2026.06
49.71,534
2026.06
44.91,987
2026.06
43.129,472
2026.06
38.21,842
2026.06
37.49,561
2026.06
33.61,913