Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T05:44:31.197091Z
Paper Citation Record · LEDGER
As of 16 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2412.17330.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T05:44:31.197091Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
16 of 16 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 1e78ee7d-79b7-4b7e-bb62-fa4822b18bbc · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Unresolved cited work
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a9513881-fb15-468d-809e-05b1879d3587 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Unresolved cited work
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f3c65733-21dc-4d84-bd9f-eab021255b22 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Before returning p′, we need to update the data structures, lines 12 to 16
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 287538da-1494-49cf-b4f0-3a5bd36ae496 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Before returning p′, we need to update the data structures, lines 12 to 16
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f0ad00e9-5949-43e6-b91f-5207831d7ca5 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis We try generating programs: Generated[Index2Cost[0]] = {H}
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b8d64203-1854-4992-b7e2-40aeff11faa1 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis We try generating programs: Generated[Index2Cost[1]] = {var}
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ea19e9ae-780b-4709-b128-82f53064539c · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Unresolved cited work
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dc1b152b-1240-460f-aad5-676ab31cfa43 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation efe13fd6-e5f7-44c4-89db-aaa5e6b4c158 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6f3b8a80-5145-4641-87b4-a9de433db94f · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis At this point we have Index2Cost = {1.1, 1.8, 2.0, 3.3}
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4de84273-a704-40b8-9aa4-5d469cb99f17 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Unresolved cited work
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 862b4f8f-8735-42fc-b86c-c6dab05d5734 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Unresolved cited work
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fe0969af-f879-4872-81fe-3c52049d9c8e · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Line 19 triggers a call to Output(I, 0)
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation de9f4d31-27c6-43cd-ac7c-23166a067c6b · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Line 19 triggers a call toOutput(S, 0), already computed: GeneratedS[0] = {H}
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4d187335-4b3c-4224-aa04-64d8431bd3d3 · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation
Reference 2022
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce8b2ae5-2e80-440d-ac9b-4fac184c0b8d · outbound
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis Hello", and W =
Reference 2023
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
No inbound Pith citation observations are available.