{"as_of":"2026-08-09T22:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:127e14aac370731ef72c962c15dcd517abc7f3c8130c979b8b0ddc64171df0bc","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-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/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-09T18:10:23.003030Z","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:8d835708680e31dc7d830f5c1bb8199d7f5b4b214dd83e86337eb0a21e5201e7","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-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":"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-09T18:10:23.003030Z","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:e89e037d81e752445c3aefc10f10bef2bd22e4e23b7f2423275ea10d89c40944","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-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-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-09T18:10:23.003030Z","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:8866390e52fbede821dedbbb3086ae01a35b25fc77d336c5809a29e49cc5aad6","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-09T18:10:23.003030Z","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:e9a388f178d948539aa56911dcacde4efed951a5afc945d5d4a9689570372c33","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-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":"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-09T18:10:23.003030Z","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:4d440e0ef3441eced5c8566328b118c763614f946151814cc1b3f49ae5c1d4ad","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-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":"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-09T18:10:23.003030Z","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:c8e1a61b54613581a7870ceabbfe9fb5a4c87483d902d88ab3fb0a9278c16b0a","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-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":"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-09T18:10:23.003030Z","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:809eb1e7ef5eb8bdbad13a1ece20c5fa84e03325473faa8cc6109c1f0246dd60","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-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":"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-09T18:10:23.003030Z","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:bce81972fcf6bb9273002913a35d269bb12577076ec61bb86f3ca08f60df0cde","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-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-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-09T18:10:23.003030Z","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:ce18936310fb50ff665463ae7b08521799899d2e73de6d33eeaa7768be1c36f1","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-09T18:10:23.003030Z","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:0c3afd93e855decd8bf7a7a83d3a2fe211a91fe43f67e18c675489996fc5a373","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-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":"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-09T18:10:23.003030Z","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:0e5b25bbe67a494b3395a962791cd3431af4c52ff7bd1f6cc2391d3b289f208e","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-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":"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-09T18:10:23.003030Z","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:f113e7e164ce1318bc110b93c5d9399ce98c133800376d168acacb47d4aa45e8","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-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":"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-09T18:10:23.003030Z","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:372d8b1218092be08591c03fa1883d3225a7492c925b3f9b283f9b2d9e51024b","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-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":"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-09T18:10:23.003030Z","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:52349f12bd024c91636fe2e4dccbed7f533e5fae4c528002d1e747a804fd05c3","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-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":"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-09T18:10:23.003030Z","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:9f896c6a26ee786f0b63e1fda110778efe36e5b7d236ce1c869cbb09a9b0f5a8","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-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":"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-09T18:10:23.003030Z","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:717e2099a280bb93ee20700e8e200d08fc5e1e4c04bcf15fe529918d6cf8f240","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-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":"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-09T18:10:23.003030Z","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:ccec51e03a73f50c04a368c7385f84752bf108fe61386325f0f8f541ea739baf","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-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":"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-09T18:10:23.003030Z","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:ed946b724acb6f4079a2c940fec5596f3ebfc3ec781f122aa5eb3d434f279198","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-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":"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-09T18:10:23.003030Z","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:44c37256f6dcb57691f64d817e4c9d60f46a1f1bf8ae257d5104aabb4d87b73c","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-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":"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-09T18:10:23.003030Z","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:d5c7ef73bdd208b75cc6c6cc0c75d9c87258a53e653bba7751a3aa5f2a048408","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-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":"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-09T18:10:23.003030Z","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:5b6c79d9861051cd3fd9e801001f20bc807fed6adfc3a4ec81abf629ca14511c","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-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":{"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-09T18:10:23.003030Z","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:14e82caf4a6d06bef0cc689dcc0dac44bebbc61664919c78ee24bdcd0e2fc81c","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-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":{"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-09T18:10:23.003030Z","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:a61f4e3e929b39c8f6a0e92909ef035e766d9790d92d8d1573491ff7a798e367","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-09T18:10:23.003030Z","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:19ff0d5348e278126a3760114a890d0b97499677979771699d8f835f03caf246","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-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"}}],"paper":{"arxiv_id":"2506.17865","last_updated":"2025-06-22T01:21:03Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-09T18:10:23.003030Z","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-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 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2506.17865."}