{"as_of":"2026-08-09T11:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:81c91a8bf75e8fd4f63d3fbd31a7bba9198e6ca355b0f53caf792ef782b22bd8","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-25T20:29:40.439069Z","state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.25296/citation-record","integrity":"/paper/2606.25296/integrity","json":"/paper/2606.25296/citation-record.json","paper":"/paper/2606.25296"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-25T20:29:40.439069Z","title":"IEEE Draft Standard for Fault Accounting and Coverage Reporting to Digital Modules (FACR).IEEE P1804/D1.7, September 2016(2016), 1–76","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:99dda8f890d689a0791e19d88417a419ae2529a08037af67820a44626c2e771f","observation_id":"12d58830-fbb2-4582-9cb2-95d6823d1e49","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":"ISO 26262: Road vehicles — Functional safety","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:85a429d4759fdd80d61ff4cef76198b7982df8254bc4a95310157906ba97d7ba","observation_id":"e0e26301-5d87-4ef4-84bb-df52dbf541d7","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:2a463a946f407a78c913589d962f8c7a7ab874007fd266f17fe4c24f45df3880","observation_id":"d75b33b4-bedc-4446-9df8-2e6c6d4aa966","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:9d11f0a40d5133dd88bc5f86fd49be399db6f4f0dabeb485c40dc66fc7a0e5c5","observation_id":"6a4a82c9-7432-4a3a-a46c-89ef4e64d715","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":"Abramovici, B","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:1b09340a0e922c85abf43aefb138a945ff060d954856e4dbb9b0725f1e639a28","observation_id":"201e07b7-957a-43ca-a2a2-84253145b93f","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":"In1988 IEEE International Test Conference (ITC)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:d3292d39d3bd1f93d182e3b82084947c66b64ef643861dc6d260ebd50e4812c9","observation_id":"1f67438e-7ae7-4897-9c7c-745460a246bf","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:12289572f0008af7b98f808d7e8b1f0a9a48a3f8fef00ee593170344ff7c9aa4","observation_id":"5dd50f34-16f2-4734-ba86-1bba1c9cfb4c","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:cc8d165eed3fe90267e75f481b1b3fc4bddc280757da1c1dbef21013c39ba01e","observation_id":"7233bf43-7b9a-41bb-b2c9-95ff1f6812a8","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:1988e9dbbee65633009779f9dc80b54f12f47b046e60f48f2a50ab3d32cb546d","observation_id":"bf454525-c8b3-4a01-8357-6f77d70590f8","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:97aa01438cffa7169ed5141bed255db8c97bbc5a3996276bc14b0c41dee1a206","observation_id":"20c48f1f-4695-49ad-96df-31629553f6bc","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:eaf3daaa44139c2cbea80b847e5ab8da9b5a71a270eb127506c486b3423438fa","observation_id":"2e8f6e4c-c90d-4020-bae8-d51b72ce5b0f","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:d177f5b2e35a257872c4f175bf4d14554c046aaa934b119e4b18ec7ae92e20af","observation_id":"d1615293-028a-4b31-9f6f-998eea0a1875","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:42307d5c88af1f5f5315cff8b530f9525d5c34651200f0f62a030e3166d5af6f","observation_id":"53e8e031-3032-4c7f-a849-4c39e2f5632b","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":"Journal of Computer Science and Technology35, 5 (2020), 1198–1216","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:dc8383402e3f9212b1c97a3db4b907402c5b729320cf1d14cb777756cd991011","observation_id":"8cb5a840-f7d1-4dd2-b500-5e04fd847358","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:83c08f476752b57210aea3237ad79556c4f36ccfaf52ee6cbe67c29c021c3483","observation_id":"6dceb1a1-f829-4e64-9e14-3e53977cacc6","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:fdb6977a7e90dcdec55b8b0d35d28b19ab99bb86a2479e5210c2ad0ac7c38c21","observation_id":"e319b507-7018-43a2-8392-e3b0ba9b1386","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:9996e552f16ecb986a344331eb58d10367b5942eb1c7728bea984332467375d8","observation_id":"3dbbc4f9-439f-4dea-a181-8d0c9c7fdbdf","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:695ca7d4092f628e81bd5e58e5664391d73f9304625e9ecd091f9d4b3636c823","observation_id":"37d300bd-ffe3-44c4-8d7f-79b213f14223","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:88326e097b20812771eac3e33924764c3da06056b03c226a98d3f9cd84cf2294","observation_id":"a42ac8b2-50b0-492c-9d2c-9abfb4a41f78","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:896a81f91835051abc876ec60bbe9e843ccbef85fdf42a83a1f2e0aa8396a4bc","observation_id":"5d163e54-e310-4a17-acc6-06b5312fb811","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:86001845ad87001f187a130f78631071738bde39af4c0628c8efab85b883c359","observation_id":"315d3516-a69b-44d0-92dd-129dcf1fcfb0","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:0a19094dd901fc8966ccaf029566d2dbaf49c05a3fd7cf2677941650ec9c4e67","observation_id":"5fd97a03-df10-4b1f-b940-ca0ff5ff7546","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:5205181c4e601974a0e9ecec9e0bba0a7c8be736ad08375d8c074e6c5b7edb27","observation_id":"fb20a671-5983-4fc9-bcad-7ca6626bf13f","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:79ae79cf6f293c954ebb7695598a20f1b324a069b898b394badaf51fe2d489fa","observation_id":"619f038f-763d-4420-bebf-ab7ad3d0efb7","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:728fd27c0196b738354d3f4395ed72a482b1cf0d6f4b9cb68079170c66407af0","observation_id":"1bba93b1-3cb3-46d7-b504-ace7e0f1aa98","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.16130","last_updated":"2025-02-19T10:49:41Z","snapshot_observed_at":"2026-07-06T18:05:11.700127Z","submitted_at":"2024-04-24T18:38:11Z","title":"From Local to Global: A Graph RAG Approach to Query-Focused Summarization","version":2},"cited_work":{"arxiv_id":"2404.16130","doi":"10.48550/arxiv.2404.16130","metadata_source":"pith","pith_arxiv_id":"2404.16130","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"From Local to Global: A Graph RAG Approach to Query-Focused Summarization","venue":"cs.CL","work_id":"588618d7-fd41-4053-b34d-a981f8793039","year":2024},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"cited_paper":"/paper/2404.16130","citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:cd643d276f911c53eb6a7032d3e952e2e728bb91a41ce3afb9ed6b081fedd334","observation_id":"6c6e0416-a06a-47f1-b46c-b558e381976a","resolution":{"observed_at":"2026-07-04T20:20:06.569617Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-07-11T05:49:57.694079+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T05:49:57.694079+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-25T20:29:40.439069Z","title":"Shift-Left DFT","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:ac5828176126d2476cbb131b604c3c0633eabbe203096ae0c1209eb8ae863c35","observation_id":"efa83d51-ae2e-49cd-b04f-9674a97b6351","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:4bae5877f3c0ab23ec0abe550e692fa27afa0e1b22d81e913d650d4a95400c05","observation_id":"5cbffcc9-96c2-45cc-8cde-de2a6a9bd839","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:b8530ab1b4bce1dd4ee2b5fbbd70f4893c4e48d9472a7067b5c8b5717448f4bd","observation_id":"21529b07-e57f-4413-8d76-5466ae9b68d1","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:5ace128129af590aacc7d9d7222bd7ca168e1a0dfe92e7e5bafed1a077ec194f","observation_id":"f3bccbf1-5fee-40a7-98e8-2779a43e350c","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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":"2503.21322","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T20:20:06.567892Z","title":"HyperGraphRAG: Retrieval-Augmented Generation with Hypergraph-Structured Knowledge Representation //","venue":null,"work_id":"5ddf7f56-121c-48f1-afc5-fb1aa3cb83c6","year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:ff26be962e1e4f54cbdb4cd46a75779c2bc6520eee99b18a5ea40eb815d033e6","observation_id":"73729dca-a9b6-4f44-b4a2-95dcf1033ffc","resolution":{"observed_at":"2026-07-04T20:20:06.569591Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:38bea4b5f72298a7eae0a98475ded1eed8afebdfc1f2d50c7344122ce92ed6be","observation_id":"b0eb1dec-cd5e-4ce6-b710-487720ef3552","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:a5a855eabdadca24bdbcf32d57bc0a0914bba426cf6d5bebb8bb9d97948e4aee","observation_id":"19d2cf8c-d462-45ba-a6e6-c2d12e80cee0","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:ac1ba78cd6cb0514e43ff07aa319c698c79ee9796753e3d47c9c26db7a6431f9","observation_id":"0e5e73f6-9638-42ad-8d7f-10c7ce095b85","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:f66b5ffc65917ef1851935844b3ae828bbae17a7e615aa6bf8ffa73d3c73b681","observation_id":"ef6a8f98-7218-4c5a-a2d8-c498f785ba42","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:95c66b3929b403452884978032d099f8e5e5eacf5df87fdf4927f417b0b2a5bc","observation_id":"c88711b5-5c25-4703-92ab-5cf08c2701d7","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:f1daa4a82e9d6f4746179e2a356a68904e4b87e3f6863ec9505aba1f24a3fe91","observation_id":"4173c350-87d2-461d-bedc-bcf049209cd1","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:626bcef445eae8ad1aa350da18770df0d46b9ee5237ff59daecf15836dc3da4d","observation_id":"134768f3-0521-4a9b-b490-c36835b525f1","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:5e0816605e4ccb1b8c487f0191e7c453398711ad519ecd83de9328449a8ecd09","observation_id":"708af5c0-87c4-4079-84cc-98cc89509e45","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:4edf7f040fc213b7a3d8a90c8ce91d137fe496347cfa2e0496500fdc1c3df58e","observation_id":"6ee8861b-00fa-4c63-a2bb-1937597efb4a","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:8f6c4e088f592e9ad336ffcf3ae0b5cb6c551438275b9672f328454c468d7824","observation_id":"96fbb845-29a9-4840-a714-ca2c59e1881e","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"cited_work":{"arxiv_id":"2507.10338","doi":"10.48550/arxiv.2507.10338","metadata_source":"pith","pith_arxiv_id":"2507.10338","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","venue":"cs.SE","work_id":"1921ea6a-355c-476a-8523-792a4f38cb41","year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"cited_paper":"/paper/2507.10338","citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:6c46471f2fba41c86007d563fcff2f0ad648c5dcd97404c950503ef6e73fa36a","observation_id":"3e5c6ea2-b518-4b44-844d-2f75e79a48e5","resolution":{"observed_at":"2026-07-04T20:20:06.566660Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:b6c5db1dff1933c4b88e7220bf998a45d872511c9d1c2b48ddd776e36bde5f29","observation_id":"c9381e73-2e41-40eb-b954-c04ecdf0e173","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:b5fcbc3f4cc5216724a36bb1b3b38a6842561b4667b136ee6ec49ed83d1c0198","observation_id":"3ec4e5cf-e3b7-4251-a09a-7997eb73cb77","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:404363e8fa6655df7ca242305b3b2ff170aff35e7fa6e5a2bdf42489028188a9","observation_id":"a0ae275e-f98b-4d33-9c6f-a00d4cac673f","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","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-06-25T20:29:40.439069Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:8ce13d904b331010c269fbfcda93b3c849b0d9862be9a32269454e6c095cf914","observation_id":"790067e0-3ff6-43c7-8746-8697d6a02288","resolution":{"observed_at":"2026-06-25T20:29:40.439069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":3,"verified_fuzzy":0},"total_outbound_references":46},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2606.25296."}