ResearchBenchmarksTheorem Proving on Manually collected datasetTheorem Proving on Manually collected datasetFollow41.5Pass RateDREAM11.02818.93926.8534.761Jun 20, 2025Evaluation resultsMethodMethodLinksPass RateDREAMModel=Claude 3.5Model=Claude 3.52025.0641.5RepeatedModel=Claude 3.5Model=Claude 3.52025.0632.5SubgoalModel=Claude 3.5Model=Claude 3.52025.0627.6SubgoalModel=DeepSeek-Prover-...Model=DeepSeek-Prover-V2-7B2025.0622.8DREAMModel=DeepSeek-Prover-...Model=DeepSeek-Prover-V2-7B2025.0621.1RepeatedModel=DeepSeek-Prover-...Model=DeepSeek-Prover-V2-7B2025.0612.2