{"as_of":"2026-08-10T15:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:29f43867b4aba1f665a8d172bd5258eafebb26a905e02240cec977a684e9301d","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T19:35:10.802910Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2509.09194/citation-record","integrity":"/paper/2509.09194/integrity","json":"/paper/2509.09194/citation-record.json","paper":"/paper/2509.09194"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T19:35:08.607341Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.607341Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:a84d98a44a66541b4ff52f5287331449f214477ca44f3b0fbd84590426e9aa79","observation_id":"e40e823b-1c02-4eaf-b67b-07a956daf73f","resolution":{"observed_at":"2026-08-04T19:35:08.607341Z","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-04T19:35:08.651557Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.651557Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:d0e5948c152f93629a3b95bbe1f93d920ee054d4c74906c196b3aba8cc660df4","observation_id":"10bf5638-e18b-43fd-8b75-3ba79a793d8e","resolution":{"observed_at":"2026-08-04T19:35:08.651557Z","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-04T19:35:08.665654Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.665654Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:016f6ffed50bd1e133a66246e5409d0da3a5b039c5fb428daaf23a5beb5f3ecb","observation_id":"d166fa17-d2de-4133-b8eb-3746f8fb0df4","resolution":{"observed_at":"2026-08-04T19:35:08.665654Z","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-04T19:35:08.712621Z","title":"Ashrov and G","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.712621Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:b1e9a6594f705643ce20e914544f11a17d3a351b97b3a39097edd942b52dad55","observation_id":"55dece47-9140-4dda-8614-8124beb312bb","resolution":{"observed_at":"2026-08-04T19:35:08.712621Z","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-04T19:35:08.752887Z","title":"Ashrov, A","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.752887Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:02fff40a97489b61ace03bd0c74defd028941187c3edf3b082f14b026bf15c3f","observation_id":"0cce687e-468b-47d6-8b70-eada258a1d12","resolution":{"observed_at":"2026-08-04T19:35:08.752887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.02311","last_updated":"2022-10-05T06:02:24Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-04-05T16:11:45Z","title":"PaLM: Scaling Language Modeling with Pathways","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.02311","snapshot_observed_at":"2026-08-04T19:35:08.817950Z","title":"Chowdhery, S","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.817950Z"},"links":{"cited_paper":"/paper/2204.02311","citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:878c5b4f031633ccb2f30277bdeb6323088e6bec4c27c1f277ff028192d4501f","observation_id":"4574bb6b-32b8-47b7-8468-103753305e8c","resolution":{"observed_at":"2026-08-04T19:35:08.817950Z","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-04T19:35:08.886054Z","title":"Corsi, R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.886054Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:e9bc2a3824381611b24a160773a212a3cda50a098a75ab6d2367aa009b3e171b","observation_id":"4b8c3f8b-1053-45fb-8572-be74d8f92e02","resolution":{"observed_at":"2026-08-04T19:35:08.886054Z","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-04T19:35:08.927571Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.927571Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:795a74e3ef9eb57bda73ee9036dc3344cd16556c61f279a87a0fc6c63e6eaf19","observation_id":"759c8539-c678-4b09-b3e6-c9342c79adfd","resolution":{"observed_at":"2026-08-04T19:35:08.927571Z","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-04T19:35:08.962347Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.962347Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:f9eaf7891150ff9ad3d4a3b83e4c7d919eb60fea27655bb81aa85c5ecdd934dc","observation_id":"13d2ea75-ae58-4ca6-938f-6abae1297250","resolution":{"observed_at":"2026-08-04T19:35:08.962347Z","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-04T19:35:08.993336Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:08.993336Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:0760879a470fd9d095bf7278048b3400a021a941a23b5a0bf0b43d8b5ad92a84","observation_id":"cae51c19-83ae-44a2-8c17-b4aba8eae79c","resolution":{"observed_at":"2026-08-04T19:35:08.993336Z","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-04T19:35:09.038535Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.038535Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:7e7be247d1c2261441351dd9b366d28050df2fe15dd6736ae4feefa4bf749780","observation_id":"6f56ff8a-d2ac-4e79-a6fc-00b81250389d","resolution":{"observed_at":"2026-08-04T19:35:09.038535Z","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-04T19:35:09.068399Z","title":"Greenyer, D","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.068399Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:5a4264b76b7c3c05bb44106db4a482abdbf7f56b33f168f86624571b29305f8a","observation_id":"79de49c3-a599-4104-9263-6b459882d3d1","resolution":{"observed_at":"2026-08-04T19:35:09.068399Z","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-04T19:35:09.231040Z","title":"Greenyer, D","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.231040Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:086fbcf7bfcdb2c7856b1fdb5c6539fde7234682041c6b0d1e3ae2fa0b2a0e5d","observation_id":"513a0c69-79db-4741-a25c-c2a865cd6903","resolution":{"observed_at":"2026-08-04T19:35:09.231040Z","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-04T19:35:09.277802Z","title":"Greenyer, D","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.277802Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:eddd19ffd07c4ee690e47010e5884be8ec551d7eeb1e9347892c4cb1ab4bd6aa","observation_id":"b615b317-79d4-4529-9994-003e5c81d530","resolution":{"observed_at":"2026-08-04T19:35:09.277802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.00932","last_updated":"2024-11-01T17:14:37Z","snapshot_observed_at":"2026-07-06T19:43:50.724897Z","submitted_at":"2024-11-01T17:14:37Z","title":"LLMs: A Game-Changer for Software Engineers?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.00932","snapshot_observed_at":"2026-08-04T19:35:09.438159Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.438159Z"},"links":{"cited_paper":"/paper/2411.00932","citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:74e985d111159e746d82c3269009146baa86b230fc868ab4cca738c16a48acf1","observation_id":"f86a7984-8515-4e44-9e6e-2003596b7b36","resolution":{"observed_at":"2026-08-04T19:35:09.438159Z","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-04T19:35:09.478614Z","title":"Harel, A","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.478614Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:dbbf19d2af6c6b79762446faa4a405edb8b0de47f34edb9a147a992acf15066d","observation_id":"dea397b0-29ab-4285-8767-ede7bb3118f4","resolution":{"observed_at":"2026-08-04T19:35:09.478614Z","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-04T19:35:09.501773Z","title":"Harel, A","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.501773Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:b3d95d15dca1bc007e718ca0e6dec73fd396b214ea95a8f41258809dc22b1769","observation_id":"76d231d0-83b0-4ee5-993a-caeb0c942469","resolution":{"observed_at":"2026-08-04T19:35:09.501773Z","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-04T19:35:09.543562Z","title":"Harel, A","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.543562Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:d65625a10ba6121efacde403b91d79f70e1b7156bac7d328c3ae83f831dcd343","observation_id":"668ec3e7-f947-4909-b726-0a05950c48d2","resolution":{"observed_at":"2026-08-04T19:35:09.543562Z","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-04T19:35:09.573110Z","title":"Harel and G","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.573110Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:6eb184a2776395cce28eb01466779f59c843b0e4f2c07f6dcba6de4871bbf344","observation_id":"1d8ec81f-9e9e-414d-80d9-15b149e971ea","resolution":{"observed_at":"2026-08-04T19:35:09.573110Z","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-04T19:35:09.607767Z","title":"Harel, G","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.607767Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:98de2ac39177396eaa0596e7f067d35c61f2b87aed14a4e9c7f16d7ac40cd04d","observation_id":"907dfa1b-f92e-43e3-ab5c-4676a0f8039e","resolution":{"observed_at":"2026-08-04T19:35:09.607767Z","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-04T19:35:09.629995Z","title":"Harel, G","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.629995Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:76c43a4512bd406487859df00466a56e12b29b3fbc4213c5f983eb103bb1e5ec","observation_id":"e303139e-f7fe-4290-9dc5-cddb2209bfa2","resolution":{"observed_at":"2026-08-04T19:35:09.629995Z","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-04T19:35:09.646755Z","title":"Harel, G","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.646755Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:a9ffc8a01653157035c25b4d85c752933a2e8b516d321235370ad653d76c9d82","observation_id":"7f4f8bfa-4a61-444c-88ab-ccf5d9ba97be","resolution":{"observed_at":"2026-08-04T19:35:09.646755Z","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-04T19:35:09.730266Z","title":"Harel, G","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.730266Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:b90cd026b1f991497f61e527da187b4be7c54ca1b68eee30f5ffbb713738de21","observation_id":"a45740d9-4a46-4c0a-aa10-912fac63c7d8","resolution":{"observed_at":"2026-08-04T19:35:09.730266Z","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-04T19:35:09.789517Z","title":"Harel, G","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.789517Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:743a4c36bcdc9910f39f875210ac087418ae58c64fc11d6fc1a3d2ba6f7e329f","observation_id":"dd07f660-1e69-4839-9773-ea110966ab00","resolution":{"observed_at":"2026-08-04T19:35:09.789517Z","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-04T19:35:09.840099Z","title":"Harel, G","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.840099Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:585a13915ef84823da663f919e5dc01d26af41aac498e559e176721dd16ced6b","observation_id":"af88e2d4-2d30-4fd5-9666-8f33932c0cbe","resolution":{"observed_at":"2026-08-04T19:35:09.840099Z","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-04T19:35:09.863720Z","title":"Harel, G","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.863720Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:5da417b8002a19654d81397d23119ffe754005108777f4aeb2e30df025a180ba","observation_id":"393502b6-a7a6-469c-b2fb-90a7e7da10f0","resolution":{"observed_at":"2026-08-04T19:35:09.863720Z","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-04T19:35:09.920931Z","title":"Harel, G","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.920931Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:5f468674a027df682028262e003871ee52121d8a62e6284a56cd52602294bd22","observation_id":"0ae39c39-2d61-4388-830c-e4764be3da69","resolution":{"observed_at":"2026-08-04T19:35:09.920931Z","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-04T19:35:09.950622Z","title":"Harel, G","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.950622Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:243315a1da7f386becce33d88e1cbeee3b89559c98070846086db53236e2938a","observation_id":"aba4bcd8-3ba2-4ed3-b1e5-ddbabaf27a9c","resolution":{"observed_at":"2026-08-04T19:35:09.950622Z","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-04T19:35:10.010103Z","title":"Harel, G","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.010103Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:b76736fa27e752f9cace3748c83acdd6b1a7fa5dbe1a2d071e2d52183927f665","observation_id":"4617f4d0-638c-4097-a983-db0944503ee6","resolution":{"observed_at":"2026-08-04T19:35:10.010103Z","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-04T19:35:10.071297Z","title":"Harel, R","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.071297Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:309b53403bd353cd46820ad90eb1ff3db115a1a5e5b4ae76db1cacd6e87902f0","observation_id":"aa6935b4-022e-4c05-8643-2260b8468155","resolution":{"observed_at":"2026-08-04T19:35:10.071297Z","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-04T19:35:10.128176Z","title":"Harel, A","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.128176Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:ab17ae4137c3b50a51795ae7b74961326f18ca1dbde9099c8cec58f6dea9d18a","observation_id":"265f8057-a1ea-4213-b668-02f34de94011","resolution":{"observed_at":"2026-08-04T19:35:10.128176Z","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-04T19:35:10.180629Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.180629Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:e8a1a43e5f00d15f5089ad8ab5d0956d075352c1f9c1381148f73661c694c5f1","observation_id":"deed5947-49ef-4e31-95f1-53180ed81035","resolution":{"observed_at":"2026-08-04T19:35:10.180629Z","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-04T19:35:10.222814Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.222814Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:d1113f54a2bfec72bc71e8be1b7d25a559f16beb6079bc19437d103839018be8","observation_id":"608a02a4-0cd8-4493-ae9e-8cbcc7af047e","resolution":{"observed_at":"2026-08-04T19:35:10.222814Z","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-04T19:35:10.284068Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.284068Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:32eff80fac2dbda31aa2da14ae01ad3ec9e510f5467a82752b6fa647a2ecb8f4","observation_id":"fda3710e-fc1c-467e-9a5f-df54dae10436","resolution":{"observed_at":"2026-08-04T19:35:10.284068Z","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-04T19:35:10.339053Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.339053Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:5c6c3e1a1c9587894b0d45c4a8c4654daff7c77614f81cf8b68ed6c084f6e1cf","observation_id":"8bea4cf7-c3b1-465a-a043-68ed52f45eb0","resolution":{"observed_at":"2026-08-04T19:35:10.339053Z","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-04T19:35:10.367986Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.367986Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:ea7184be71c3aec54a3213d4d4bb0aef15ab73f095fbcf442ba1bae3ce21c5ee","observation_id":"4d534dc6-77dd-43eb-9418-b182d1ef97b3","resolution":{"observed_at":"2026-08-04T19:35:10.367986Z","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-04T19:35:10.418193Z","title":"Katz and A","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.418193Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:9c4e7afcfccd8a347126c150b910292cee813d3da052f85e6a88038d764f1027","observation_id":"b382cd74-17b7-459b-809d-ccdf7ac63177","resolution":{"observed_at":"2026-08-04T19:35:10.418193Z","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-04T19:35:10.431003Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.431003Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:fc9f66457fb54d92f4ebf3d2aad0bb3f18f8f4ba2d50bd6e4103801a571c3432","observation_id":"ae72c701-d8c0-4d06-ac10-974e35f695b2","resolution":{"observed_at":"2026-08-04T19:35:10.431003Z","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-04T19:35:10.452972Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.452972Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:306685bd29758ea159d85e511fc0c819a4436023ef9da47568ecf8b9963359a4","observation_id":"7bab3328-f4bd-4bbe-859f-05637d82f374","resolution":{"observed_at":"2026-08-04T19:35:10.452972Z","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-04T19:35:10.471508Z","title":"Marron, Y","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.471508Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:db77ef6749c52daf0e94327332b7f85285ac7a0c494f64b79f1427a8d67b2a22","observation_id":"07b3e2ff-4061-4dbf-af7e-1c8b2ce45f8a","resolution":{"observed_at":"2026-08-04T19:35:10.471508Z","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-04T19:35:10.477785Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.477785Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:9427113831ed771e094672b162cc7b2e8115a4c1fe707258eeda1c69f82867cb","observation_id":"7cd742bb-22cb-4f3d-82d3-3efeac780604","resolution":{"observed_at":"2026-08-04T19:35:10.477785Z","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-04T19:35:10.509234Z","title":"Steinberg, J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.509234Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:a021302977472864cddd4c942265a6ec5a66c2b6c451443a020611eec989541e","observation_id":"821a3afb-0c6e-4e71-94c7-cce51d92f5bc","resolution":{"observed_at":"2026-08-04T19:35:10.509234Z","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-04T19:35:10.527334Z","title":"Steinberg, J","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.527334Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:f021a0a9045796ff2986b25e579e8c6640c64604d51e9b85e6874cf1b847ae29","observation_id":"7976270a-42a3-45c8-90d9-c2fb81a067ce","resolution":{"observed_at":"2026-08-04T19:35:10.527334Z","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-04T19:35:10.563982Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.563982Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:c63790eac8418dfc17802e43d490cf89da1e8ecd17a0aab2b7866646fb72b8c7","observation_id":"9dbe54d1-fc69-4d40-afd4-ab6b0cd4ba37","resolution":{"observed_at":"2026-08-04T19:35:10.563982Z","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-04T19:35:10.622031Z","title":"Tleemann","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.622031Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:d34a05b795a7e3fdff35bb4a3c5c1e021e27e8053f72fc133c75e48275801037","observation_id":"8c217eff-ce8c-4190-8988-fd7c8e8ccbd0","resolution":{"observed_at":"2026-08-04T19:35:10.622031Z","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-04T19:35:10.674407Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.674407Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:4e64dde56ba34796d1ba87f939b3693b38ec1568d96fc0f66adfd837b2aa9898","observation_id":"2dc5e39e-443e-4c85-9e13-e6aa0a6bba2a","resolution":{"observed_at":"2026-08-04T19:35:10.674407Z","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-04T19:35:10.705473Z","title":"Yaacov, A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.705473Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:10449db5c9cd740b8d267c64ef0adb028e659368128c4767f4ea35d8fe379a98","observation_id":"3d7bcf90-12f7-4917-b37d-6ab4a5c02124","resolution":{"observed_at":"2026-08-04T19:35:10.705473Z","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-04T19:35:10.735032Z","title":"Yaacov, G","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.735032Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:5e742700834fdcd0fa3f81c2a16c81c3d81b7eb7356df4d5ae69a7e902554362","observation_id":"50af05d1-77cd-4246-bdbd-615706e5b8fb","resolution":{"observed_at":"2026-08-04T19:35:10.735032Z","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-04T19:35:10.760640Z","title":"Yerushalmi, G","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.760640Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:6990bfe5a6dcf415d40b7a10e1d6fd1cf81cc043a488ff7b8aa80c5eb135a65e","observation_id":"96696658-0416-4667-9abe-fc59e51f6690","resolution":{"observed_at":"2026-08-04T19:35:10.760640Z","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-04T19:35:10.802910Z","title":"Yerushalmi, G","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:10.802910Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:a7a7e3842279313b0289174629f40fb637d19d73e4af1039ae9de76171cb9652","observation_id":"2cf43fbf-90dc-44e1-bb78-e576b316872d","resolution":{"observed_at":"2026-08-04T19:35:10.802910Z","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-04T19:35:09.338042Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.338042Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:431248d3dcdd4fd3d452677758e8ffa9c8ec2525f3ae66030729096ef5cf3e3d","observation_id":"76f897d9-fff2-4aad-aa15-0089505c0093","resolution":{"observed_at":"2026-08-04T19:35:09.338042Z","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-04T19:35:09.127621Z","title":"SCP)149 (2017), 15–27","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-04T19:35:09.127621Z"},"links":{"citing_paper":"/paper/2509.09194"},"observation_digest":"sha256:501f90558096d7d9c41f1ec5b2ad3f417461c307ed480a66fc955faa4a44eaea","observation_id":"7bae1880-129c-4205-b249-58287dd04432","resolution":{"observed_at":"2026-08-04T19:35:09.127621Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.09194","last_updated":"2025-09-11T07:10:25Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-10T03:50:55.008026Z","submitted_at":"2025-09-11T07:10:25Z","title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":52,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":52},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2509.09194."}