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

Step-level Reasoning Verification on ProofNet

68.2PR-AUC

ReProbe, Hidden States, GPT-OSS-anno

5.82238.254.4Nov 9, 2025
Updated 1mo ago

Evaluation Results

MethodLinks
2025.11
68.2
2025.11
64.6
2025.11
56.8
2025.11
45.4
2025.11
28.9
2025.11
26.3
2025.11
24
2025.11
23.8
2025.11
18.8
2025.11
18.5
15.5
2025.11
14.9
2025.11
12.3
2025.11
10.9
2025.11
10.7
2025.11
10.5
2025.11
9.9
2025.11
9.3
2025.11
8.2