Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Theorem Proving on ProofNet (val)

25.4Accuracy

DeepSeek-Prover-V1.5-RL + RMaxTS

8.385612.802817.2221.6372Aug 15, 2024Sep 26, 2024Nov 8, 2024Dec 20, 2024Feb 1, 2025Mar 15, 2025Apr 27, 2025
Updated 4d ago

Evaluation Results

MethodLinks
2024.08
25.4---
2024.08
23.8---
2024.08
22.2---
2024.08
21.6---
2025.04
11.8610.518.75
2024.08
10.8---
2025.04
10.73---
2025.04
10.7310.512.5
2025.04
10.172--
2025.04
9.04---
2025.04
9.042--