{"as_of":"2026-08-08T23:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c8fb15fd8d575e50d5987f507cd4b104fa876d7c808797ab1d6d78350c42f00b","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-05T16:34:40.272079Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2608.03588/citation-record","integrity":"/paper/2608.03588/integrity","json":"/paper/2608.03588/citation-record.json","paper":"/paper/2608.03588"},"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-05T16:34:41.663243Z","title":"Plotkin , title =","venue":null,"work_id":"673bf8d1-5ffa-43cb-8c93-98b415029073","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.222962Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:46daf29bab0cf6a198a56313985e7cd57c12ee3a39e623fb5823f26eb15731df","observation_id":"50ca88bc-a365-41b8-8ddc-9ab1b6db7e7c","resolution":{"observed_at":"2026-08-05T16:34:41.711819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:41.558831Z","title":"Larsen and Arne Skou , title =","venue":null,"work_id":"c0b214fc-b417-4c32-8136-72442cd10cfb","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.268340Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:e0655aa143a06cba602ae4c79bd6baae35a72b7aa226c9cad24f621218fc2ec5","observation_id":"9b8b7619-21c5-45d2-b547-4e81183f5e41","resolution":{"observed_at":"2026-08-05T16:34:41.608171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:41.460845Z","title":"Nordic Journal of Computing , volume =","venue":null,"work_id":"81b22511-f038-46db-8e8a-70c187470d25","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.333884Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:94fd0656a78f985dc923353aa70c2d0bd7c842ef7092f5c91110b7e75eb8cb5e","observation_id":"8fec8f90-088a-4178-b6eb-fb3e3986c995","resolution":{"observed_at":"2026-08-05T16:34:41.506829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:41.321063Z","title":null,"venue":null,"work_id":"f32a8741-91d8-491b-8702-930faab82154","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.405881Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:9d07aec5043507416d581276ae3b2cbed5ea8bb369452782822df6e20baf063d","observation_id":"6ff9e381-1a05-4c74-ac00-e312b496732c","resolution":{"observed_at":"2026-08-05T16:34:41.372161Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:41.196655Z","title":null,"venue":null,"work_id":"32c4f434-c03e-42e8-8d4f-898259cea37f","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.432443Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:c3d9b7f8e448d878f3232d6937c57c39b944396474fdfc9c2bacbeef1212a456","observation_id":"0b5a2551-8c4a-4981-ad1c-16db1d1ca895","resolution":{"observed_at":"2026-08-05T16:34:41.234138Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:41.004244Z","title":"The Computer Journal , volume =","venue":null,"work_id":"0bcdc00b-1ae8-4679-a657-5032f8e0d7d9","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.505746Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:28762fa1cec6e9ef2d4767dd4694c529e51ccf4c56d76c9c2dc1592aeb4995e1","observation_id":"753ab9bd-b9b4-4c33-a247-055003cd6331","resolution":{"observed_at":"2026-08-05T16:34:41.131855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:40.892376Z","title":"Proceedings of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation , pages =","venue":null,"work_id":"13d1ed63-24b6-4932-a306-31516a6f62bf","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.598867Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:017a1beedda5a201a85171f185d04f731a53bd4c9d775e7be4e6cc59f88905c8","observation_id":"da82f5e7-cd83-4263-ab39-d72bf0be0080","resolution":{"observed_at":"2026-08-05T16:34:40.945644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:40.747805Z","title":"Proceedings of the 44th International Conference on Software Engineering , pages =","venue":null,"work_id":"4bd3e0e3-d0ce-40b3-ac09-19d395606d44","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.661788Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:8ae715bdd7e8546358860ff1031a020ab3ed809ea8d851ff32f2fd9f5d2cb5c2","observation_id":"9c93ad2b-cbc7-41c5-ad73-a621e6fcf54c","resolution":{"observed_at":"2026-08-05T16:34:40.800496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T16:34:40.635274Z","title":"Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design , pages =","venue":null,"work_id":"7869a533-a0a2-4203-93a4-9b13eefae049","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.693328Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:b1bec7ce505e15a586c66d88b996e6943cb0de9f7b151f8c3e075dcdbeebe42b","observation_id":"cb40ef4b-2773-432b-963a-770ecc30dc11","resolution":{"observed_at":"2026-08-05T16:34:40.692758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.17807","last_updated":"2024-11-16T21:57:49Z","snapshot_observed_at":"2026-07-06T16:39:16.652626Z","submitted_at":"2023-10-26T22:58:19Z","title":"Clover: Closed-Loop Verifiable Code Generation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.17807","snapshot_observed_at":"2026-08-05T16:34:39.763558Z","title":"arXiv preprint arXiv:2310.17807 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.763558Z"},"links":{"cited_paper":"/paper/2310.17807","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:8fa9f41af8431b17f7aafa43a82853e97aee781c5bc16bbead30276a160a3b48","observation_id":"d45874fb-11ae-4385-8ed2-7e3d2f6f7308","resolution":{"observed_at":"2026-08-05T16:34:39.763558Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00762","last_updated":"2024-04-02T05:44:02Z","snapshot_observed_at":"2026-08-03T10:59:58.362641Z","submitted_at":"2024-03-31T18:15:49Z","title":"Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.00762","snapshot_observed_at":"2026-08-05T16:34:39.853447Z","title":"arXiv preprint arXiv:2404.00762 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.853447Z"},"links":{"cited_paper":"/paper/2404.00762","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:42bb7c505a7cdbe4ecd704137376aa2e6f8040fdacfd756fee03fdd15133bcb0","observation_id":"32ad9ee5-3eeb-45bf-b1ae-f7b997c8867a","resolution":{"observed_at":"2026-08-05T16:34:39.853447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-07-06T19:58:35.498502Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-08-05T16:34:39.938098Z","title":"arXiv preprint arXiv:2411.19275 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.938098Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:ed6d308ff9d80765cdcbf7f86b4940da109d1219820b88004613f0657ea814c0","observation_id":"45cb636f-6f68-4825-9f91-dff7f509374c","resolution":{"observed_at":"2026-08-05T16:34:39.938098Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-07T17:56:29.935571Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-08-05T16:34:40.020215Z","title":"arXiv preprint arXiv:2503.04779 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:40.020215Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:957f88a467ce54be0b7c5a100d237d39cbc2e539859f16c8a58a821507f75d35","observation_id":"69008018-8a29-48f4-bfd3-e4c8ad06ad34","resolution":{"observed_at":"2026-08-05T16:34:40.020215Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:34:40.074944Z","title":"arXiv preprint arXiv:2507.13290 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:40.074944Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:a56a1dc06aa943a5bc25bb14b8b67ece03d27b12df2809ca1f1255b295119677","observation_id":"27d80127-eb2a-4959-bacd-b96a9639952c","resolution":{"observed_at":"2026-08-05T16:34:40.074944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T16:34:40.134644Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:40.134644Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:6f51e68db2eeedf9909590dbd7320a9aab9fda4446b023c4c7b78d15dbbcef96","observation_id":"94d27910-0f44-42ec-af13-474971a23e0f","resolution":{"observed_at":"2026-08-05T16:34:40.134644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-05T16:34:40.191972Z","title":"Le and Charles Sutton , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:40.191972Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:1d2ec03b0b9dff9d42dcc4482c7bfc4390881edcd6a7744e160c3de4f10770d0","observation_id":"e0c785dc-44ae-4295-9a6c-9563928171c5","resolution":{"observed_at":"2026-08-05T16:34:40.191972Z","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-05T16:34:40.486234Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":"5255e335-7a9c-4fb2-9d36-2d02f68396c4","year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:40.272079Z"},"links":{"citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:d0fc0f8c407fd32992ee5f698661cd2a953671df6908bc83fd39670dd908aa1b","observation_id":"7c498112-29c1-4e46-8208-aedf91ce7200","resolution":{"observed_at":"2026-08-05T16:34:40.553738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T23:12:08.583315Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":8,"verified_exact":0,"verified_fuzzy":8},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2608.03588."}