List your company
ResearchFormerly WizWand

Formal Theorem Proving on miniF2F (Success Rate)

66.31Proof Success RateSegment-level
52.155655.830359.50563.1797May 12, 2026
Updated 5mo ago

Evaluation results

MethodLinks
Segment-levelTraining data=NuminaMath-LEAN, Base Model=Qwen2.5-Math-7B2026.0566.31
Segment-levelTraining data=STP, Base Model=Qwen2.5-Math-7B2026.0564.84
Whole-proof-segTraining data=STP, Base Model=Qwen2.5-Math-7B2026.0563.52
Step-levelTraining data=STP, Base Model=Qwen2.5-Math-7B2026.0563.11
Step-levelTraining data=NuminaMath-LEAN, Base Model=Qwen2.5-Math-7B2026.0563.11
Whole-proofTraining data=STP, Base Model=Qwen2.5-Math-7B2026.0561.64
Segment-levelTraining data=LeanWorkbook, Base Model=Qwen2.5-Math-7B2026.0560.9
Step-levelTraining data=LeanWorkbook, Base Model=Qwen2.5-Math-7B2026.0559.02
Whole-proofTraining data=NuminaMath-LEAN, Base Model=Qwen2.5-Math-7B2026.0555.9
Whole-proofTraining data=LeanWorkbook, Base Model=Qwen2.5-Math-7B2026.0554.67
Whole-proof-segTraining data=LeanWorkbook, Base Model=Qwen2.5-Math-7B2026.0554.51
Whole-proof-segTraining data=NuminaMath-LEAN, Base Model=Qwen2.5-Math-7B2026.0552.7