Roflimjonny's picture
Add held-out eval + honest Clark-vs-heuristic comparison + CP-SAT bound
52ecbed verified