Paper Citation Record · LEDGER

Is Programming by Example solved by LLMs?

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

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

pith.paper-citation-record.v1
2406.08316 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 4 of 4 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 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:06:40.281886Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T21:48:59.044389Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 09b76b12-8df6-4ad2-9884-80d113f47c80 · inbound

EasyARC: Evaluating Vision Language Models on True Visual Reasoning cites this paper.

EasyARC: Evaluating Vision Language Models on True Visual Reasoning Is Programming by Example solved by LLMs?

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T04:06:40.281886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47f8fe33-75d6-411c-951b-264209ccf48b · inbound

A Compute-Matched Re-Evaluation of TroVE on MATH cites this paper.

A Compute-Matched Re-Evaluation of TroVE on MATH Is Programming by Example solved by LLMs?

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T17:05:19.196459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5d27738-e8b7-4aa4-8d76-6098b4321ace · inbound

Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery cites this paper.

Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery Is Programming by Example solved by LLMs?

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-07-03T21:48:59.045741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 235982fa-b2bd-4f42-9d0f-0c91eca8843f · inbound

Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer cites this paper.

Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer Is Programming by Example solved by LLMs?

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:29.830507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.