Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Semantic Correctness Evaluation on OpenMath
Loading...
54
Faithfulness
NL vs. Lean
45.68
47.84
50
52.16
Jun 12, 2026
Faithfulness
Claim Strength
Difference Score
Overall Agreement
Updated 1mo ago
Evaluation Results
Method
Method
Links
Faithfulness
Claim Strength
Difference Score
Overall Agreement
NL vs. Lean
Evaluation Protocol=di...
2026.06
54
4
42
72.6
NL vs. NLb
Evaluation Protocol=ro...
2026.06
46
14
40
72.6
Feedback
Search any
task
Search any
task
