{"as_of":"2026-08-09T11:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e01905dfd7e2613ad121cb1475bc886946ad4fb1eccaff2d939ec5e9d8e432be","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:16:07.306930Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T13:32:12.206833Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T07:19:38.574254Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"cited_work":{"arxiv_id":"2508.15866","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.15866","snapshot_observed_at":"2026-07-04T07:19:38.574254Z","title":null,"venue":null,"work_id":"38516b01-4ac5-40c0-897f-73f7afc2e4b0","year":2025},"citing_paper":{"arxiv_id":"2606.21619","last_updated":"2026-06-19T17:22:27Z","snapshot_observed_at":"2026-07-06T23:56:35.743669Z","submitted_at":"2026-06-19T17:22:27Z","title":"The Alignment Problem in Constrained Code Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-26T13:32:12.206833Z"},"links":{"cited_paper":"/paper/2508.15866","citing_paper":"/paper/2606.21619"},"observation_digest":"sha256:ac562ac9634e0dd60773cc742cececb6dc904b95c0f8036fdf9cd025d2920458","observation_id":"66a06288-ae9d-4cba-9b75-65254a627e74","resolution":{"observed_at":"2026-07-04T07:19:38.575842Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"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"}}],"links":{"evidence":"/evidence","html":"/paper/2508.15866/citation-record","integrity":"/paper/2508.15866/integrity","json":"/paper/2508.15866/citation-record.json","paper":"/paper/2508.15866"},"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-05T18:16:08.189963Z","title":"GlobalString: doc: | String library","venue":null,"work_id":"c150dc79-c58b-465e-9c6a-35122fd98d14","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:07.042172Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:ef2896d343e93caa90734bbe8c9b040c672fb6e944e1196344cb198a11b6f34d","observation_id":"50b6ceae-4fb3-4440-8901-b9c696a10954","resolution":{"observed_at":"2026-08-05T18:16:08.261894Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"2411.15100","last_updated":"2025-05-12T08:20:08Z","snapshot_observed_at":"2026-07-06T19:55:37.400185Z","submitted_at":"2024-11-22T18:01:37Z","title":"XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.15100","snapshot_observed_at":"2026-08-05T18:16:05.976796Z","title":"Xgrammar: Flexible and efficient structured generation engine for large language models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:05.976796Z"},"links":{"cited_paper":"/paper/2411.15100","citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:49ad6f435d85ecdec06750f0695e9f079856019d64cfef15e4eaad67c56f861c","observation_id":"a006fa40-6742-46bd-9925-47da04b712a0","resolution":{"observed_at":"2026-08-05T18:16:05.976796Z","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-05T18:16:08.486489Z","title":"B Details on sLua Language and Parsing B.1 sLua Language Here are the main differences between sLua and Lua: • Statements must end in","venue":null,"work_id":"90d2790e-f868-47bb-bc3a-6990842a3fe5","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.772170Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:61f9c84e019a7d12443ea65879b294477d107901e6184506ca523eac8bf15072","observation_id":"a9c95f83-3f84-4b62-a91b-86667166693e","resolution":{"observed_at":"2026-08-05T18:16:08.491333Z","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-05T18:16:08.470830Z","title":"an aquatic adventure as a seal warrior","venue":null,"work_id":"34432f6d-1c5b-4e5d-bcc2-04195aa75605","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.860897Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:dad430465043d2542c9c1155d85b0b886a7843120702c7b63b1af28eda0fd91e","observation_id":"bb8d9861-e976-4ea0-b185-3c2271eb9141","resolution":{"observed_at":"2026-08-05T18:16:08.475784Z","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":"2201.11227","last_updated":"2022-01-26T22:57:44Z","snapshot_observed_at":"2026-07-06T12:31:37.941737Z","submitted_at":"2022-01-26T22:57:44Z","title":"Synchromesh: Reliable code generation from pre-trained language models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.11227","snapshot_observed_at":"2026-08-05T18:16:06.475772Z","title":"Synchromesh: Reliable code generation from pre-trained language models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.475772Z"},"links":{"cited_paper":"/paper/2201.11227","citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:5a5b7f0c0ad4ed1b7a0af2e4bdffc26f31ea69faa7045c7c95230c7039a07aa0","observation_id":"ac57348a-37e9-4067-82cc-47f7653f2e98","resolution":{"observed_at":"2026-08-05T18:16:06.475772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.09702","last_updated":"2023-08-19T21:27:51Z","snapshot_observed_at":"2026-08-09T04:46:02.275866Z","submitted_at":"2023-07-19T01:14:49Z","title":"Efficient Guided Generation for Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09702","snapshot_observed_at":"2026-08-05T18:16:06.562712Z","title":"Efficient guided generation for llms","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.562712Z"},"links":{"cited_paper":"/paper/2307.09702","citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:8a6334f7bb90627852f1600bca358ad9e93f59c00d5e5b527b26c6e209e014b4","observation_id":"aa94b9c7-7773-4fc5-87b2-d70301573f3d","resolution":{"observed_at":"2026-08-05T18:16:06.562712Z","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-05T18:16:08.327173Z","title":"C.3 API for DCI Below is the scripting API for DCI","venue":null,"work_id":"5e743845-dd89-4403-8d0c-3cfb37c95106","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.960775Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:188cd93988da18bd74fce0feaff792790bf0cd83ade1084dd92a9b84338d78da","observation_id":"c6b86174-b6e9-4977-b58a-f53b0d5f1f27","resolution":{"observed_at":"2026-08-05T18:16:08.400119Z","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-05T18:16:08.034688Z","title":null,"venue":null,"work_id":"7c6d7c64-93d7-450f-ac10-451b32a7ec48","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:07.117300Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:3f974e468c71ab26a84d80e05c201d97e7756197746854adddddb7c619f2afb3","observation_id":"8936db52-e3a3-48ff-b20d-1125452d523b","resolution":{"observed_at":"2026-08-05T18:16:08.096250Z","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-05T18:16:07.884042Z","title":"C.10.1 Unconstrained (Claude-3.5-Sonnet) with or without Reflection Example C.3 (Incorrect expression type)","venue":null,"work_id":"fa4b784f-1ab8-4df1-a182-8d1cd17d7d92","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:07.202615Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:e27246594c9c23d9cc487f709a6e2ab8ac1eedb8c09db8f22dad94be9f3aba91","observation_id":"8e251f89-1a0c-4d8e-888b-e71c3ae08223","resolution":{"observed_at":"2026-08-05T18:16:07.956291Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-05T18:16:07.713440Z","title":null,"venue":null,"work_id":"076413ee-d8c1-4489-b36a-8077fe8ff26a","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:07.264202Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:ae0a5325f8781dc23af98b5380ea9f078aa7e71b106de9d583facbef3e8621f3","observation_id":"ff1776be-bd92-4a74-b020-38da7c35bb27","resolution":{"observed_at":"2026-08-05T18:16:07.801387Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-05T18:16:07.600676Z","title":"We show a few failure cases here","venue":null,"work_id":"b3c1fdd5-f4af-4a4e-be4c-b0714b33c479","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:07.306930Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:8fcbc1cf7b8029c30c65cda30c7e03a1db6c2bf4dae30c8ac84a6f6a322c9d9e","observation_id":"681249bf-13bd-4c26-b018-d7409e9b6cf2","resolution":{"observed_at":"2026-08-05T18:16:07.639213Z","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":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-05T18:16:06.092960Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.092960Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:b3d5f20d1fa5c1eb5a92b07c6d4c68b6da342cc9c95ba747f2e69e9e289aa423","observation_id":"d469bdbe-7707-455d-be71-561a383dd73a","resolution":{"observed_at":"2026-08-05T18:16:06.092960Z","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-05T18:16:08.502057Z","title":"While this poses some restrictions on the allowed CFGs, most programming languages can be rewritten in a CFG that belongs to LALR(1)","venue":null,"work_id":"114a5c20-50da-4c53-ad77-37cb10e5565b","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.661144Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:1aeb931977ba215e8d2daca13ce4dc52f1268f0e9a69ec8701e10acd6c7d5c38","observation_id":"0dbf513d-8d52-450b-bee8-e24392a7894a","resolution":{"observed_at":"2026-08-05T18:16:08.506739Z","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-05T18:16:08.533827Z","title":"Openfst: A general and efficient weighted finite-state transducer library: (extended ab- stract of an invited talk)","venue":null,"work_id":"a8b64099-8e97-47e3-bd4d-9fc30cab1b7f","year":2007},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:05.854681Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:486fde9c87968df38e9ef421268ce54daa64a431cf9254fb409629c1c18f8b8b","observation_id":"2c06f14a-fcd4-410f-8706-001e040d3424","resolution":{"observed_at":"2026-08-05T18:16:08.538645Z","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":"2407.08103","last_updated":"2024-08-05T13:08:31Z","snapshot_observed_at":"2026-08-06T03:10:01.904292Z","submitted_at":"2024-07-11T00:25:01Z","title":"Automata-based constraints for language model decoding","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.08103","snapshot_observed_at":"2026-08-05T18:16:06.183509Z","title":"Automata-based constraints for language model decoding","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.183509Z"},"links":{"cited_paper":"/paper/2407.08103","citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:08edaad7dc0120ba86f964a96b2d1390a1c728c47f772ad89087a8e34572cb08","observation_id":"7b5ac287-97a8-4878-9948-ef22083fe3c4","resolution":{"observed_at":"2026-08-05T18:16:06.183509Z","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-05T18:16:08.518068Z","title":"Type-constrained code generation with language models","venue":null,"work_id":"da64f71c-66a0-44ae-a3ce-559a6150c118","year":2025},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.257839Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:33cc0107f35d49847dbd32f85e52bd86f762d5a5165d4ae36a4fd0c141703ece","observation_id":"26edea9b-99f3-4a78-8ad9-61067f5b5984","resolution":{"observed_at":"2026-08-05T18:16:08.522903Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:16:06.369508Z","title":"Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, and Loris D’Antoni","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-05T18:16:06.369508Z"},"links":{"citing_paper":"/paper/2508.15866"},"observation_digest":"sha256:2f66c946cf56fd2609b0ef7b45b7cb66675a8fde66328c858ed6ab66ec9872f2","observation_id":"a2f19282-517c-4b24-b771-21ff2346b552","resolution":{"observed_at":"2026-08-05T18:16:06.369508Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.15866","last_updated":"2025-08-20T20:48:18Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-09T03:08:18.374801Z","submitted_at":"2025-08-20T20:48:18Z","title":"Correctness-Guaranteed Code Generation via Constrained Decoding"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":7},"total_outbound_references":17},"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 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2508.15866."}