Paper Citation Record · LEDGER

Interactive Code Generation via Test-Driven User-Intent Formalization

As of 31 July 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2208.05950.

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

pith.paper-citation-record.v1
2208.05950 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 7 of 7 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-07-31T06:34:12.847434+00:00

measured 7 of 7 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-11T20:47:20.640887Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-11T00:57:42.200140Z

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 b0901495-9696-4a5d-9747-f4f4bbec6c82 · inbound

Ambig-IaC: Multi-level Disambiguation for Interactive Cloud Infrastructure-as-Code Synthesis cites this paper.

Ambig-IaC: Multi-level Disambiguation for Interactive Cloud Infrastructure-as-Code Synthesis Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-05-13T21:53:19.591657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.

Observation b1ac9996-76f0-4c78-9b48-703c3cb0aea7 · inbound

HiL-Bench (Human-in-Loop Benchmark): Do Agents Know When to Ask for Help? cites this paper.

HiL-Bench (Human-in-Loop Benchmark): Do Agents Know When to Ask for Help? Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-11T00:45:49.844189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.

Observation 7a7abeb0-95e1-4686-9402-a2d079e6f2b6 · inbound

DuET: Dual Execution for Test Output Prediction with Generated Code and Pseudocode cites this paper.

DuET: Dual Execution for Test Output Prediction with Generated Code and Pseudocode Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 1

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T09:36:15.226473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.

Observation 20bc69ac-16db-42c7-b686-bb556a9e8a8b · inbound

Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals cites this paper.

Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-11T11:26:04.605939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.

Observation bbe488db-39e0-4a1f-a090-6aedd37ef786 · inbound

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing cites this paper.

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-05-10T14:10:29.218100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.

Observation 8cb71d70-63b4-4c89-9984-81708895c95d · inbound

Teaching Code LLMs to Reason with Intermediate Formal Specifications cites this paper.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6a1faa0-07e3-4cef-a5a1-8a6c36dcc17c · inbound

Specification Grounding Drives Test Effectiveness for LLM Code cites this paper.

Specification Grounding Drives Test Effectiveness for LLM Code Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 10

Resolution: metadata mismatch; local_arxiv, observed 2026-07-11T00:57:42.220834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.