Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Theorem Autoformalization on Herald-Statement
Loading...
4.92
Objects Count
Herald-Statement
4.674
4.797
4.92
5.043
Apr 24, 2026
Objects Count
Formulae Count
FV (Formula Validity)
FQ (Formula Quality)
LP (Logical Soundness)
MC (Model Consistency)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Objects Count
Formulae Count
FV (Formula Validity)
FQ (Formula Quality)
LP (Logical Soundness)
MC (Model Consistency)
Herald-Statement
Size=579,883, Domain=M...
2026.04
4.92
4.8
80.5
63.5
87
87
Feedback
Search any
task
Search any
task
