Paper Citation Record · LEDGER

Agentic Synthesis against Counterexample-Supplemented Sketches

As of 9 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2607.15854.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.15854 v2

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T04:18:29.830125Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

23 of 23 outbound references displayed

verified exact0
verified fuzzy0
unresolved23
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ee8c90d5-249c-471e-97cb-fdfb08ec5f17 · outbound

This paper cites Manning Publications, 2011.

Agentic Synthesis against Counterexample-Supplemented Sketches Manning Publications, 2011

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:26.777560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45157962-7a52-4518-a0b2-97d66d7f2c25 · outbound

This paper cites Double loop learning in organizations.Harvard Business Review, 55(5):115–125, 1977.

Agentic Synthesis against Counterexample-Supplemented Sketches Double loop learning in organizations.Harvard Business Review, 55(5):115–125, 1977

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:26.937586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fe8c9be-a820-4ba8-8b7a-3e37518dde7f · outbound

This paper cites Natural language-oriented programming (NLOP): Towards democratizing software creation.

Agentic Synthesis against Counterexample-Supplemented Sketches Natural language-oriented programming (NLOP): Towards democratizing software creation

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:27.135471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26eec910-b0f6-4683-b9b6-83920f4d14f2 · outbound

This paper cites Zhang, and Yang Liu.

Agentic Synthesis against Counterexample-Supplemented Sketches Zhang, and Yang Liu

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:27.287254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16f93727-d632-4f03-840b-dfbdf1749798 · outbound

This paper cites Tests as prompt: A test-driven-development benchmark for llm code generation, 2025.

Agentic Synthesis against Counterexample-Supplemented Sketches Tests as prompt: A test-driven-development benchmark for llm code generation, 2025

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:27.472749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd113e3c-02c4-4274-9564-ce700a359c81 · outbound

This paper cites Github copilot workspace: Welcome to the copilot-native developer environment.

Agentic Synthesis against Counterexample-Supplemented Sketches Github copilot workspace: Welcome to the copilot-native developer environment

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:27.585256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22be3472-5cdf-4cfb-9656-aa3abc6bc764 · outbound

This paper cites What is spec-driven development? GitHub Spec Kit Documentation, 2026.

Agentic Synthesis against Counterexample-Supplemented Sketches What is spec-driven development? GitHub Spec Kit Documentation, 2026

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:27.754746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad4b67f9-a7f8-486d-8545-d581eff16b67 · outbound

This paper cites Program synthesis.Foundations and Trends in Programming Languages, 4(1–2):1–119, 2017.

Agentic Synthesis against Counterexample-Supplemented Sketches Program synthesis.Foundations and Trends in Programming Languages, 4(1–2):1–119, 2017

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:27.876703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6c67199-c610-4293-971d-b2eef01514e8 · outbound

This paper cites Seshia, and Ashish Tiwari.

Agentic Synthesis against Counterexample-Supplemented Sketches Seshia, and Ashish Tiwari

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.048510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f36e9986-e0ec-484a-a964-d3a576b5635c · outbound

This paper cites Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R.

Agentic Synthesis against Counterexample-Supplemented Sketches Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.175999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc3174b7-5585-490c-a672-cd54d0c4bffc · outbound

This paper cites an unresolved cited work.

Agentic Synthesis against Counterexample-Supplemented Sketches Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.372741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0f87d61-aae0-4181-8204-614d6e04aff6 · outbound

This paper cites Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing.ACM Computing Surveys, 55(9):1–35, 2023.

Agentic Synthesis against Counterexample-Supplemented Sketches Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing.ACM Computing Surveys, 55(9):1–35, 2023

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.490155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6da07dd-fce2-4ac2-a023-80c6f39fcc4c · outbound

This paper cites Flashmeta: A framework for inductive program synthesis.

Agentic Synthesis against Counterexample-Supplemented Sketches Flashmeta: A framework for inductive program synthesis

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.582653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 125c0fab-9e05-42cf-aebb-faed5416f2b2 · outbound

This paper cites Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm.

Agentic Synthesis against Counterexample-Supplemented Sketches Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.694004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52e6d905-9856-4b85-b72b-d84735045d5f · outbound

This paper cites PhD thesis, EECS Department, University of California, Berkeley, December 2008.

Agentic Synthesis against Counterexample-Supplemented Sketches PhD thesis, EECS Department, University of California, Berkeley, December 2008

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.835464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 870dc9a7-fd83-45d6-8cad-e140d470cfab · outbound

This paper cites Program sketching.International Journal on Software Tools for Technology Transfer, 15(5–6):475–495, 2013.

Agentic Synthesis against Counterexample-Supplemented Sketches Program sketching.International Journal on Software Tools for Technology Transfer, 15(5–6):475–495, 2013

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:28.941628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 789f43f1-3e82-4499-b637-ea3dd533ad98 · outbound

This paper cites Seshia, and Vijay A.

Agentic Synthesis against Counterexample-Supplemented Sketches Seshia, and Vijay A

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:29.058859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bc2f985-784b-4215-8307-ad3c8912312f · outbound

This paper cites Introducing kiro.

Agentic Synthesis against Counterexample-Supplemented Sketches Introducing kiro

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:29.138627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46ea9718-6d59-4812-802b-9832434e95dc · outbound

This paper cites an unresolved cited work.

Agentic Synthesis against Counterexample-Supplemented Sketches Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:29.300147Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a642eebb-3cb2-481f-8921-95c9190e2973 · outbound

This paper cites an unresolved cited work.

Agentic Synthesis against Counterexample-Supplemented Sketches Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:29.481424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc8749ed-0404-49a4-9463-8b185c396968 · outbound

This paper cites an unresolved cited work.

Agentic Synthesis against Counterexample-Supplemented Sketches Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:29.575271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02ddbaaa-95bc-41c7-bcec-baaddbb11105 · outbound

This paper cites an unresolved cited work.

Agentic Synthesis against Counterexample-Supplemented Sketches Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:29.741782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7f60278-9441-4426-a4fa-69b0f66ea4cd · outbound

This paper cites semantic compare,.

Agentic Synthesis against Counterexample-Supplemented Sketches semantic compare,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T04:18:29.830125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.