{"as_of":"2026-08-09T18:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f4afe1d0943aaec73d3ab8bab674f22df10bbc83f804fd9e9ab8480201d5d3ed","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T19:30:02.894106Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2508.12475/citation-record","integrity":"/paper/2508.12475/integrity","json":"/paper/2508.12475/citation-record.json","paper":"/paper/2508.12475"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:05.860734Z","title":null,"venue":null,"work_id":"764fa2ee-63c2-4ea7-8cdf-27b9e10a6674","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:00.903835Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:9a7fc093815743c87b2aade467c9d5d844a55ba47b8381380cbb2779e9ea3089","observation_id":"ccbff14a-6ada-4966-a754-d5cb26ed1828","resolution":{"observed_at":"2026-08-05T19:30:05.959272Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:05.701853Z","title":null,"venue":null,"work_id":"c189fb0b-b706-4db3-a1d0-3f9e649ade45","year":2023},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:00.980604Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:c950215d877863b297693040c98bda489a2b93b1617cbffbcb184fc733d49373","observation_id":"96d85139-64e3-48e3-92b7-9a0867296b99","resolution":{"observed_at":"2026-08-05T19:30:05.769443Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:05.544838Z","title":null,"venue":null,"work_id":"96702611-a1d5-45c4-8125-85b994014f1b","year":2021},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.083219Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:dfa3ade6b91fd8243c33eca6c1e03eeea3a3d32d649925a76447e732f8bdc633","observation_id":"179d2516-55aa-4e69-9648-bf2ab0bdee9c","resolution":{"observed_at":"2026-08-05T19:30:05.627841Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:05.380384Z","title":null,"venue":null,"work_id":"61fc966e-9a24-4e8d-83fe-1edb7f3e60b6","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.261079Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:dc6ae2c94d808de8d0de3a5c27981d42d76e063ac157baf09abd731973a5113a","observation_id":"171d361e-010f-4460-9575-f604fd102304","resolution":{"observed_at":"2026-08-05T19:30:05.431420Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:05.199227Z","title":null,"venue":null,"work_id":"19af6eea-cffd-4679-a390-939ceca1b36e","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.428228Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:5d735557a82372174e8701b122535f5a8beb1c9586b746e9b675ac409ad5646a","observation_id":"9461180f-2afa-4cbc-a259-35902d933dc4","resolution":{"observed_at":"2026-08-05T19:30:05.301013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:01.532434Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.532434Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:6768b908f622a6315287c5bc0712ae23f53888148fa9b70703d2fbb114123a37","observation_id":"c52bfc7c-0ae1-4c44-8275-39ab9ad61f44","resolution":{"observed_at":"2026-08-05T19:30:01.532434Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:05.023168Z","title":"Sharma, and Ben Zorn","venue":null,"work_id":"267e6d3a-dba0-4438-b8ba-3faf9f74b3f1","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.641315Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:e4106c3233235704be97ae7f009be054e389f9d100670ab79d8e398823b501af","observation_id":"52c99628-6aa3-48ce-bc67-06c5ed540453","resolution":{"observed_at":"2026-08-05T19:30:05.119484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.03714","last_updated":"2023-10-05T17:37:25Z","snapshot_observed_at":"2026-08-04T05:21:05.846165Z","submitted_at":"2023-10-05T17:37:25Z","title":"DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.03714","snapshot_observed_at":"2026-08-05T19:30:01.705497Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.705497Z"},"links":{"cited_paper":"/paper/2310.03714","citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:1e3c7515c8753a58c8af88f160a9ac144e5f2f6d5ad9a8de0c006fd49309d389","observation_id":"0d5568e1-57e2-4b16-93d4-6848fdee533b","resolution":{"observed_at":"2026-08-05T19:30:01.705497Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:04.900116Z","title":null,"venue":null,"work_id":"7560701c-2f8f-4a39-b6f3-2f48d46cc8d1","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.842823Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:b4c2118f3986cc9d59bdbf7976fbec1a75034cb80f5d8f050a7b0c2f97dcc223","observation_id":"c70bad2b-44e1-4456-9a57-31a8bd360144","resolution":{"observed_at":"2026-08-05T19:30:04.964031Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:01.970566Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:01.970566Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:faf7a942f87c9d0e9a52d28242986e4f4b6e42c2bc5d459b1520f324b0bd51f8","observation_id":"ace032b4-a10b-4352-81d4-583616d9c36a","resolution":{"observed_at":"2026-08-05T19:30:01.970566Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12447","last_updated":"2025-04-25T03:55:39Z","snapshot_observed_at":"2026-07-06T19:17:55.926154Z","submitted_at":"2024-09-19T03:55:49Z","title":"Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts","version":2},"cited_work":{"arxiv_id":"2409.12447","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.12447","snapshot_observed_at":"2026-08-05T19:30:03.297780Z","title":"Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts","venue":"cs.SE","work_id":"31bdc533-49a9-4514-bed9-7bee2d245111","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.075526Z"},"links":{"cited_paper":"/paper/2409.12447","citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:39b0e1177ec507dd650dce2750ea69406affa416968b21e58e958c106d50b2ba","observation_id":"d70096ba-3a05-4adc-a663-9e996af55183","resolution":{"observed_at":"2026-08-05T19:30:03.412593Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:04.700546Z","title":"We Need Struc- tured Output","venue":null,"work_id":"ec81cbf0-5e57-4fde-b737-9db108419033","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.177995Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:9864a7a9ec77c087a300053a88db3800560e2ad1bac9aa195b8b2c5caa079adb","observation_id":"18b461d8-9c3d-4de2-87e5-6043c2a57361","resolution":{"observed_at":"2026-08-05T19:30:04.782702Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:04.566865Z","title":null,"venue":null,"work_id":"76e7af29-bda2-45f7-8eb8-a625e00c2018","year":2023},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.277317Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:52437a8d1e479d1f0996d2f93c3e3d447d5469e3717b302f6d4bec5ea2cf64d9","observation_id":"5f2cb8c0-9a50-4b9a-9dae-ba8cf36e4877","resolution":{"observed_at":"2026-08-05T19:30:04.613198Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:04.410971Z","title":null,"venue":null,"work_id":"863b6000-ba00-48f1-8fdb-f32d8e1f3f7b","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.349981Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:d505326ab88660613ebdcf83c889a628fb5379beed7ad7127727b543eaceabef","observation_id":"955aabde-f5c2-4a17-9a0b-bc2f7c98d967","resolution":{"observed_at":"2026-08-05T19:30:04.487085Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.02319","last_updated":"2024-06-27T23:22:14Z","snapshot_observed_at":"2026-07-06T17:54:47.689340Z","submitted_at":"2024-04-02T21:35:54Z","title":"Symbolic Prompt Program Search: A Structure-Aware Approach to Efficient Compile-Time Prompt Optimization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.02319","snapshot_observed_at":"2026-08-05T19:30:02.429425Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.429425Z"},"links":{"cited_paper":"/paper/2404.02319","citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:bc0473204623f649206ce9de4151eb47989ba13a8d9224e6f8940fa7d1c24d0d","observation_id":"724841ab-46f6-4db1-a82d-0aa31eb63453","resolution":{"observed_at":"2026-08-05T19:30:02.429425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:04.252486Z","title":null,"venue":null,"work_id":"65c6fa9e-f07d-4934-a576-e63d592c876e","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.545754Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:34f29970fe704b9b5e9fc5f324377656e7ed1d728756f065d24179650b62fedf","observation_id":"644af625-8157-4b44-ba37-24b74678d1c9","resolution":{"observed_at":"2026-08-05T19:30:04.323945Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:04.080821Z","title":null,"venue":null,"work_id":"2d381817-8346-4c50-b63b-d64da3743b09","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.640086Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:a76f27f86a42fd6d49bcd0c11b1eea53a0b5f57e53affa6df23e0173b3f7f24d","observation_id":"799bcd6e-4440-498e-8a0d-ae3c66d20af3","resolution":{"observed_at":"2026-08-05T19:30:04.156337Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.01632","last_updated":"2024-11-06T18:04:35Z","snapshot_observed_at":"2026-08-04T17:38:49.392434Z","submitted_at":"2024-03-03T22:38:35Z","title":"SynCode: LLM Generation with Grammar Augmentation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.01632","snapshot_observed_at":"2026-08-05T19:30:02.741718Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.741718Z"},"links":{"cited_paper":"/paper/2403.01632","citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:5cc9b0ffbe7bfe301c50ca79503c375cad4317decf6a71bfc5214a9f29798e09","observation_id":"c136f798-fe6a-4436-b0b7-c4cdbb31a79c","resolution":{"observed_at":"2026-08-05T19:30:02.741718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.12210","last_updated":"2022-03-23T05:54:37Z","snapshot_observed_at":"2026-08-09T18:51:52.959060Z","submitted_at":"2022-03-23T05:54:37Z","title":"Integrating Vectorized Lexical Constraints for Neural Machine Translation","version":1},"cited_work":{"arxiv_id":"2203.12210","doi":null,"metadata_source":"pith","pith_arxiv_id":"2203.12210","snapshot_observed_at":"2026-08-05T19:30:03.013538Z","title":"Integrating Vectorized Lexical Constraints for Neural Machine Translation","venue":"cs.CL","work_id":"2b150618-8e93-4f5e-b355-27ebde98e5c9","year":2022},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.829419Z"},"links":{"cited_paper":"/paper/2203.12210","citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:cb426e1caa31ac4b73dd2be0efe741a0b2030fdbf3cf22cb26d9b95772dce45a","observation_id":"184cc226-7c27-4d47-bbe4-7d2efbedab83","resolution":{"observed_at":"2026-08-05T19:30:03.135278Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T19:30:03.895070Z","title":null,"venue":null,"work_id":"b4d1fb4a-1f87-47e4-9cf5-3a4d8bb20235","year":2024},"citing_paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T19:30:02.894106Z"},"links":{"citing_paper":"/paper/2508.12475"},"observation_digest":"sha256:a0cacca7c0028f7d212f38691c18b78441c69aad91d1a786c2a1cebe64097b56","observation_id":"d2acbca1-2b55-478d-abc9-54ba58709bf3","resolution":{"observed_at":"2026-08-05T19:30:03.978986Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.12475","last_updated":"2025-08-17T19:34:24Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-05T21:48:11.708386Z","submitted_at":"2025-08-17T19:34:24Z","title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":2,"verified_fuzzy":2},"total_outbound_references":20},"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-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2508.12475."}