{"as_of":"2026-08-10T13:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:58019646a8ce31ba494cb447be6293b5210b6159eb109d28db9b170df4b35b72","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:22:33.078365Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T01:40:54.789479Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T20:41:11.869426Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"cited_work":{"arxiv_id":"2507.16203","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.16203","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SV Agent: AI agent for hardware security verification assertion","venue":null,"work_id":"82b77462-7b61-46b7-b46c-075f5e894fbf","year":2025},"citing_paper":{"arxiv_id":"2604.23100","last_updated":"2026-04-25T01:46:33Z","snapshot_observed_at":"2026-08-05T22:13:27.111745Z","submitted_at":"2026-04-25T01:46:33Z","title":"From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-08T08:19:42.493657Z"},"links":{"cited_paper":"/paper/2507.16203","citing_paper":"/paper/2604.23100"},"observation_digest":"sha256:3c00bced511e01fcbeb18cc36195a3d4e7e8d67393b45475758ac0ce1af64067","observation_id":"36bc6710-eeea-484e-bd33-55550385aab4","resolution":{"observed_at":"2026-05-11T20:41:11.878832Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.16203","snapshot_observed_at":"2026-08-01T01:40:54.789479Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27776","last_updated":"2026-07-30T07:08:49Z","snapshot_observed_at":"2026-08-06T22:19:13.246438Z","submitted_at":"2026-07-30T07:08:49Z","title":"CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T01:40:54.789479Z"},"links":{"cited_paper":"/paper/2507.16203","citing_paper":"/paper/2607.27776"},"observation_digest":"sha256:ddabef952e3a1e92fe1e44edc85efa54874ee4ad40578da6af4d5d90b4ac509a","observation_id":"26013191-ee4d-48ed-bc1a-cb12f823cfb7","resolution":{"observed_at":"2026-08-01T01:40:54.789479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2507.16203/citation-record","integrity":"/paper/2507.16203/integrity","json":"/paper/2507.16203/citation-record.json","paper":"/paper/2507.16203"},"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-06T15:22:33.850389Z","title":"Evolute: evaluation of look-up-table-based fine-grained ip redaction,","venue":null,"work_id":"b0b6c640-9fe3-48ee-8208-0858ab897e2d","year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.675919Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:0f5f2a8f5bedc29218a0b810e796d6e4f169666afa466e61ad58b41d49e4a0a8","observation_id":"01c8123c-982d-49d7-9b15-2885092a1038","resolution":{"observed_at":"2026-08-06T15:22:33.855013Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.836334Z","title":"Soc security verification using property check- ing,","venue":null,"work_id":"960b1fab-e382-409c-8464-505b5fb74878","year":2019},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.725338Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:8938cbfdb05eb6037d21ec9685c974e275b4a51987be28a32e029734742a2355","observation_id":"6e0ec4a0-c0b0-4aba-9632-3f8e6d8bf512","resolution":{"observed_at":"2026-08-06T15:22:33.840894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.821579Z","title":"Formal approaches to hard- ware trust verification,","venue":null,"work_id":"78795215-584f-4ce3-bbd7-46f08addb12e","year":2018},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.786862Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:d53878224ba5f7081de145cfb8cca6d43fe890996c4779341d0a7851f205779b","observation_id":"74b289f7-384b-445d-8783-c86e8e38c083","resolution":{"observed_at":"2026-08-06T15:22:33.826455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.805781Z","title":"Dynamically discovering likely program invariants to support program evolution,","venue":null,"work_id":"01864303-775d-44ba-841c-2dc2e8ba1198","year":1999},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.845382Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:e11f617f18771c53d3bcb942de3f77b9f7d5a32a7d431c741a0dda3337953cb0","observation_id":"c18c47ea-2f45-4390-b982-ee24bb70e635","resolution":{"observed_at":"2026-08-06T15:22:33.811514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.791705Z","title":"In-ide code generation from natural language: Promise and challenges,","venue":null,"work_id":"f0a4829d-b94d-4893-a951-3cbeb54e6ec7","year":2022},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.875544Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:d32489bb0cc83de514f8cbdcc0fd2b94f1cd2cc5929890fbc7f70acc45ea1a16","observation_id":"9fe5407d-d94c-440b-ac55-eaabc0cc56fb","resolution":{"observed_at":"2026-08-06T15:22:33.796114Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.05398","last_updated":"2023-03-04T04:43:49Z","snapshot_observed_at":"2026-08-10T10:27:53.912238Z","submitted_at":"2023-03-04T04:43:49Z","title":"MathPrompter: Mathematical Reasoning using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.05398","snapshot_observed_at":"2026-08-06T15:22:32.883522Z","title":"Mathprompter: Mathematical reasoning using large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.883522Z"},"links":{"cited_paper":"/paper/2303.05398","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:72290c6a966daeda75e0237027f1857fc268856811543586b2a58809a0a3f402","observation_id":"84645ec0-5c6d-40cd-9016-abb40f328580","resolution":{"observed_at":"2026-08-06T15:22:32.883522Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.06476","last_updated":"2023-11-19T15:43:58Z","snapshot_observed_at":"2026-08-06T16:59:58.620330Z","submitted_at":"2023-02-08T09:44:51Z","title":"Is ChatGPT a General-Purpose Natural Language Processing Task Solver?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.06476","snapshot_observed_at":"2026-08-06T15:22:32.889155Z","title":"Is chatgpt a general-purpose natural language processing task solver?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.889155Z"},"links":{"cited_paper":"/paper/2302.06476","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:bf2a8cc67fa8c69b483f745cb54d0424adc64a2202277f998f3b58c83b68ae38","observation_id":"0595f976-73ff-40ac-af7d-c3d3372861b6","resolution":{"observed_at":"2026-08-06T15:22:32.889155Z","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-06T15:22:33.776764Z","title":"Emergent analogical reasoning in large language models,","venue":null,"work_id":"11fbd308-20d7-4b4a-a744-511a520641f1","year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.894010Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:2fdf7bec43fa3b0c9a85c178fdf3c121453c89bea10635767be76cdb8f030914","observation_id":"5c540a08-7521-48f3-9715-719c27ae79f9","resolution":{"observed_at":"2026-08-06T15:22:33.782029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.03378","last_updated":"2023-03-06T18:58:06Z","snapshot_observed_at":"2026-08-08T22:04:13.117781Z","submitted_at":"2023-03-06T18:58:06Z","title":"PaLM-E: An Embodied Multimodal Language Model","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.03378","snapshot_observed_at":"2026-08-06T15:22:32.898696Z","title":"Palm-e: An embodied multimodal language model,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.898696Z"},"links":{"cited_paper":"/paper/2303.03378","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:ed9f5c1a03464d3cc73042716da259265b285de38cd18f71db64f0c42ca8007c","observation_id":"1a505106-1d76-4f0e-b740-965fbbc56027","resolution":{"observed_at":"2026-08-06T15:22:32.898696Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.02170","last_updated":"2024-11-15T04:30:04Z","snapshot_observed_at":"2026-08-07T04:49:42.215176Z","submitted_at":"2023-10-03T16:05:48Z","title":"A Dynamic LLM-Powered Agent Network for Task-Oriented Agent Collaboration","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.02170","snapshot_observed_at":"2026-08-06T15:22:32.904002Z","title":"Dynamic llm-agent network: An llm-agent col- laboration framework with agent team optimization,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.904002Z"},"links":{"cited_paper":"/paper/2310.02170","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:49addfa979d11b5d48a326ec04c1636d95b6e41ae3705f3132494f65fe877de7","observation_id":"afd54810-1063-4622-8c02-bde4e14c0449","resolution":{"observed_at":"2026-08-06T15:22:32.904002Z","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-06T15:22:33.763210Z","title":"Executable code actions elicit better llm agents,","venue":null,"work_id":"fe34c5fd-0733-410b-ad8c-f449105d3199","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.908981Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:d0fa2e134b1360c6a8b76ae646c77464032e44eaf3f527300d0dc3747acca838","observation_id":"14af5f11-d1a8-4faa-a7a8-8cfc5677d064","resolution":{"observed_at":"2026-08-06T15:22:33.767490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.14027","last_updated":"2024-07-09T21:08:06Z","snapshot_observed_at":"2026-08-01T16:10:21.917476Z","submitted_at":"2023-06-24T17:44:36Z","title":"(Security) Assertions by Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.14027","snapshot_observed_at":"2026-08-06T15:22:32.913943Z","title":"Llm-assisted generation of hardware assertions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.913943Z"},"links":{"cited_paper":"/paper/2306.14027","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:0bd2b46dfdd5b34d4672a7ca1994d180ee7bd815b6b1c7a0afb6d0cbffcf24f9","observation_id":"4dc99c21-b227-4cac-a0bf-3c0296023d82","resolution":{"observed_at":"2026-08-06T15:22:32.913943Z","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-06T15:22:33.748514Z","title":"Divas: An llm-based end-to-end framework for soc security analysis and policy-based protection,","venue":null,"work_id":"5117ea8f-2ab3-4b9c-a406-d78701550234","year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.919024Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:13dd7dc7acb3fa9684c9396f06c0e669eccb0adefca0d464d25e02da39c095bf","observation_id":"afd0cb58-9769-4e5f-ab81-8b0d26106256","resolution":{"observed_at":"2026-08-06T15:22:33.753007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.733563Z","title":"Bugs in large language models generated code: An empirical study,","venue":null,"work_id":"9e8fe2ee-83c8-4c59-8f3e-7942bd9ec4dd","year":2025},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.923793Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:8697c48482239be96d68b9d549d8acc8ffa47912611de9eb33a0cc37854cd8cb","observation_id":"a7d18c11-2cd7-4a9b-ae54-a98305c7060a","resolution":{"observed_at":"2026-08-06T15:22:33.738374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.719868Z","title":"Explore what llm does not know in complex ques- tion answering,","venue":null,"work_id":"e786d59c-aafe-4e49-b288-864a738a3fcd","year":2025},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.927776Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:92cddd46cc93b008085a4df4c9ea76ab855ff15ce549086a3fcf4bdd72dc9178","observation_id":"e70761e2-a8d5-48fe-85d1-f5d017e0a9be","resolution":{"observed_at":"2026-08-06T15:22:33.724300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.706461Z","title":"Sofi: Security property-driven vulnerability as- sessments of ics against fault-injection attacks,","venue":null,"work_id":"682eab0e-ba2c-40d9-bdf6-6325e9ab3880","year":2021},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.931934Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:a02388e5dee8247fda300ab6d9233efd5a88e441c227ecbb6588afbc25375e2a","observation_id":"9d58934f-0790-4bfd-ae68-d7cae079444b","resolution":{"observed_at":"2026-08-06T15:22:33.710859Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.689839Z","title":"A survey of microarchitectural timing attacks and countermeasures on contemporary hardware,","venue":null,"work_id":"e1b84999-e784-4bfe-af4e-28b9a61484b8","year":2018},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.935912Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:56e076aae4e9af60640d049aed52ec924e933617f363901a8b2016e9831db349","observation_id":"24f2c4a7-fd99-4763-b4c2-3ec3a27384c7","resolution":{"observed_at":"2026-08-06T15:22:33.694620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.674099Z","title":"A survey of microarchitectural side-channel vulnerabilities, attacks, and defenses in cryptography,","venue":null,"work_id":"3eee9898-a3af-4998-8531-ee931308077e","year":2021},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.939777Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:90171ee466b5bd3d78ffbf1047a7e1b2a442e0f94fd68cd4fb33ba4103b1a18c","observation_id":"415f6a18-35cf-4ef6-945e-2a653589ee9d","resolution":{"observed_at":"2026-08-06T15:22:33.679222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.659185Z","title":"Em side channels in hardware security: Attacks and defenses","venue":null,"work_id":"f056a55f-5420-47dd-8a3e-a840155d1bf9","year":2022},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.944188Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:4f0afcead11e206d993c017a419f8c655e7a54d34b39545966a6d91a354eceee","observation_id":"67e7168d-8f1e-4ba3-9aa4-1b58a576e985","resolution":{"observed_at":"2026-08-06T15:22:33.664061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.645403Z","title":"Em side-channel attack on aes,","venue":null,"work_id":"6624756a-752b-49bb-9ecb-4383b07d543f","year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.948920Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:c207772d55ede5971abe76956edf5674441a458b9c4b2caed7083bb449167f76","observation_id":"c29a96cd-7c6f-42e3-874a-2e90618cdaea","resolution":{"observed_at":"2026-08-06T15:22:33.649369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.630737Z","title":"Leveraging side-channel information for disassem- bly and security,","venue":null,"work_id":"0b371870-7afb-48df-af8e-42851b243486","year":2019},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.952962Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:81f7d16b0fb86bd57fadb33073507e08fffc6296a3010bc27cf4df6c1d20db16","observation_id":"3d5be327-117b-4731-b27a-3a4af6214210","resolution":{"observed_at":"2026-08-06T15:22:33.634936Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.616611Z","title":", Hardware security: a hands-on learning ap- proach","venue":null,"work_id":"8be6e4ea-cf78-4bd1-b95f-8b6879f67573","year":2018},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.957516Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:c769dc40785e13222dbfe97165b2db64247e30e7f09474ac10ad0b6171f0e08d","observation_id":"01d6c404-e7ed-4589-944b-3001ecc09def","resolution":{"observed_at":"2026-08-06T15:22:33.621232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.604018Z","title":"Breaking and entering through the silicon,","venue":null,"work_id":"18aaba2a-19dc-4745-957e-bb361c5d913a","year":2013},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.961694Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:5c636a02b109c1f084ceb9e54a79512964933ca781855103c445e18beddae89b","observation_id":"e8011667-dcde-47c6-b416-03ce1273f3b8","resolution":{"observed_at":"2026-08-06T15:22:33.608095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.589257Z","title":"Laser fault attack on physically unclonable functions,","venue":null,"work_id":"5225b0ed-909e-447e-af76-b5b461c2bd8b","year":2015},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.965703Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:97885ef584f654237f72b7157c02d2222c7745d41239879ce443e1b4c6ac4e3c","observation_id":"79e2f841-6b27-462b-8063-abd365f9b617","resolution":{"observed_at":"2026-08-06T15:22:33.594040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.574259Z","title":"Power supply glitch induced faults on fpga: An in-depth analysis of the injection mechanism,","venue":null,"work_id":"150c662a-12a3-4901-8158-7068c8b6c73d","year":2013},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.969814Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:2148dc0a9e9bd366df2d593a4271cdb2844bf65e7c3cae1f11e09e1fd985aa4c","observation_id":"cce86f95-3898-4c61-899f-5e4cfcd7c2cb","resolution":{"observed_at":"2026-08-06T15:22:33.578986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.558695Z","title":"When clocks fail: On critical paths and clock faults,","venue":null,"work_id":"55aa3802-7352-48b7-a2a1-6fa74457d716","year":2010},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.973961Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:7d0fbc7de0e4a9d4fdbeb9ca54d84d755cab8f38f44aaaa7082a7b3c75fc3d05","observation_id":"631a2121-97e1-4845-a802-be9fc756c186","resolution":{"observed_at":"2026-08-06T15:22:33.564674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.542638Z","title":"Mining hardware assertions with guidance from static analysis,","venue":null,"work_id":"3c9b40ce-472c-4c96-8ef8-5b5d7e2a849f","year":2013},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.978888Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:675fb3598b83970373cf682e39e574161ffb192aeba779db49c58c472f743cd1","observation_id":"f5c72127-05b7-4c71-afb6-f491ed9d7526","resolution":{"observed_at":"2026-08-06T15:22:33.547753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.527299Z","title":"Automap: Automated mapping of security properties between different levels of abstraction in design flow,","venue":null,"work_id":"5f539d73-2907-49bc-8c7f-6fa47d57e443","year":2021},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.982951Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:efac83a8b959ccd815d7eaea9f13dd1377c795b697fbaa63c1e858ecdfd633a5","observation_id":"828770f5-cde7-4a49-aa11-f87f3c16ba15","resolution":{"observed_at":"2026-08-06T15:22:33.532019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.511756Z","title":"Verigen: A large language model for verilog code generation,","venue":null,"work_id":"9f20a9c6-64e0-492c-a703-c0b6d95ffcc8","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.987401Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:079ecd692f101aa06460f42b935150d0435c7e50d782ffc6a56cefaf0ade34ed","observation_id":"97866b0e-2e72-457c-bfc9-0b53a9b0100e","resolution":{"observed_at":"2026-08-06T15:22:33.516815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.497576Z","title":"Asleep at the keyboard? assessing the security of github copilot’s code contributions,","venue":null,"work_id":"0e9612bc-b880-410e-bdf7-dafc5f732ba0","year":2022},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.991616Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:39034de6321f335424b36fbbdd3d32e5641201806b1eff1800d07aabf6b0f902","observation_id":"a5a3eb8b-f4c9-418f-8040-1aaa1a14ed0f","resolution":{"observed_at":"2026-08-06T15:22:33.502175Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.03621","last_updated":"2024-10-31T09:11:03Z","snapshot_observed_at":"2026-07-06T19:11:05.273789Z","submitted_at":"2024-09-05T15:33:24Z","title":"Attend First, Consolidate Later: On the Importance of Attention in Different LLM Layers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.03621","snapshot_observed_at":"2026-08-06T15:22:32.995911Z","title":"Attend first, consolidate later: On the importance of attention in different llm layers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:32.995911Z"},"links":{"cited_paper":"/paper/2409.03621","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:f6c32cefb47b92cfe0811cc163b539ef0babc15c0592eae36dac78e0074f74ae","observation_id":"ffff6f4b-1f6c-45a2-a571-6f65c09eece1","resolution":{"observed_at":"2026-08-06T15:22:32.995911Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.09782","last_updated":"2024-06-06T13:22:26Z","snapshot_observed_at":"2026-08-10T10:28:47.393054Z","submitted_at":"2023-06-16T11:37:15Z","title":"Full Parameter Fine-tuning for Large Language Models with Limited Resources","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.09782","snapshot_observed_at":"2026-08-06T15:22:33.000104Z","title":"Full parameter fine-tuning for large language models with limited resources,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.000104Z"},"links":{"cited_paper":"/paper/2306.09782","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:1023d36078703a41fd56e8f8d6a383d743682e5a3a0a2a6ab8cbf6f38b8304bc","observation_id":"34f0cf21-466d-4a48-b1f9-8c0bd254a029","resolution":{"observed_at":"2026-08-06T15:22:33.000104Z","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-06T15:22:33.483699Z","title":"Understanding the performance and estimating the cost of llm fine-tuning,","venue":null,"work_id":"56b77f3b-4594-4a04-9607-5d164a63fa49","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.004291Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:62dcbdb2bb8ace4cd86623760c10fe0c91278ebeee08b11b3c55703529caf05b","observation_id":"8e541258-9ce0-44bd-8a9f-a1ca9540a663","resolution":{"observed_at":"2026-08-06T15:22:33.488180Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.468390Z","title":"Data-efficient fine-tuning for llm-based recommenda- tion,","venue":null,"work_id":"d298dcf8-f7f3-4a45-8370-c95e24e6c21d","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.008764Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:df0a777e533b1c1e3b0ea6bea7088e68a1d29b07afac97e90802473ca33f6acb","observation_id":"bc108be3-372e-41a2-a921-f45ff21ba27a","resolution":{"observed_at":"2026-08-06T15:22:33.473848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11382","last_updated":"2023-02-21T12:42:44Z","snapshot_observed_at":"2026-07-06T14:54:37.559648Z","submitted_at":"2023-02-21T12:42:44Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.11382","snapshot_observed_at":"2026-08-06T15:22:33.012666Z","title":"A prompt pattern catalog to enhance prompt engineering with chatgpt,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.012666Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:fc7c2c3d6b484a1e1b118b9121faaaf195964b4b932377e0778fd3e723a74b57","observation_id":"3ed94cc4-7491-4ee0-9065-fa5451de36ee","resolution":{"observed_at":"2026-08-06T15:22:33.012666Z","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-06T15:22:33.454044Z","title":"Trust-hub","venue":null,"work_id":"c161fbc6-b3ca-4a87-9cae-232151344916","year":null},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.017410Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:a7ddd8b0d3fcf463e63e4a11ab69df88f6f16d2ef59ae46612c201d0c28310bb","observation_id":"b8f27c38-e1e5-484e-b766-0edd2c1ffa84","resolution":{"observed_at":"2026-08-06T15:22:33.458250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.022197Z","title":"Common weakness enumeration","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.022197Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:f499a378b5a563fa0bae07de2993a9afb8d3a37ea4ffab7a6942ddf0eab575cb","observation_id":"55bae21b-83e4-494c-92c2-45fa4c6f29d0","resolution":{"observed_at":"2026-08-06T15:22:33.022197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03762","last_updated":"2023-08-10T14:24:37Z","snapshot_observed_at":"2026-08-05T14:37:13.469156Z","submitted_at":"2023-07-21T17:04:25Z","title":"GPT-4 Can't Reason","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.03762","snapshot_observed_at":"2026-08-06T15:22:33.026223Z","title":"Gpt-4 can’t reason,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.026223Z"},"links":{"cited_paper":"/paper/2308.03762","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:510bb8435ed13847cb4e20cf74174b600fa85351e49d61888976aa37c26169dd","observation_id":"665b53ea-25d7-4b73-9490-299fb02955c8","resolution":{"observed_at":"2026-08-06T15:22:33.026223Z","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-06T15:22:33.429938Z","title":"A mathematical investigation of hallucination and creativity in gpt models,","venue":null,"work_id":"1f275a61-4be6-43b7-b354-5f0a9e8e99f0","year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.031510Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:698f40d3df85c66635221aaff520ecf9c2f8a57b5db642180d9ddcabf0840950","observation_id":"6e9b3335-e495-49b6-8291-19808bd9d0e3","resolution":{"observed_at":"2026-08-06T15:22:33.434501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.416305Z","title":"A survey on large language model based autonomous agents,","venue":null,"work_id":"17a693f3-745c-4243-87a4-1cc05bdc0ea7","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.035494Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:7312ca7eeac346fdfb048e8d733c91e33176619f3e1755b35f51e3805096267e","observation_id":"7e6497b2-569d-43cb-a797-dc3b89e08132","resolution":{"observed_at":"2026-08-06T15:22:33.420748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.402523Z","title":"Llm-powered autonomous agents,","venue":null,"work_id":"bc795274-e59a-494c-904b-e04b9eea7335","year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.039614Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:f7652f16a19271809e2d65a9a28e5d80794b1e930bf67b97779af7fa35d2086a","observation_id":"bd507e2f-71ff-4068-911a-91b368052b5d","resolution":{"observed_at":"2026-08-06T15:22:33.407175Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.387086Z","title":"Pyverilog: A python-based hardware design processing toolkit for verilog hdl,","venue":null,"work_id":"c463fc31-6fa4-4590-b3da-06a3e756fe5f","year":2015},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.043542Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:0952d17e7da9ebc879b83fbbf6c32ff47cd1c903823f4ea4f93c3a0c14d73641","observation_id":"d238b5b1-359b-4248-b615-44e7352545df","resolution":{"observed_at":"2026-08-06T15:22:33.392247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.371410Z","title":"Empowering hardware security with llm: The development of a vulnerable hardware database,","venue":null,"work_id":"0f2ba32b-83e7-4bee-a40c-b446ef6b23b0","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.047448Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:fff1057f97489a8c0347188ab1f859bb7d8ab76a4c033124e770c00e38ea773c","observation_id":"2a1526a8-292f-4dfe-a8b1-0087f771b0f4","resolution":{"observed_at":"2026-08-06T15:22:33.376369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-06T15:22:33.051614Z","title":"From rtl to sva: Llm-assisted generation of formal verification testbenches,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.051614Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:bc9fda5eee1289898713087bb1824dbdc4c2f2423bd80e79434c02d3359f9d21","observation_id":"25bbd721-6d0b-4379-b810-863631124e72","resolution":{"observed_at":"2026-08-06T15:22:33.051614Z","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-06T15:22:33.356217Z","title":"Chiraag: Chatgpt informed rapid and automated assertion generation,","venue":null,"work_id":"00329c86-5696-4f9d-861e-4b5ba7dec69f","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.056799Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:e5db186a0df53fb52bd9147deb461fc6b5cda00ea5516f45fec38804539371a5","observation_id":"4b16b3f2-b5af-495b-b65a-eaf7cd9deee6","resolution":{"observed_at":"2026-08-06T15:22:33.361098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-06T15:22:33.060891Z","title":"Gpt-4 technical report. arxiv 2303.08774,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.060891Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:2aa908d1a2b8d897c48024cf206a037fbe5df8470ae34def2db73dbada5c1567","observation_id":"52a755b1-c471-42f4-9e1a-76079a635a65","resolution":{"observed_at":"2026-08-06T15:22:33.060891Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11805","last_updated":"2025-05-09T21:04:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-19T02:39:27Z","title":"Gemini: A Family of Highly Capable Multimodal Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11805","snapshot_observed_at":"2026-08-06T15:22:33.064808Z","title":"Gemini: a family of highly capable multimodal models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.064808Z"},"links":{"cited_paper":"/paper/2312.11805","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:8138c27515198da1f7adc90f80c56ce9f1925524fa17f6dd3c5c1a32df5c9b57","observation_id":"03bf4791-aaf0-47f1-964e-c22b989abc51","resolution":{"observed_at":"2026-08-06T15:22:33.064808Z","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-06T15:22:33.340540Z","title":"Claude 3 haiku: our fastest model yet,","venue":null,"work_id":"0e533af7-f11e-4acd-b983-039964219a6a","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.069336Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:5947d61617420f868f1fb0389fdc2f72ce12fc4ae4ddb8096933639260f2bc60","observation_id":"2040c862-cf4d-427a-a595-ce99ca060071","resolution":{"observed_at":"2026-08-06T15:22:33.344726Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.327285Z","title":"Meta llama 3.1","venue":null,"work_id":"93344edd-7c54-428c-928f-5a20d75881c1","year":2024},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.073391Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:0c399e05441e6439f78cb689c97a760ec0fc1fc1ec2f07e54ae8b4697f3e7b18","observation_id":"1af12019-badd-4577-b7bd-d8176d80a0ec","resolution":{"observed_at":"2026-08-06T15:22:33.331189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"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-06T15:22:33.311099Z","title":"Search microsoft copilot: Your everyday ai companion","venue":null,"work_id":"4e962ddb-d636-40b2-97bd-5a482ec354a9","year":null},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.078365Z"},"links":{"citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:4bd6d3a7d237807304c346b0ae7416c43fafd047a5afa765d2377da639bf353c","observation_id":"7d60ef03-896e-454f-adc8-30f521a0cae5","resolution":{"observed_at":"2026-08-06T15:22:33.317239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-09T15:46:14.045957Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":37},"total_outbound_references":50},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 2 inbound Pith citation observations for arXiv:2507.16203."}