Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
ReGAL: Refactoring Programs to Discover Generalizable Abstractions
As of 18 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2401.16467.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T14:32:41.870865Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
1
arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation f8597cc1-fa2f-4bb1-9d95-4a35e18771ef · inbound
A Compute-Matched Re-Evaluation of TroVE on MATH cites this paper.
A Compute-Matched Re-Evaluation of TroVE on MATH ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:05:19.225310Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 553609ce-fa96-4206-a8a9-6349200fcb33 · inbound
Autark: A Serverless Toolkit for Prototyping Urban Visual Analytics Systems cites this paper.
Autark: A Serverless Toolkit for Prototyping Urban Visual Analytics Systems ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 57
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T14:11:03.892722Z
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 76111945-835c-4727-ac4e-2b489c07648e · inbound
Autark: A Serverless Toolkit for Prototyping Urban Visual Analytics Systems cites this paper.
Autark: A Serverless Toolkit for Prototyping Urban Visual Analytics Systems ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 58
- Resolution
- verified exact
- arxiv_id, observed 2026-05-09T23:29:43.693097Z
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 02d050cb-b46d-4130-8496-b491bf93fefe · inbound
ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis cites this paper.
ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 9
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T18:21:09.019307Z
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 a71a6710-b92f-4ae6-888a-a4a258a18e4b · inbound
PYTHALAB-MERA: Validation-Grounded Memory, Retrieval, and Acceptance Control for Frozen-LLM Coding Agents cites this paper.
PYTHALAB-MERA: Validation-Grounded Memory, Retrieval, and Acceptance Control for Frozen-LLM Coding Agents ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 58
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T08:26:23.038371Z
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 80b07c8c-0477-4696-8562-e5730446168e · inbound
XSearch: Explainable Code Search via Concept-to-Code Alignment cites this paper.
XSearch: Explainable Code Search via Concept-to-Code Alignment ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 73
- Resolution
- verified exact
- arxiv_id, observed 2026-05-20T16:33:34.054734Z
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 6b951fb3-df08-48e1-8ac2-eb1590ba0c54 · inbound
XSearch: Explainable Code Search via Concept-to-Code Alignment cites this paper.
XSearch: Explainable Code Search via Concept-to-Code Alignment ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 73
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T00:59:18.937487Z
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 5bc5e9f2-f0e4-445c-98a2-8a7b14900422 · inbound
PACE: Primitive-Aware Code Evolution for Automated Algorithm Design cites this paper.
PACE: Primitive-Aware Code Evolution for Automated Algorithm Design ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:32:41.870865Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bdf2e2c6-595d-4173-8673-57103881a41d · inbound
Better, Faster, Stronger: Programmatic Skill Learning Best Reduces Agent Cost cites this paper.
Better, Faster, Stronger: Programmatic Skill Learning Best Reduces Agent Cost ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:18:10.656502Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.