Paper Citation Record · LEDGER

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge

As of 20 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2506.13820.

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

pith.paper-citation-record.v1
2506.13820 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T00:49:16.354010Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-18T22:45:31.935618Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-18T22:46:52.949015Z

Reference resolution

28 of 28 outbound references displayed

verified exact1
verified fuzzy13
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 06e6fb89-263b-4588-8c49-ecdd59a47203 · outbound

This paper cites Balog, A.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Balog, A

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:21.521456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f1a3220e-a86c-4df9-aefe-9f78378613b1 · outbound

This paper cites Baskar, A.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Baskar, A

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:21.302361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b22d10a4-f471-4135-aabf-942f29849380 · outbound

This paper cites B¨ ohm and G.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge B¨ ohm and G

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:21.045141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9b7e9a8e-7b91-4280-bc4b-2153861241f4 · outbound

This paper cites Challa, A.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Challa, A

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:20.753426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4053a6d0-b57f-4844-aaba-66f673d37569 · outbound

This paper cites Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T00:49:13.599355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 480399aa-4d03-47ea-b85e-4dee39fd5c73 · outbound

This paper cites On the Measure of Intelligence.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge On the Measure of Intelligence

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T00:49:13.725312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f25701d6-19a2-4b6f-a089-cfb74503e342 · outbound

This paper cites ARC Prize 2024: Technical Report.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge ARC Prize 2024: Technical Report

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T00:49:13.839191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3eaefd53-b6ff-43f4-90d3-57d7de1f6d3d · outbound

This paper cites Cropper and S.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Cropper and S

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:20.403839Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8d38848c-5bba-40ce-801b-ddc5505ea7b9 · outbound

This paper cites Dijkstra.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Dijkstra

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:20.119967Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 54d77cb2-a0d7-49d4-bd62-038d52f0c63d · outbound

This paper cites Ellis et al.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Ellis et al

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:19.837295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 25225427-70be-4e41-9ca0-7c9a4e3ca160 · outbound

This paper cites Flener and U.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Flener and U

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:19.522489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2fc9fc06-6f62-4411-911f-394068efa83f · outbound

This paper cites an unresolved cited work.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:49:19.369075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 369dbb8f-4b62-4217-93d2-653c1fb9da17 · outbound

This paper cites an unresolved cited work.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:49:19.190996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b4fbfc58-aa45-4386-9bf1-d2e8f2cf7003 · outbound

This paper cites Gulwani, O.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Gulwani, O

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:18.972597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d736363a-d01b-4d05-966b-b12feef2fe65 · outbound

This paper cites DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T00:49:14.986460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f66ff5fc-f744-4540-95fa-e5f66c6540b3 · outbound

This paper cites an unresolved cited work.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:49:18.741536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b9d58b49-9e04-441a-b809-f27824f0b0d8 · outbound

This paper cites Le and S.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Le and S

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:18.630462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f14a5bcd-1754-4ee8-8b14-fedd5edd2f52 · outbound

This paper cites an unresolved cited work.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:49:18.444293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e37612c9-7949-459c-9e49-bebdb606e403 · outbound

This paper cites an unresolved cited work.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:49:18.313693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation abfad8a3-038d-41de-b017-ac434649e535 · outbound

This paper cites Gpt-4 technical report, 2024.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Gpt-4 technical report, 2024

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T00:49:15.508598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c0925e2-2078-4590-9e8b-5e38c9bc50a3 · outbound

This paper cites GPT-4o System Card.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge GPT-4o System Card

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T00:49:15.656009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be38ce89-dfd2-44b9-94f1-828c9873fb3c · outbound

This paper cites Polozov and S.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Polozov and S

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:18.090203Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5280450d-5771-41d9-9bd4-25d7c0a80727 · outbound

This paper cites The Prompt Report: A Systematic Survey of Prompt Engineering Techniques.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge The Prompt Report: A Systematic Survey of Prompt Engineering Techniques

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T00:49:15.821170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a41be41a-9c17-42b4-9854-b01590038fd8 · outbound

This paper cites an unresolved cited work.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:49:17.792111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 930f996f-f2e1-4f81-984d-1b4e7e79cc24 · outbound

This paper cites Solar-Lezama et al.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Solar-Lezama et al

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:17.453509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8a5ce547-723d-4e9f-a8d0-97f282f208e7 · outbound

This paper cites Surana and A.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Surana and A

Reference 26

Resolution: verified exact; raw_fallback, observed 2026-08-07T00:49:16.610319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2c59dfea-d963-4613-8841-8ec14bf0876c · outbound

This paper cites an unresolved cited work.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:49:17.161785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f8b803d3-8972-459a-9372-7d556cd669db · outbound

This paper cites Dilation.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge Dilation

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:49:16.961505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

Observation 0f5ce0fd-b38e-48e7-a585-13b412ccc462 · inbound

Copyright Protection for Large Language Models: A Survey of Methods, Challenges, and Trends cites this paper.

Copyright Protection for Large Language Models: A Survey of Methods, Challenges, and Trends Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge

Reference 133

Resolution: verified exact; arxiv_id, observed 2026-05-18T22:46:52.951180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.