{"as_of":"2026-08-07T22:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:35d5fc829356231eaaec27d01d627181636a9aee4d957c9296bff989b008dc38","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-07T06:34:17.273281+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-04T19:35:07.846317Z","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:a52cb52ef54d9598e3152413702329f730c2e44121ac1d9fb4a28ce1b817d8e3","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-04T19:35:07.846317Z","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:334a28a9aa58d9cb04ac3cc56c1df385379179004c5a619041ce3df087d13216","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-04T19:35:07.846317Z","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:d727a3618835b8b26d191e1257e08a3340402fdf31bd915703dc2f7acf30f307","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-04T19:35:07.846317Z","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:f9246b0846724653b3e00e12725bbac960b2ef45d233e4a24797e8ce7306ea21","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-04T19:35:07.846317Z","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:020d6621065f945cc1f1f3f94cd8f66e77a8ffb77a1f5a8a8d65ea7d1ddfa629","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-04T19:35:07.846317Z","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:428606cdab57add949b69eb5bd47bb5626dc62d495229da0220dd974308eed70","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-04T19:35:07.846317Z","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:4f4e768e7736327c86c1e242e565d9d450a9a9a5401274d0ed4d3aafe94de133","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-04T19:35:07.846317Z","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:934a5d16d8fbc4374d1950c85ef9b53f53dfadbe19b059a8b822c4f3239f8ed6","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-04T19:35:07.846317Z","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:c60d8a8f3c689f13d413f405b5d5ef14d83e45ad919af321164e0a906bf86c2c","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-04T19:35:07.846317Z","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:a9bab6c45312660421049cea701ade83956f3dd93bbfba7d7e01506a7d8e248a","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-04T19:35:07.846317Z","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:7b981dcee67adb69b5ac1e98fd4762c4c5681c94176c2ed6c428ece455bc82f7","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-04T19:35:07.846317Z","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:4944674e3d734e5c2153cc2879b29154f22c2242dab9efc757b1d743f0a863cb","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-04T19:35:07.846317Z","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:1d5f695e745c14fc49e0deff54f766b627890ca21ec47663b548a7ab9eb623df","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-04T19:35:07.846317Z","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:0d2c5f7b9fdae3b35cba0d292edff3ab69677ab19531d709a025a98d97f5dad3","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-04T19:35:07.846317Z","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:1ecb02801868896ad90d5b4619104345f9d20febba425193f7b7452577af481e","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-04T19:35:07.846317Z","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:af43d19d182745d4706e59a6d349dc07c586e960641e81bb167b0569c8f66fad","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-04T19:35:07.846317Z","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:d6cca1f8164f082bcdb8f8c79607c9e21f57f43889ee088cecee44c174885ac4","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-04T19:35:07.846317Z","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:7f3c8ae8659a90452c88221301df075002fbab40210bc8c5fa4dbd61b969d81d","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-04T19:35:07.846317Z","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:db8d144439793776aa3a365d31161b8b383f1920c03331b34964ff955fff4488","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-04T19:35:07.846317Z","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:fa7a2c0e0ef5353c5492505a38c9e26cbfc1bb2c6601d591978764f2e50d93b6","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-04T19:35:07.846317Z","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:ecf994c42d472acb81ebfb87a39c09a8b899358a11aeb9ca52eaf96cb3a2f3bc","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-04T19:35:07.846317Z","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:2df10f5097f32a5b2011e4b53aa4a33b29143be51f83222c3ecbf4077d8c5d42","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-04T19:35:07.846317Z","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:d1e16af0f3599c742adfbe00609c6de838d420f5bb9dc9ed9d2b2a456c0ddb61","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-04T19:35:07.846317Z","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:fd1d04610fdfbbdd6b4e5bcade948778d0c86f86023abd0139c92f8f5b238fc1","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-04T19:35:07.846317Z","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:07ece9c5d8a5cfd3d553278aede0da955792dcd0bea85d5745709260c00d1ac5","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-04T19:35:07.846317Z","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:8c8f62b46735c77a65c4a223c69da5fd9c5b7b668dbfd8704903076b754fea09","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-04T19:35:07.846317Z","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:9dbb5c3d766c3f2c082487d01e4b6731ed0f97544b312f6d4a0873c82081be42","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-04T19:35:07.846317Z","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:a8a8437769ce39dfaf67049660cf21e49ececdcbd724c360778c95d7003547df","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-04T19:35:07.846317Z","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:a64ea62487824b0797375a0de52db95a499070d8cae4277c52a61da78756d787","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-04T19:35:07.846317Z","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:c6b6a60658c5d07f799e3e6f988ce3b2753a0d1b50e06b5b870999b24d55ff0d","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-04T19:35:07.846317Z","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:12456d19fa46532a5d1816dd474a308bede4ec2d05e4b3b638c65c069b48c9f2","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-04T19:35:07.846317Z","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:c1645c0df30ec928ecdeeb9c728e8d75f06b7e8d71f88184ea719a7ef032357d","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-04T19:35:07.846317Z","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:26d264438f50ac1c513545238f173c23b0076d1b2eb6a9697de02995c0d75556","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-04T19:35:07.846317Z","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:b42f565b48483815f05e37b7513e4e9da7bc4ed2f8bc198afcb08311a7febbd7","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-04T19:35:07.846317Z","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:dd337e9303eed596c13b3dd772f75f24f5fa2b59250a9282953caa4c0752a13f","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-04T19:35:07.846317Z","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:cf70f145c6424c95b5bbee6d0ca5be48419d9b5c55618915a4710b04e6458655","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-04T19:35:07.846317Z","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:be6a12e097217ea658242da0fd701282e99e9e660b151fb561751349c25f1e49","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-04T19:35:07.846317Z","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:6150dfa473f0c2f2b2fdffe10cdbb615933c0e59e9b85af1c8dd09a6b625c5f9","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-04T19:35:07.846317Z","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:14dfd46ed3241e36ade4f8aa8c6c837c60df67c474f714daa9672da86e5f8cf3","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-04T19:35:07.846317Z","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:a9d4c96a0145961017c54217f3e929ebb099be9ec606294aebfdf315dc28420a","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-04T19:35:07.846317Z","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:c670060bcd8a54f9d93dbc282e5bdbc0aa3e461d11fba1580a81a39f6c921c79","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-04T19:35:07.846317Z","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:aaa0b9a76221a4a437ee56ff0762a7ea7fe7b175ead8d5119962920e971f020c","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-04T19:35:07.846317Z","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:d2e4e3729e7741938cd4e9798330bcfc1fb472cdaa9d59877470d3b1e2e347f7","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-04T19:35:07.846317Z","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:cf1969d1d65b2f0064d378967d6acde50357c05f5d3c51d9731400eda41a3fa1","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-04T19:35:07.846317Z","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:dfc1019248e1c05f3597fc63962f42f846e5b3f54ff8ddb63bb2793a700b9279","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-04T19:35:07.846317Z","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:8baae91cc2dd3d4c1d8b77f89c14a89a236c4156d2193359600445a11d1b658a","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-04T19:35:07.846317Z","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:6f52607b5c80ecaf90a22134acf7416785b89fd3bd33a29da5a349f458b783fb","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-04T19:35:07.846317Z","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:1e6dfa194304e6ef6d3281237b1d83ae25d33233b7f56397d771a77d64cce9db","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-04T19:35:07.846317Z","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:c1462ff2b3aa1d29b9ee10608e9a93c500c0d80328df996a2508b899f146bbc3","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-04T19:35:07.846317Z","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:9e490a0be983abe62a93dae23a0a15cb9af2e4e566b71abba8325349fd29dad0","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-04T19:35:07.846317Z","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:61eece702587c50852a6d0267fc6934e5c70214109bd35cdb3a2ed5b49ea451c","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-04T19:35:07.846317Z","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:8b6fc79b2a59e3e3ca527fbdcc4f6148f69a5c252af098e1a8602a590ca5175c","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-04T19:35:07.846317Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2509.09194."}