{
  "id": 11767,
  "url": "https://arxiv.org/abs/2607.15854v1",
  "title": "Agentic Synthesis against Counterexample-Supplemented Sketches",
  "summary": "Coding agents can fix a failing example without preserving the domain rule that made it fail, so later generations can repeat the same plausible mistake. We present agentic synthesis against counterexample-supplemented sketches, a repository-native method for systems whose governing policy is discovered during implementation. A human starts with a partial, code-shaped sketch, and a coding agent generates the first implementation. When a concrete failure exposes missing or mistaken policy, an ope",
  "authors": "Muness Castle, Eric Rubeck",
  "category": "research",
  "topics": "regulation,agents-autonomy",
  "orgs": null,
  "regions": null,
  "published_at": "2026-07-17T11:11:13.000Z",
  "fetched_at": "2026-07-20T05:10:09.534Z",
  "source_slug": "arxiv-ethics",
  "source_name": "arXiv",
  "source_homepage": "https://arxiv.org",
  "ethics_ai_record_url": "https://ethics.ai/record/11767",
  "original_url": "https://arxiv.org/abs/2607.15854v1",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}