Verifier-first executable search for computational modeling
Run verified search to evaluate AI‑generated solutions
A verifier-first runtime for independently verifying, compar