Paper Citation Record · LEDGER

DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

As of 17 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 18 inbound Pith citation observations for arXiv:2006.08381.

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

pith.paper-citation-record.v1
2006.08381 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 18 of 18 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T01:04:38.707218Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T21:57:37.990189Z

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 327c8d74-3bbf-4dc9-876e-234964ae3e9f · inbound

Code as Policies: Language Model Programs for Embodied Control cites this paper.

Code as Policies: Language Model Programs for Embodied Control DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 49

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T00:38:02.779886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3cccce28-dfef-48d0-b8e0-0971ebbcb865 · inbound

Voyager: An Open-Ended Embodied Agent with Large Language Models cites this paper.

Voyager: An Open-Ended Embodied Agent with Large Language Models DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-05-10T13:11:41.144485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9145ab27-453c-4e3e-8975-f2c0710305cb · inbound

Capturing Sparks of Abstraction for the ARC Challenge cites this paper.

Capturing Sparks of Abstraction for the ARC Challenge DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-12T18:50:17.623236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc4f1c8c-0a52-4cb3-b312-e5bc71a45c53 · inbound

Artificial Scientific Discovery cites this paper.

Artificial Scientific Discovery DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T18:22:53.247369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24675a92-de6a-4b4c-9b85-e9d8dde4444e · inbound

ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC) cites this paper.

ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC) DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-11T19:03:03.664781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2d9c1e6-329e-4ef9-b217-d6ec2760dc85 · inbound

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation cites this paper.

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 2006

Resolution: unresolved; no resolver link, observed 2026-08-08T18:20:22.498151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37d43606-3661-4c18-8af6-6fec0933c60a · inbound

LLM-Guided Probabilistic Program Induction for POMDP Model Estimation cites this paper.

LLM-Guided Probabilistic Program Induction for POMDP Model Estimation DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T01:04:38.707218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81674a59-1680-42b7-9197-72089e533094 · inbound

Bayesian Inverse Physics for Neuro-Symbolic Robot Learning cites this paper.

Bayesian Inverse Physics for Neuro-Symbolic Robot Learning DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T05:04:53.278363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d71f4d38-7c3f-44e2-b577-5dd941210ddd · inbound

Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need cites this paper.

Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-06T16:17:41.299186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a71b43db-9516-41cc-848a-ac991f49a59e · inbound

Dr. Boot: Bootstrapping Program Synthesis Language Models to Perform Repairing cites this paper.

Dr. Boot: Bootstrapping Program Synthesis Language Models to Perform Repairing DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T15:52:20.380045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ce388fb-ba86-4958-8d57-7d4beec868f4 · inbound

How Do Language Models Compose Functions? cites this paper.

How Do Language Models Compose Functions? DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-18T11:06:17.727067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f02bbc5d-7e1c-4304-90b1-9eb72108a25f · inbound

Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study cites this paper.

Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-17T03:38:58.030069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 79e3acc2-1d82-48cf-81af-73c3decc2537 · inbound

Artificial Intelligence and the Structure of Mathematics cites this paper.

Artificial Intelligence and the Structure of Mathematics DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-10T23:20:53.120435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation caddb7c5-f7a0-4fd7-bbef-69c3321e6d23 · inbound

Explore Before You Solve: The Speed--Depth Trade-off in Epistemic Agents for ARC-AGI-3 cites this paper.

Explore Before You Solve: The Speed--Depth Trade-off in Epistemic Agents for ARC-AGI-3 DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-06-29T22:04:00.431281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b52bdacf-7557-47b5-9279-69e9da3fb21c · inbound

FactorLibrary: From Polynomials to Circuits via Recursive Subgoals cites this paper.

FactorLibrary: From Polynomials to Circuits via Recursive Subgoals DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 53

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T19:30:07.014915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 59f72a6c-7cda-4563-bebf-1160c6bd1d4e · inbound

Cost-Effective Agent Harnesses for Abstract Reasoning and Generalization on ARC-AGI-1 cites this paper.

Cost-Effective Agent Harnesses for Abstract Reasoning and Generalization on ARC-AGI-1 DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 20

Resolution: metadata mismatch; local_arxiv, observed 2026-07-10T21:57:38.007977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 902209a2-9594-47f4-b8ac-ef64b2e51cff · inbound

Heterogeneous Agent Cohorts for Safe Open-Ended Exploration with Runtime Constraint Memory cites this paper.

Heterogeneous Agent Cohorts for Safe Open-Ended Exploration with Runtime Constraint Memory DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T06:11:14.605930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f056053-7997-4bd3-8e63-555d6dd45315 · inbound

When Does An Extra View Help? Adapting Single-View 3D Reconstruction with Extra Imagery cites this paper.

When Does An Extra View Help? Adapting Single-View 3D Reconstruction with Extra Imagery DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:30.712292Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.