Verifier-first executable search for computational modeling
Run verified search to evaluate AI‑generated solutions