DACS searches over critique axes: each axis is a reusable hypothesis about how to revise the current artifact, then executable feedback decides whether the child is useful.
DACS-v2 keeps critique axes, but adds solution-family hypotheses for sparse zero-score settings. A family is a higher-level algorithmic approach; a typed strategy makes that family concrete with invariants, I/O contract, steps, checks, and failure modes.
AdaEvolve is included as an external SkyDiscover baseline score row when available. It does not expose DACS-style critique axes or typed strategy traces in this view.
Score By Problem
Problem Overview
Use this to choose examples for slides or a discussion. Rows are problem-method runs.