Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Theorem Autoformalization on ProofNet
Loading...
3.67
Objects
ProofNet
3.4865
3.57825
3.67
3.76175
Apr 24, 2026
Objects
Formulae
FV (Formula Validity)
FQ (Formula Quality)
LP (Logical Soundness)
MC (Model Consistency)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Objects
Formulae
FV (Formula Validity)
FQ (Formula Quality)
LP (Logical Soundness)
MC (Model Consistency)
ProofNet
Size=371, Domain=Under...
2026.04
3.67
3.62
95.5
61.5
77.5
77.5
Feedback
Search any
task
Search any
task
