{"as_of":"2026-08-09T06:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ae427bb85ff1e8741ab1df5485da6d4247f5b9eb7d1b66ad4c0864ed0d2d1f05","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-08T06:32:00.761636+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-06T15:13:10.982642Z","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:7d45c33642d6490d15cc58f28afa55bb56394834d4b3e33ce4c6749946b1c94e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:4cde5813a8c8f30c14c892d198c12a0b43aea4898747fcc838e4775d57f5dec2","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-06T15:13:10.982642Z","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:6fec1de20804b0680cfdb5acd1703bae9ce673a35e4ecd9ea8c655f7480811c2","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:8c7d43d1ba4d21627287dfa78865f9c4f6f37f9a308fcbe80bf1296a8ade7d94","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:743f7b3b0bae751dabf3562bfc0ebc97a2f3505e76e4df427d49981655281713","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:968b78bbcf9a1011214e843115181a0ad513bfa9c232426305d277b8223a113e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:fb618743f3dc383959907f6b276f2c6e34e43e674507a7b9d632d8d4861a64c9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-06T15:00:54.661106Z","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-06T15:13:10.982642Z","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:91d7f8a2f8cc9d622b88144719d6d303a6831834137f9e0949f38db199e2c640","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-06T15:13:10.982642Z","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:b832be4eadb61aab52258a0270d7bf454e81a16f09824543939758e5e08380cb","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-06T15:13:10.982642Z","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:516785edc9dcb2dc36795317e17854c5c72fb585fdeb6be8b2cef103578206b2","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:93aecad43a9eb3886b810cca0046710a88b8588b98ca35278c0b2b6b6cabaf40","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-06T15:13:10.982642Z","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:8efaa4ebba2fa0e23c0251793548fc451a31b040082ac94acbb9aa166dc88365","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-06T15:13:10.982642Z","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:a869734b5bc7af6d08458a95b007ee0f91cc3d04ee09f525507d979f7039e9ef","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:4ac6673c811d31b28b3bdc8eba96d5f296cd7215ca9a0d3e083c19eb84adcbe2","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-06T15:13:10.982642Z","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:985693ccdf46ac0ecb8a7058cb4ea549ab8a2e498ee89fb6f77c2be5e1b46e1a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:c19cb538b1c4d5a59de9eca353b951eca9a30e8a68965fb8ca914ed2f8b70bb8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:46d493a699831a764c69779168a93490bfc7f25029d8d983c1ffb91fd4447811","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:65371325bec659ac28b1858595bf23bf1c273e6b877f9b7551774b8a32836969","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:7375e477f78f237dfa1fbc2d93eade7f5a5e7924ad11ca1f74a0309e20964574","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:b18716db6902e82b067d9e50768ff57cf5f34ccc6b8e96b89f64f7dde4f6f7a4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:379708d76272993bbd23f5a35030f5de73eaac0f16b9311675de6ba4fb7771f7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:3b24f2aefff5f99296f8aa1232423b5f69f507375b95fe12c9cbe11dd136e157","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:2db004bf8d7d830b652b139eb9727e751b5153fbe1e8546097e684f1dee08ba8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:afcc3149900f39f9d46b69a2e988169aa0b5281357dbc23aa206d4ade99ee259","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:8b2e32ad95536bd170db05b279a1652d3d6c40a096984278b7fd53371e8e7904","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:931fc02466cae72338e7e2fba3532e9ac51d96e6dfce12cf41b1184090e9a5c0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:5b0427a87eb56f58fbd78948a3e452d3d825c27943b0b0777a56330623d422a7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:ade5c07edbe4e45b479bca307c1a256a7b8e72f9ba79889eaaf56b3ae1258be6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:9cc58151de7a7649d1462894c5bb109dce61faaff6f4de03832d32a493c41d2e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:35ff1d00e9bb79e98b2b2f5e5bd9e53c3991774395f37788cd523e45a03438eb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:a4f9740c53ac7a3b6abebcbda5d33ff862298ee423b8e7699403bf37fafe0758","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:c4b4dd9f72718303c4ff73598244c37da7ca61c99c6045e57b658084157ca2eb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:d8e70e0d8900b1859f5147e7de01f1eeb430158be912c39d7b3c8d636faed9b2","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-07-06T15:43:27.458645Z","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-06T15:13:10.982642Z","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:0c6a04a2a8a667662e733614c292a06c291326882de55de66d3f299961423b79","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-06T15:13:10.982642Z","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:0af6b5d93e469392b6163ce98cc8a451d0beb22b0b7f589f08207083f11e3bf5","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:5079ed83efd9a53f39332f00ebe89bd3a93ff7a3a1ef0b23d625b68104da9223","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:e95426499572af26aecf83f8bd01304b9d62555c0a67428d4d6483aefb34f19b","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-06T15:13:10.982642Z","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:c3174fdbdaf6925f1a1ae6f6fbebee6cfc252d5ab166f55a20fa6bc9bb5b33a3","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:a681d2860ecc0e974feaf4c9d75bd7c63df51763fda8ac7ad1a0e6920c3a83fc","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-06T15:13:10.982642Z","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:dc5368617dec59063076ec7dc1b0c8ca17d77fcdbf0f057ce27a1cf0e5a46dd0","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-06T15:13:10.982642Z","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:aa0380d606bc0879e8d3b7efffd2e2f1c9658537d52dacdba2fd66e2b06c91ef","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:e3dd99df0b5fba6a865ec8e0a494bcc7b2ccfa2cc45578c7b029dfaeab56da0d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:f4eb4406fee701832a2edad4a8fa2cdc27029994eb9cf98052f5f348d62bd92b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:19b0601f3fdfe6a122044fb239b68129ed495198b29cecf7827d25770b6f8c41","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:83d2273e1e59b377769572dd1a431a5a690c3a487c7112b720e30bfd7f0245e6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:d831704bfb987150f9b5a3132420165aa9a730bed2b18faa016d06670361087f","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-06T15:13:10.982642Z","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:d35f7b1737cfeb972b75da2bc5393df0d50fb56f1525fe67828a2db2281b5f50","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:49aea0e6bef83343bee879e41cf11faa59a32768a2c526db8db7e2b344a967c4","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-06T15:13:10.982642Z","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:10834cc467bdf43305daed73f7cfdab4b4ae6b8c5d9ad8b4eaffa13d90df282d","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-06T15:13:10.982642Z","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:83c24547dbe918c629c6c3bfc8209f979ef8007dd6d78274afd9e44f165f86b1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:7c222e123da71af2aa3705c5a36235a30d59ddef78b0a443d457c8c91596943a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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:be1f30f7bf6c715b0a47047af03ac606dc1c5490cafe1dff3fcdb300416ee54a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:13:10.982642Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 2 inbound Pith citation observations for arXiv:2507.16203."}