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

Auto-formalization on MiniF2F (test)

100Pass@8

LongCat-Flash-Prover

Updated 26d ago

Evaluation Results

Method	Links
LongCat-Flash-Prover 2026.03		100
LongCat-Flash-Prover 2026.03		99.2
Kimi-K2.5 2026.03		98.4
Goedel-V2-Formalizer-8B 2026.03		98.4
Goedel-V2-Formalizer-32B 2026.03		98.4
Claude-Opus-4.5 2026.03		98
ATF-32B 2026.03		98
DeepSeek-V3.2 2026.03		97.5
Gemini-3 Pro 2026.03		97.5
StepFun-Formalizer-7B 2026.03		96.7
StepFun-Formalizer-32B 2026.03		95.9
ATF-8B-Distilled 2026.03		95.1
Kimina-Autoformalizer-7B 2026.03		92.2