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

Theorem Proving on LCI (test)

34Success Rate

WZ-LLM

Updated 27d ago

Evaluation Results

Method	Links
WZ-LLM 2026.05		34
WZ-Sketch + WZ-Prover 2026.05		29
Gemini-3.1-Pro-Preview 2026.05		16
WZ-Prover 2026.05		12
Goedel-Prover-V2 2026.05		9
WZ-Sketch + Goedel-Prover-V2 2026.05		9
Kimina-Prover-Distill 2026.05		6
DeepSeek-Prover-V2 2026.05		6
WZ-uncovered 2026.05		5
MA-LoT 2026.05		3
InternLM-2.5-StepProver 2026.05		2
DeepSeek-V3 2026.05		1