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

Semantic Correctness Evaluation on M2F

73Faithfulness

NL vs. Lean

60.5263.766770.24Jun 12, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.06
7322574.7
2026.06
61132674.7