Agentic Synthesis against Counterexample-Supplemented Sketches | Digital Library | PAMCET | PAMCET