Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Theorem Autoformalization on Herald-Proof
Loading...
6.57
Objects Score
Herald-Proof
6.2415
6.40575
6.57
6.73425
Apr 24, 2026
Objects Score
Formulae Score
FV (Formula Validity)
FQ (Formula Quality)
LP (Logical Soundness)
MC (Model Consistency)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Objects Score
Formulae Score
FV (Formula Validity)
FQ (Formula Quality)
LP (Logical Soundness)
MC (Model Consistency)
Herald-Proof
Size=44,553, Domain=Ma...
2026.04
6.57
6.42
2
73
94.5
94
Feedback
Search any
task
Search any
task
