Agentic Synthesis against Counterexample-Supplemented Sketches
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
Record details
Published: 17 July 2026
Source: arXiv
Category: Research
Topics: Regulation · Agents & autonomy
Retrieved: 20 July 2026
Related evidence
These records share source-supplied organisations, an exact publisher byline, automatic topics or regions. The reason is shown on every link; related does not mean supporting, agreeing with or verifying this record.
AgentFAIR: A Multi-Agent Collaborative Framework for FAIRness Evaluation of Geospatial Datasets
arXiv · 17 July 2026
Making Agent-Mediated Contributions Governable: A Project-Level Governance Manifest for Open-Source AI Collaboration
arXiv · 17 July 2026
CLaC@FinMMEval 2026 Task 3: Sentiment-Augmented Deep Reinforcement Learning for Active Trading -- An Alpha-Reward Approach
arXiv cs.LG · 17 July 2026
When Does Muon Help Agentic Reinforcement Learning?
arXiv cs.AI · 17 July 2026
Traccia: An OpenTelemetry-Based Governance Platform for AI Systems
arXiv cs.CY · 17 July 2026
When Does Muon Help Agentic Reinforcement Learning?
HuggingFace Daily Papers · 16 July 2026
How to cite this record
ethics.ai (17 July 2026), “Agentic Synthesis against Counterexample-Supplemented Sketches,” evidence record 11767, https://ethics.ai/record/11767 (originally published by arXiv).
Use and limitations
This page is a stable index and citation surface for a source record. ethics.ai did not author the underlying report and has not independently verified every claim. Automatic topics may be imperfect. For consequential use, quote and cite the original publisher.