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

Autoformalization on FLC (val)

0.64Cross-Entropy Loss

SFT No-Curriculum 2B

0.637960.651730.66550.67927Mar 25, 2026
Updated 23d ago

Evaluation Results

MethodLinks
2026.03
0.64
2026.03
0.68
2026.03
0.691