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

Autoformalization on ProverBench

95.38Success Count

Goedel-V2-Formalizer-32B

Updated 1mo ago

Evaluation Results

Method	Links
Goedel-V2-Formalizer-32B 2026.04		95.38	83.38
DSR 2026.04		95.38	84
Goedel-V2-Formalizer-8B 2026.04		94.77	82.15
Kimina-Autoformalizer-7B 2026.04		93.23	65.54
Qwen3-Max 2026.04		82.15	68.62
StepFun-Formalizer-32B 2026.04		78.77	66.77
StepFun-Formalizer-7B 2026.04		76.92	57.54