Mathematics
MathConstraint
Adaptive combinatorial-reasoning benchmark: constraint-satisfaction (CSP/SAT) decision problems with solver-verified SAT/UNSAT ground truth; 12 models evaluated with and without a sandboxed SAT/SMT solver.
504items
12subjects
cc-by-4.0license
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