{"as_of":"2026-08-08T04:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ff1b8eee773d33c49869fe8c423c8d17fe9542289e3701df2a1445bb195fe41c","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T23:29:21.886953Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"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/2506.17865/citation-record","integrity":"/paper/2506.17865/integrity","json":"/paper/2506.17865/citation-record.json","paper":"/paper/2506.17865"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:29.166595Z","title":"Bhunia and M","venue":null,"work_id":"21dfebc7-619a-40e0-9307-2a93640f410c","year":2018},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:18.132679Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:f3172f66278e9b7a2ede02a4ff3d0abdb850b545d4ee124cc6a36d42241a0afe","observation_id":"c9f27540-f5ad-428b-9a32-f79ecfdc49be","resolution":{"observed_at":"2026-08-06T23:29:29.299681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:28.892701Z","title":"A survey on assertion- based hardware verification,","venue":null,"work_id":"2213f29b-b436-4c0c-afdf-295cd5122f7b","year":2022},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:18.254747Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:1f941ad7dd787c35f86e8a1d04e3142b6e013702a693e883447edeecf4b56b71","observation_id":"046bad82-1a3c-4479-ad05-2257425a56a4","resolution":{"observed_at":"2026-08-06T23:29:29.011967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:18.386152Z","title":"Synfuzz: Leveraging fuzzing of netlist to detect synthesis bugs,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:18.386152Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:58571a614f5d4712db4f3df91e6274b84b065294dc3844fcb22a8f7004943f28","observation_id":"624dceed-560d-4180-be67-971a4ed57a30","resolution":{"observed_at":"2026-08-06T23:29:18.386152Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:28.595757Z","title":"Hypfuzz: formal-assisted processor fuzzing,","venue":null,"work_id":"ef66655a-ac11-44c7-b8f0-8fb07e7d0bb6","year":2023},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:18.502842Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:0ddb916986ac8b4bcc82c6e84d0a3c91945a5b070c2ec23d355efd1394fec290","observation_id":"b7b4307c-b1c8-49e6-a581-b817e0c5195d","resolution":{"observed_at":"2026-08-06T23:29:28.754876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:28.243526Z","title":"Navigating soc security landscape on llm-guided paths,","venue":null,"work_id":"5c5a0782-12f2-49e6-aedd-57c4d979832c","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:18.600961Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:2fd6e18da044c7a2d093459445062f7bf9286d253a6fbce0730d96408e6832c6","observation_id":"1d727621-6ab5-4972-bd8b-bffe373dae7f","resolution":{"observed_at":"2026-08-06T23:29:28.411128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:27.847044Z","title":"Using LLMs to Facilitate Formal Verification of RTL,","venue":null,"work_id":"ebfe6940-f87b-4066-aab5-5f06074d50d5","year":2023},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:18.787153Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:91890e093a443624f33fb250be298b3ec20a8354d8329f7d4fc463f662fb5207","observation_id":"36bbc00a-6f9e-4276-851f-dcd87f143ba4","resolution":{"observed_at":"2026-08-06T23:29:27.985361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:27.458346Z","title":"(Security) Assertions by Large Language Models,","venue":null,"work_id":"43584fe9-605f-4b91-84c3-917488c061cb","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:19.064166Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:a5288f0528add8a8a84ed0ec8664a4ea843869acc802d9c7665c582d83a897f1","observation_id":"e125eeed-4cbf-417b-8dfb-65635162fa37","resolution":{"observed_at":"2026-08-06T23:29:27.604199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:27.086274Z","title":"SPELL: An End-to-End Tool Flow for LLM-Guided Secure SoC Design for Embedded Systems,","venue":null,"work_id":"9a819b8e-cc1e-42e3-89a3-b80bde64550f","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:19.208377Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:0c0121fadc8c9656b73c36f96fcdbebfbb322044cbe11e48df863c934053dc00","observation_id":"c68f02e3-1257-4c52-abe5-2d60ada909fa","resolution":{"observed_at":"2026-08-06T23:29:27.225718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:19.328608Z","title":"As- sertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:19.328608Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:aac4523e5583d48be2d3038b02b60061121c60d8cd39afb2cab50f37d3568a4b","observation_id":"4c492cb7-4004-49ba-9bcf-2d1f50c65100","resolution":{"observed_at":"2026-08-06T23:29:19.328608Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:26.634106Z","title":"Unlocking Hardware Security Assurance: The Potential of LLMs,","venue":null,"work_id":"a9ec9d26-57c1-4379-87f7-676816924290","year":2023},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:19.491436Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:e08d3028de3a0ad9053ab4eade6c7d07a762573170c0dbb4cc612d6b39b7dafa","observation_id":"c47a952d-9243-41d5-a740-b5ab5c39291e","resolution":{"observed_at":"2026-08-06T23:29:26.796746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:26.241809Z","title":"LASP: LLM Assisted Security Property Generation for SoC Verifica- tion,","venue":null,"work_id":"e5d30e76-fc30-45bd-80e2-04ef5aa0ff8c","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:19.622825Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:9f2169a11b718595fe3626c3cfcb0060ddc08b8631b730da6ae19e616f187533","observation_id":"344ae610-6dca-4c2a-bbfd-9df4f1d2fc21","resolution":{"observed_at":"2026-08-06T23:29:26.445371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:25.764519Z","title":"Examining Zero-Shot Vulnerability Repair with Large Language Models,","venue":null,"work_id":"3b98e4fd-3adf-434d-b971-bab5ba5e245b","year":2023},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:19.779020Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:4aa2b353d6fe07349631db07a05a671a97141df30eb0c607ac8c8d5427eca20f","observation_id":"611bb725-adf1-4a60-a071-51892963251b","resolution":{"observed_at":"2026-08-06T23:29:26.067198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:25.436724Z","title":"Fixing Hardware Security Bugs with Large Language Models,","venue":null,"work_id":"ca0951e3-4ca3-487b-96f3-58009afd94a2","year":2023},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:19.967660Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:d68799ff8c2d3820dcb251fdb3af30dfd1f498907347fb6841c41e69c246f0a1","observation_id":"510aca80-99e4-418d-b6ed-01a704c5b855","resolution":{"observed_at":"2026-08-06T23:29:25.570390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:25.140917Z","title":"DIV AS: An LLM-based End-to- End Framework for SoC Security Analysis and Policy-based Protection,","venue":null,"work_id":"9f450620-3e4d-4ff8-8630-cc74039b43a8","year":2023},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:20.142822Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:d7d07fefa8873570296af7d9d67a993cc03b82ed3998d24dca5a3416c0068dcf","observation_id":"4c0c54c0-4ea4-40f2-9659-a17fcabc933b","resolution":{"observed_at":"2026-08-06T23:29:25.270825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:24.795917Z","title":"DiSPEL: A Framework for SoC Security Policy Synthesis and Distributed Enforcement,","venue":null,"work_id":"96447511-ee24-49d9-8905-6b1e5ea0ee18","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:20.333191Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:ceb6ccce22556d34021f1ef463f8b4e51e7dbccce6b4a4c6aedc0323f271be1c","observation_id":"8cb6f837-9955-4386-b880-a30067cb51e6","resolution":{"observed_at":"2026-08-06T23:29:25.023283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:24.366088Z","title":"Vacuity detection in temporal model checking,","venue":null,"work_id":"131c47d0-35ba-4132-8c33-1d56576aa66a","year":1999},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:20.489548Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:e1063a6faf5f7f54f523980d3408f6fc76be44c77f3c8541e7d9577fa85cfbba","observation_id":"3c6e7979-a336-4587-bd39-f1ddbefff2dd","resolution":{"observed_at":"2026-08-06T23:29:24.551114Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:24.081822Z","title":"Efficient detection of vacuity in actl formulas,","venue":null,"work_id":"0cf17e89-706c-440e-9090-8c2fe095edc2","year":1997},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:20.635969Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:186528c750139154abfc6be281b8c98bfaa22ff5b0ceb5039b96fa88da8aaed6","observation_id":"7a6198fb-f9c9-4dee-8017-e72cd6cdfbd8","resolution":{"observed_at":"2026-08-06T23:29:24.193097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:23.790575Z","title":"Clip: A structural approach to cut points matching for logic equivalence checking,","venue":null,"work_id":"86f7408a-5f99-4286-8d94-e952f5def161","year":2025},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:20.786388Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:b6a468aeeb567ee8279ccb17fd7bb71f610deaa5e099537e645e1cc3e4027ac3","observation_id":"f197258d-c6c9-4120-a6f1-7131c40cc5de","resolution":{"observed_at":"2026-08-06T23:29:23.938878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:23.452215Z","title":"ChipNeMo: Domain-Adapted LLMs for Chip Design,","venue":null,"work_id":"2b8f2e4d-6c95-46b0-a405-4027dfa62f83","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:21.038500Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:cfdc7b467a7004e8f8e8d65ba0b2bbbe31dca1f4d84e6e9f01c831a78f3a8254","observation_id":"40f16f81-b438-4c54-b71c-a137b65bbc31","resolution":{"observed_at":"2026-08-06T23:29:23.667864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:23.104361Z","title":"LLM-guided Formal Verification Coupled with Mutation Testing,","venue":null,"work_id":"be58b955-3b3e-40a5-b62e-021bd7d35e90","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:21.162655Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:d25978a6c0d76ad54e1d9c27dde4d15ada5ac41cdf41443a534c785f91e0b76d","observation_id":"c3b28de6-3ad4-46e4-b81e-e2369e153573","resolution":{"observed_at":"2026-08-06T23:29:23.257631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:22.792477Z","title":"LLM for SoC Security: A Paradigm Shift,","venue":null,"work_id":"030a566a-ddf1-4d84-b231-d05f32ebe954","year":2023},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:21.380501Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:499446a95673420010eefe681fbe3609b8bca73df7f5c06ccd3b21b45b624521","observation_id":"9d84ed73-0cab-4b74-9da7-01fac2915990","resolution":{"observed_at":"2026-08-06T23:29:22.935064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.15281","last_updated":"2024-08-13T06:03:41Z","snapshot_observed_at":"2026-07-06T19:20:37.430389Z","submitted_at":"2024-08-13T06:03:41Z","title":"LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification","version":1},"cited_work":{"arxiv_id":"2409.15281","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.15281","snapshot_observed_at":"2026-08-06T23:29:22.056412Z","title":"LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification","venue":"cs.AR","work_id":"630c9aa1-418b-4d77-8234-5304a48f4e5c","year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:21.501541Z"},"links":{"cited_paper":"/paper/2409.15281","citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:6bd9eb0f0fe0ed98cea71a36891d569cc02e876e0171e3f79d5608e6b86b2208","observation_id":"7666ffc5-1c5f-450a-9b43-e0dc946714ff","resolution":{"observed_at":"2026-08-06T23:29:22.168334Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23299","last_updated":"2024-10-15T21:48:57Z","snapshot_observed_at":"2026-08-05T08:20:00.655408Z","submitted_at":"2024-10-15T21:48:57Z","title":"FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23299","snapshot_observed_at":"2026-08-06T23:29:21.675304Z","title":"FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:21.675304Z"},"links":{"cited_paper":"/paper/2410.23299","citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:6f00e1d4f87790cf2696cdb6d1a421db3f228c019401237d1d8f48c1550bdba0","observation_id":"655f67c0-73d6-4a98-83ad-59c58bf4de37","resolution":{"observed_at":"2026-08-06T23:29:21.675304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:29:22.509412Z","title":"Towards automated verification of ip and cots: Leveraging llms in pre- and post-silicon stages,","venue":null,"work_id":"8851eb5c-3c43-4a46-a523-da923a643072","year":2025},"citing_paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T23:29:21.886953Z"},"links":{"citing_paper":"/paper/2506.17865"},"observation_digest":"sha256:b4a355562ec02dac08b476a8b7bfb8d26f4fc80fd27f267f3e94e77bc3f6cf02","observation_id":"ac856508-7bb4-427b-96ae-3bce89317bc0","resolution":{"observed_at":"2026-08-06T23:29:22.613156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-06T23:21:05.705395Z","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":1,"verified_fuzzy":20},"total_outbound_references":24},"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 8 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2506.17865."}