Paper Citation Record · LEDGER

Program Synthesis from Partial Traces

As of 22 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2504.14480.

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

pith.paper-citation-record.v1
2504.14480 v3

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:54:14.184195Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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

38 of 38 outbound references displayed

verified exact6
verified fuzzy0
unresolved31
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 81566654-c3db-44a2-8304-2fe1299d1406 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.021398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04fee628-18fe-41b8-b66c-c679a7df1953 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:54:15.632605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e9c0dd8c-ac3d-441d-9af9-20d00bdce06c · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:54:15.619585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3e4cc0d2-99a3-4573-a991-8112e0aa1e34 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:54:15.606008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 7edf0396-757f-4305-bc2c-e4eec51f4a95 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.040521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 516147de-5202-4ac6-8df3-8621153f41b2 · outbound

This paper cites Chasins, Rastislav Bodík, and Sumit Gulwani.

Program Synthesis from Partial Traces Chasins, Rastislav Bodík, and Sumit Gulwani

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.046055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fee3232-e515-4c16-8a79-d5498320963d · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:54:15.591922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a4bf333d-24b3-47ae-b01b-512a00441e9f · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-16T11:54:14.335870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 7fc39052-a16f-416a-9b1b-ae4006d54bfa · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 9

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T11:54:15.579181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e9e1bb18-07f3-4cd4-8752-1373892ef26c · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.065481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 411363ae-0a41-4d58-911e-7b689758d8eb · outbound

This paper cites Halbert, David Kurlander, Henry Lieberman, David Maulsby, Brad A.

Program Synthesis from Partial Traces Halbert, David Kurlander, Henry Lieberman, David Maulsby, Brad A

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.069720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c814cc12-a23d-432f-a9bb-f82ef04c9c5a · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.074239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d508c0ba-57d3-4c15-bf51-d967fe1b65b1 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.078212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7784503-726d-4525-b7db-a49b38acaca1 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.082376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad3a27f3-c054-4628-a151-23fb311bf9bd · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.086535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2a01afb-f36e-42da-89e5-04175d9544e9 · outbound

This paper cites 2019.Extracting JSON Values with JsonPath: Document Processing for Java SE.

Program Synthesis from Partial Traces 2019.Extracting JSON Values with JsonPath: Document Processing for Java SE

Reference 16

Resolution: verified exact; doi, observed 2026-08-16T11:54:14.314259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9149a450-c803-4f4e-a0af-d97a97e887dd · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.099962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f6ec4ff-74d8-440d-8917-a7cb9767fb0c · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.104504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1712defd-3da4-4c7a-84d0-c702eb1230f3 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-16T11:54:14.292284Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 909af396-cdbf-42e7-8fd7-4f9313e21d4d · outbound

This paper cites Foster, and David Van Horn.

Program Synthesis from Partial Traces Foster, and David Van Horn

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.113183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 251caf39-662a-454c-94ea-239b7fd7d96a · outbound

This paper cites Melham, Daniel Kroening, and John O’Leary.

Program Synthesis from Partial Traces Melham, Daniel Kroening, and John O’Leary

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.117502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fda0203-d657-4ee9-bbf0-30e71bacc00e · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.121727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e56a5615-9d3f-4e8c-a74e-1592f69ba799 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.125868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 082e37aa-0fe8-4d5f-b353-52bc6274c764 · outbound

This paper cites Mitchell, and Brad A.

Program Synthesis from Partial Traces Mitchell, and Brad A

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.130149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc17c789-f841-41fb-8fa4-b4f3e2fbc05f · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-16T11:54:14.270628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation bf05ed4c-541e-4df8-ae9c-a6928538ce87 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-16T11:54:14.256780Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c1993dd2-110b-4b60-9b59-2dfcd0ed5da7 · outbound

This paper cites Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock.

Program Synthesis from Partial Traces Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.143526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1be989d4-45dd-4dfc-9807-8be84845f1b7 · outbound

This paper cites 2025.Program Synthesis From Partial Traces (Software Artifact).

Program Synthesis from Partial Traces 2025.Program Synthesis From Partial Traces (Software Artifact)

Reference 28

Resolution: verified exact; doi, observed 2026-08-16T11:54:14.243536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 76ac996c-f221-404a-9a24-1078e1a6d73c · outbound

This paper cites The SyGuS Language Standard Version 2.1.

Program Synthesis from Partial Traces The SyGuS Language Standard Version 2.1

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.151823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd828623-bb59-4c88-9a98-9a70c2b03f2d · outbound

This paper cites Fink, Rodric M.

Program Synthesis from Partial Traces Fink, Rodric M

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.156337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fcce261-0623-459e-ba5a-4d01f5a40ca4 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.160201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45b14c86-a266-421b-838c-ca8522d37838 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.164159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 025bf8ba-f115-40f2-9707-8330b5d116b1 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:54:15.546872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c6fa2800-8cba-4a99-9820-9fbbe930701d · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.171928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d27b256-5800-4561-90a0-e3c1db99a21c · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.176167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc97a10e-0024-4bcf-a07b-16980e6d32a9 · outbound

This paper cites Wong, Tanvi Wagle, Srinivas Narayana, and Anirudh Sivaraman.

Program Synthesis from Partial Traces Wong, Tanvi Wagle, Srinivas Narayana, and Anirudh Sivaraman

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.180177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c188eb5-74f9-432c-b5ad-9f5bfdb1b375 · outbound

This paper cites api": <THE API NAME>,.

Program Synthesis from Partial Traces api": <THE API NAME>,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.184195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08acc200-8622-4342-ba06-437283e05794 · outbound

This paper cites an unresolved cited work.

Program Synthesis from Partial Traces Unresolved cited work

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-16T11:54:14.091104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.