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

Autoformalization on PRIME

80.13Success Count (SC)

DSR

46.132454.958763.78572.6113Apr 21, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.04
80.1367.95
2026.04
77.5666.67
2026.04
75.6460.26
2026.04
7548.08
2026.04
63.4656.41
2026.04
57.6950
2026.04
47.4442.31