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

Mathematical Formalization on PutnamBench 672 problems

63C@1

Mathesis-7B

9.23223.19137.1551.109Apr 15, 2026
Updated 3d ago

Evaluation Results

MethodLinks
2026.04
6388.84369.320
2026.04
53.585.736.865.316.7
2026.04
47.978.123.64324.3
2026.04
46.471.922.938.823.5
2026.04
36.160.111.919.224.2
2026.04
29.165.314.734.814.4
2026.04
28.565.614.334.214.2
2026.04
11.329.33.37.78