List your company
ResearchFormerly WizWand

Theorem Proving on ProofNet (all)

25.3AccuracyDeepSeek-Prover-V1.5-RL + RMaxTS
12.71615.98319.2522.517Aug 15, 2024
Updated 8mo ago

Evaluation results

MethodLinks
DeepSeek-Prover-V1.5-RL + RMaxTSSample budget=4 x 64002024.0825.3
DeepSeek-Prover-V1.5-SFT + RMaxTSSample budget=4 x 64002024.0824.8
DeepSeek-Prover-V1.5-SFTSample budget=4 x 64002024.0822.9
DeepSeek-Prover-V1.5-RLSample budget=4 x 64002024.0822.6
InternLM2-StepProverSample budget=1 x 32 x 1002024.0818.1
ReProver2024.0813.8
DeepSeek-Prover-V1.5-BaseSample budget=32002024.0813.2