Repo

verifier-reach-is-spec-reach

Verifier Reach Is Spec Reach — paper + reproducible experiments: an LLM code-verifier can only catch defects the spec named.

Built withJavaScript

Comments · 0

No comments yet. Tried it? Tell David what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.