{"as_of":"2026-07-31T19:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:616b9dd213b5109ce4bee547b463f5420387664d5eae47a0ba6070adcd3ff579","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":7,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":7,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-07-31T06:34:12.847434+00:00","state":"measured"},{"denominator":7,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T20:47:20.640887Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-11T00:57:42.200140Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":"2208.05950","doi":null,"metadata_source":"pith","pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-07-11T00:57:42.200140Z","title":"Microsoft","venue":"cs.SE","work_id":"bce08310-4b88-4a92-83ed-805f724c2228","year":2022},"citing_paper":{"arxiv_id":"2604.02382","last_updated":"2026-04-01T20:27:43Z","snapshot_observed_at":"2026-07-06T22:51:48.992363Z","submitted_at":"2026-04-01T20:27:43Z","title":"Ambig-IaC: Multi-level Disambiguation for Interactive Cloud Infrastructure-as-Code Synthesis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-13T21:52:31.464672Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2604.02382"},"observation_digest":"sha256:b87dc7d89481ed78256a6cd24c6aaa25e42cd5ac2906b98b01517d67e149ffbd","observation_id":"b0901495-9696-4a5d-9747-f4f4bbec6c82","resolution":{"observed_at":"2026-05-13T21:53:19.591657Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-31T06:34:12.847434+00:00","source":"crossref"},{"observed_at":"2026-07-31T06:34:08.642788+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":"2208.05950","doi":null,"metadata_source":"pith","pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-07-11T00:57:42.200140Z","title":"Microsoft","venue":"cs.SE","work_id":"bce08310-4b88-4a92-83ed-805f724c2228","year":2022},"citing_paper":{"arxiv_id":"2604.09408","last_updated":"2026-05-04T23:00:33Z","snapshot_observed_at":"2026-07-06T22:58:17.167367Z","submitted_at":"2026-04-10T15:21:44Z","title":"HiL-Bench (Human-in-Loop Benchmark): Do Agents Know When to Ask for Help?","version":4},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-10T18:20:22.151216Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2604.09408"},"observation_digest":"sha256:1667041334dba792b462b5bbbf55b0a6f3a82a77c63b0de54e121d88ec26ff5b","observation_id":"b1ac9996-76f0-4c78-9b48-703c3cb0aea7","resolution":{"observed_at":"2026-05-11T00:45:49.844189Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-31T06:34:12.847434+00:00","source":"crossref"},{"observed_at":"2026-07-31T06:34:08.642788+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":"2208.05950","doi":null,"metadata_source":"pith","pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-07-11T00:57:42.200140Z","title":"Microsoft","venue":"cs.SE","work_id":"bce08310-4b88-4a92-83ed-805f724c2228","year":2022},"citing_paper":{"arxiv_id":"2604.11514","last_updated":"2026-04-13T14:18:58Z","snapshot_observed_at":"2026-07-06T22:59:54.573362Z","submitted_at":"2026-04-13T14:18:58Z","title":"DuET: Dual Execution for Test Output Prediction with Generated Code and Pseudocode","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T15:54:41.980257Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2604.11514"},"observation_digest":"sha256:fd752ba41a32d31b3a89e1222c789f4b4d05922c45c7901368ecd17c83b8566e","observation_id":"7a7abeb0-95e1-4686-9402-a2d079e6f2b6","resolution":{"observed_at":"2026-05-11T09:36:15.226473Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-31T06:34:12.847434+00:00","source":"crossref"},{"observed_at":"2026-07-31T06:34:08.642788+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":"2208.05950","doi":null,"metadata_source":"pith","pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-07-11T00:57:42.200140Z","title":"Microsoft","venue":"cs.SE","work_id":"bce08310-4b88-4a92-83ed-805f724c2228","year":2022},"citing_paper":{"arxiv_id":"2604.11770","last_updated":"2026-07-05T08:28:05Z","snapshot_observed_at":"2026-07-12T21:45:44.995341Z","submitted_at":"2026-04-13T17:41:05Z","title":"Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T14:53:38.227540Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2604.11770"},"observation_digest":"sha256:d28371897cfd5aba3afa9c683d5922b61486470823048fcc3e6af85a88ca6047","observation_id":"20bc69ac-16db-42c7-b686-bb556a9e8a8b","resolution":{"observed_at":"2026-05-11T11:26:04.605939Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-31T06:34:12.847434+00:00","source":"crossref"},{"observed_at":"2026-07-31T06:34:08.642788+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":"2208.05950","doi":null,"metadata_source":"pith","pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-07-11T00:57:42.200140Z","title":"Microsoft","venue":"cs.SE","work_id":"bce08310-4b88-4a92-83ed-805f724c2228","year":2022},"citing_paper":{"arxiv_id":"2604.13463","last_updated":"2026-04-15T04:33:53Z","snapshot_observed_at":"2026-07-06T23:01:28.082506Z","submitted_at":"2026-04-15T04:33:53Z","title":"From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T13:50:14.400046Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2604.13463"},"observation_digest":"sha256:6ccc608f8b95a3558e9366761f782b51c3680390b5a9b8d6ecf019fa3a6d8663","observation_id":"bbe488db-39e0-4a1f-a090-6aedd37ef786","resolution":{"observed_at":"2026-05-10T14:10:29.218100Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-31T06:34:12.847434+00:00","source":"crossref"},{"observed_at":"2026-07-31T06:34:08.642788+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-07-11T20:47:20.640887Z","title":"Interactive code generation via test-driven user-intent formalization,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-07-11T20:47:20.201914Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:3d090971aa835255b22ff62d5e702877c7b0f9f7088ffc44f0085cc9d12aafb4","observation_id":"8cb71d70-63b4-4c89-9984-81708895c95d","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":"2208.05950","doi":null,"metadata_source":"pith","pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-07-11T00:57:42.200140Z","title":"Microsoft","venue":"cs.SE","work_id":"bce08310-4b88-4a92-83ed-805f724c2228","year":2022},"citing_paper":{"arxiv_id":"2607.06636","last_updated":"2026-07-07T14:11:00Z","snapshot_observed_at":"2026-07-11T23:18:25.660023Z","submitted_at":"2026-07-07T14:11:00Z","title":"Specification Grounding Drives Test Effectiveness for LLM Code","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-11T00:51:00.099499Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2607.06636"},"observation_digest":"sha256:6d86669ad9ec0e361f469ff3bda711536fcb476586181a0f5773b12238a3dfb8","observation_id":"c6a1faa0-07e3-4cef-a5a1-8a6c36dcc17c","resolution":{"observed_at":"2026-07-11T00:57:42.220834Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-31T06:34:12.847434+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-31T06:34:12.847434+00:00","source":"crossref"},{"observed_at":"2026-07-31T06:34:08.642788+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2208.05950/citation-record","integrity":"/paper/2208.05950/integrity","json":"/paper/2208.05950/citation-record.json","paper":"/paper/2208.05950"},"outbound":[],"paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T13:41:03.619202Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-07-31T06:34:12.847434+00:00","source":"crossref"},{"observed_at":"2026-07-31T06:34:08.642788+00:00","source":"retraction_watch"}],"thesis":"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."}