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

Mathematical formalization on Gaokao-Formal 495 problems

84.2Correctness @1

Kimina-7B

17.32834.68952.0569.411Apr 15, 2026
Updated 3d ago

Evaluation Results

MethodLinks
2026.04
84.297.244.668.139.6
2026.04
84.195.249.871.134.3
2026.04
77.693.951.472.726.2
2026.04
76.492.948.670.727.8
2026.04
62.992.740.669.922.3
2026.04
61.892.34170.920.8
2026.04
50.969.328.140.222.8
2026.04
19.940.210.219.49.7