Mathematics
ProofAug
ProofAug: cumulative theorem-proving results of deepseek-math-7b-base + ProofAug (mixed prompting strategy, <=2100 queries/problem, Isabelle) on the curated miniF2F-test — a full 244-problem binary solved/unsolved matrix (161 solved, 66.0%).
244items
1subjects
unknownlicense
mathematicsdomain
reasoningdomain
textmodality
item-level responses released
Saturation status: No
Response matrix
Loading response matrix…
Correct (1)Incorrect (0)Unobserved
Scale: 1 = correct · 0 = incorrect