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

Mathematical Reasoning on ProofWriter

0.5312Score

Muon

0.4982320.5067910.515350.523909May 26, 2026
Updated 7d ago

Evaluation Results

MethodLinks
2026.05
0.5312
2026.05
0.5169
2026.05
0.4995