{"as_of":"2026-08-08T03:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5ae1a8b06e4cc4ac9d45f7349d165aa511415ab071e049baac6cd1d6d7d82bf5","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:18:23.565342Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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-02T18:43:44.967410Z","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-15T14:35:55.969560Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"cited_work":{"arxiv_id":"2506.21569","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.21569","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Available: https://arxiv.org/abs/2506.21569","venue":null,"work_id":"516a6050-215e-43e6-ba9f-cc84c58e357f","year":null},"citing_paper":{"arxiv_id":"2604.03245","last_updated":"2026-07-20T21:40:17Z","snapshot_observed_at":"2026-08-02T18:43:41.133826Z","submitted_at":"2026-03-06T21:41:28Z","title":"FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-15T14:31:36.233977Z"},"links":{"cited_paper":"/paper/2506.21569","citing_paper":"/paper/2604.03245"},"observation_digest":"sha256:417100846518d8ae465bf72df5c3b5c14182a67e1c5054a1d9c16a7eb818324d","observation_id":"d6d9a5ca-f814-48df-bb67-78bf2bc26c26","resolution":{"observed_at":"2026-05-15T14:35:55.970990Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.21569","snapshot_observed_at":"2026-08-02T18:43:44.967410Z","title":"Available: https://arxiv.org/abs/2506.21569","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.03245","last_updated":"2026-07-20T21:40:17Z","snapshot_observed_at":"2026-08-02T18:43:41.133826Z","submitted_at":"2026-03-06T21:41:28Z","title":"FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-02T18:43:44.967410Z"},"links":{"cited_paper":"/paper/2506.21569","citing_paper":"/paper/2604.03245"},"observation_digest":"sha256:069e8aaa35b6fb5511141d742240eb87746149f668ad6e9c9ba6eb9f7a6cb6b5","observation_id":"00a00dda-f0a3-4653-b762-aac992d13363","resolution":{"observed_at":"2026-08-02T18:43:44.967410Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2506.21569/citation-record","integrity":"/paper/2506.21569/integrity","json":"/paper/2506.21569/citation-record.json","paper":"/paper/2506.21569"},"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-07T04:18:30.512865Z","title":"A survey on assertion-based hardware verification,","venue":null,"work_id":"93af8bed-6312-4d41-b6c1-92c27b606bd5","year":2022},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:19.854756Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:6ba2c91135869eb78da911decdaa9c1a117951d401f2e56cbed3695eeb3e8bd4","observation_id":"cb0b3b83-562a-484a-b50e-a456bb9c33e1","resolution":{"observed_at":"2026-08-07T04:18:30.654817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:30.211882Z","title":"Ieee standard for systemverilog–unified hardware design, specification, and verification language,","venue":null,"work_id":"941772b3-a7a6-4ca6-bd3d-d0b59aa0047e","year":2017},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:19.928996Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:40ff5baaf56c7a99033c22abcfb286b28c8bf44f324eb2ee0fb18b3f287ecd18","observation_id":"3320e52a-168e-433c-b75d-dd9108b9f2b4","resolution":{"observed_at":"2026-08-07T04:18:30.387600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:29.929390Z","title":"GoldMine: automatic assertion generation using data mining and static analysis,","venue":null,"work_id":"180ff34c-13fa-49cb-af46-21d9fb1406b7","year":2010},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.030449Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:1edc97a224d94b14d96203c24e513e2a8806b25b6eb32e6e7e961a3a894a69a7","observation_id":"81109ff6-0ab0-4271-9bde-c9e50250316c","resolution":{"observed_at":"2026-08-07T04:18:30.066808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:29.695636Z","title":"Automated generation of security assertions for rtl models,","venue":null,"work_id":"ac5bf1c4-6932-4693-ae86-d4f046b85ffe","year":2023},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.193150Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:ea93dee8d36829e9e9b08f0ade6ba920806a44dee08ed77fee62685d8518b51d","observation_id":"cdf107fe-ffeb-4e85-a030-b32ea0f45ae8","resolution":{"observed_at":"2026-08-07T04:18:29.795528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:29.469131Z","title":"Generative AI assertions in UVM-based system verilog functional verification,","venue":null,"work_id":"b1f684b1-7b0b-484a-b540-29b62a0bdfd4","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.324081Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:3df5d3809a0c95652bd0805ba47db64981430ff7b30ff0fa9175fe1d93cc835b","observation_id":"89cc5c0d-382d-4618-8d60-fadddae35940","resolution":{"observed_at":"2026-08-07T04:18:29.576808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:29.173462Z","title":"ChI- RAAG: ChatGPT informed rapid and automated assertion generation,","venue":null,"work_id":"7985f676-a598-4bcb-bf26-802fad87078e","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.460676Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:1faef140762a0d11bae0401f9a4c5a0694f9f56b8d470b1310fa3011c5c8389d","observation_id":"cd60ef33-1919-4a38-a678-402d2774de6b","resolution":{"observed_at":"2026-08-07T04:18:29.315549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:28.852121Z","title":"AssertLLM: Generating hardware verification assertions from design specifications via multi-llms,","venue":null,"work_id":"50410ac0-9131-497f-a062-751180283eca","year":2025},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.574221Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:51b4b2ba58336856ab6aefbfe9950315b1ef1844a65f9f44d09bdad96d7da5d8","observation_id":"33217cc6-5de5-4524-9ea6-4737b1f58a2b","resolution":{"observed_at":"2026-08-07T04:18:29.023843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:28.530695Z","title":"SpecToSV A: Circuit specification document to systemverilog assertion translation,","venue":null,"work_id":"b56387e8-4558-4c32-b3d1-edfb48e67de6","year":2021},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.707453Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:1124a368a0a575a54bdcd87918d0820c48d28670022793874e4b69c89407b28c","observation_id":"579a0e39-871f-49c5-9d00-ea9b1079926a","resolution":{"observed_at":"2026-08-07T04:18:28.700852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:28.200124Z","title":"NSPG: Natural language processing-based security property generator for hardware security assurance,","venue":null,"work_id":"a8c5ea72-46b8-4b4c-9b88-449a1f943d4d","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.846270Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:d85459cff631f2ce83144f16a9a971ee9a834f2264e38c816ff55bd6755fdf4a","observation_id":"06dd57d3-a365-4749-9747-89d0c8b65b4d","resolution":{"observed_at":"2026-08-07T04:18:28.346619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:27.806450Z","title":"GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions,","venue":null,"work_id":"e99f3d32-db2d-4355-a13c-a5b61e560bc0","year":2016},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:20.988448Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:71ed93baa6a73f430ece784a20f521fba1a4503a272952d4d65c167b1f86e173","observation_id":"bde372da-738d-49c3-9c13-6e27cdcab49f","resolution":{"observed_at":"2026-08-07T04:18:27.971205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:27.437133Z","title":"EASE: Enabling hardware assertion synthesis from english,","venue":null,"work_id":"4978dffe-0ef4-44f3-9508-a047374d7b21","year":2019},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:21.085252Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:e0f6dce6993ed1ccf2a55f7d972dc846d56180a6e488b9426ab14722226c1535","observation_id":"8fc9fc52-8216-41a5-8cbb-fb0a8552f9f8","resolution":{"observed_at":"2026-08-07T04:18:27.607898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:27.175347Z","title":"nl2spec: Interactively translating unstructured natural language to temporal logics withlarge language models,","venue":null,"work_id":"02b281e5-f6df-4b79-805a-15a171e78edd","year":2023},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:21.253310Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:90ee94dda5f99841f84cee725b6721d5eaa91a5342947a46907d751d8034d62b","observation_id":"78fd0795-db8f-4018-94fc-daa6be118e03","resolution":{"observed_at":"2026-08-07T04:18:27.261120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.07995","last_updated":"2025-05-15T03:20:15Z","snapshot_observed_at":"2026-08-07T15:47:45.182371Z","submitted_at":"2025-05-12T18:48:56Z","title":"Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.07995","snapshot_observed_at":"2026-08-07T04:18:21.361536Z","title":"Spec2Assertion: Automatic pre-RTL assertion generation using large language models with progressive regularization,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:21.361536Z"},"links":{"cited_paper":"/paper/2505.07995","citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:2fda99963b6e1fd15e78f6deddeabb52cd29ca0e7860a823f111b43e87b0a1c7","observation_id":"3dd9905c-b25c-49dc-84da-6f4a7e0b705f","resolution":{"observed_at":"2026-08-07T04:18:21.361536Z","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-07T04:18:26.997009Z","title":"Automatic high-quality verilog assertion generation through subtask-focused fine- tuned LLMs and iterative prompting,","venue":null,"work_id":"6fc70691-818a-4294-a2cb-6ddfcd6dfe89","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:21.462072Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:baa778668d9eafc9cfa8e4f3db3053c5cab2611ae53536de0f35cdf4d57d8a18","observation_id":"39afbfe7-3f8e-4cd0-b315-75b763c01aef","resolution":{"observed_at":"2026-08-07T04:18:27.089560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:26.713463Z","title":"Ieee standard for systemverilog–unified hardware design, specification, and verification language,","venue":null,"work_id":"695cfddf-d577-47bd-bb77-25116a50cfcb","year":2023},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:21.573607Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:d2a904a8ad132cd10b199255ec49c61ef216da85f227f1a00094b93ec0c9a09e","observation_id":"33a4cc80-b5e4-44ea-8044-f99210432b62","resolution":{"observed_at":"2026-08-07T04:18:26.841763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:26.518042Z","title":"Retrieval-augmented generation for knowledge-intensive NLP tasks,","venue":null,"work_id":"9b684489-fcde-406d-a149-79a3c9afeac2","year":2020},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:21.690574Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:ec4c549d709310a0d0994d0002a854fd2f56086dbde29f884760d19ef5ebec31","observation_id":"b29eec5d-3e44-4157-b0d3-9e1a4bed7fec","resolution":{"observed_at":"2026-08-07T04:18:26.585216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:26.337815Z","title":"LLM-based and retrieval-augmented control code generation,","venue":null,"work_id":"e097fa8a-df86-4804-a640-45bdc1c7029f","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:21.807158Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:df41850327b34ec707d322c827584a41b1e311b65446b5243b7e348dd105d52e","observation_id":"0e05916f-51f1-4ce5-afcf-ac940e3f1966","resolution":{"observed_at":"2026-08-07T04:18:26.437490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:26.069950Z","title":"Benchmarking retrieval- augmented generation for medicine,","venue":null,"work_id":"639d751d-3119-4d40-9abe-4ed4c2f16159","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.005893Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:26a365b40576b4c16e56aad4caf8bffc886e45767abae841dc7ef365a15fb498","observation_id":"e9875207-0e94-4fd6-9483-f4f69c9ef777","resolution":{"observed_at":"2026-08-07T04:18:26.163587Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:25.840063Z","title":"Improving retrieval for RAG based question answering models on financial doc- uments,","venue":null,"work_id":"a690ac3d-8254-47f2-a10e-a990e543a1c4","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.159534Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:2d5e26b7a990109d39ee0b0d6c3d57f9ef6ec461514f8d2273987ac4cf30060c","observation_id":"6c9d2282-19d6-49c6-b86f-f0aca45e27a7","resolution":{"observed_at":"2026-08-07T04:18:25.941706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:25.625331Z","title":"Toward con- versational agents with context and time sensitive long-term memory,","venue":null,"work_id":"25310e59-fda2-4449-b9e2-ea3b687088f5","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.268919Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:a298b208a3dd75945b3d0811f9efd0b4f3f22c93374de3ad78c0c2d8125939aa","observation_id":"127b4a90-f6f2-469c-9674-b8f98316dac4","resolution":{"observed_at":"2026-08-07T04:18:25.695895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:25.431298Z","title":"ChunkRAG: Novel LLM-chunk filtering method for rag systems,","venue":null,"work_id":"2b49b7cf-ca9d-4819-8ec8-295c0590b6f4","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.395228Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:50009854d85171e155364cd6b2d221c83e058b50dda0b1156db677254621c730","observation_id":"470d6ad6-ba14-4334-a8a0-650c6fcfa62e","resolution":{"observed_at":"2026-08-07T04:18:25.483614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:25.278956Z","title":"MAIN-RAG: Multi-Agent Filtering Retrieval- Augmented Generation,","venue":null,"work_id":"6a7821f7-4247-4b86-b44f-5b523c8410c0","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.529610Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:0c52eac65cecf6796fc867d9dd453ff05cf342b72adbb09fde0ee831d7c70c7c","observation_id":"1cf56cd8-a5a3-47e4-a39b-36477e9f5935","resolution":{"observed_at":"2026-08-07T04:18:25.338728Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:25.024259Z","title":"Don’t forget to connect! improving rag with graph-based reranking,","venue":null,"work_id":"e3549cee-bb67-4a75-acf3-6eb81e80c2db","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.663443Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:c2d3d82dee62507f1937fe068500a43983bc467bd39da5d694f1c076096f7211","observation_id":"e6e18005-3255-42cd-a505-33f58c0bc5d2","resolution":{"observed_at":"2026-08-07T04:18:25.149841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:24.751464Z","title":"AssertionBench: A benchmark to evaluate large-language models for assertion generation,","venue":null,"work_id":"ddaf4b99-2371-458f-a366-b88bb075a7c2","year":null},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.780599Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:ca5936d4a5eabae975f5ae3beabae6b91fd11fdcd03df789fd1251a45a62cc53","observation_id":"0bf29fca-83b5-4a1a-a6dc-92bb1f3615ef","resolution":{"observed_at":"2026-08-07T04:18:24.871233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23299","last_updated":"2024-10-15T21:48:57Z","snapshot_observed_at":"2026-08-05T08:20:00.655408Z","submitted_at":"2024-10-15T21:48:57Z","title":"FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23299","snapshot_observed_at":"2026-08-07T04:18:23.084403Z","title":"FVEval: Understanding language model capabilities in formal verification of digital hardware,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:23.084403Z"},"links":{"cited_paper":"/paper/2410.23299","citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:325715d93608a7441295b34ec4236bc047025ddf8c7eec42b2abbfcfc829db31","observation_id":"34a53360-9e81-4a07-888f-5cd4f8be435a","resolution":{"observed_at":"2026-08-07T04:18:23.084403Z","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-07T04:18:24.626747Z","title":"Cadence JasperGold Formal Verification Platform,","venue":null,"work_id":"cc6a9119-4d22-4b84-a43c-8c85bd4224d1","year":null},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:23.199958Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:81b63e0d9ae6f813658203c537e8edee80b82d12ad9ee00caa3e636cb9742b8e","observation_id":"2857f9d5-0dbc-4ff2-8362-7762748d8fb8","resolution":{"observed_at":"2026-08-07T04:18:24.666027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:24.103485Z","title":"Qwen2. 5-coder technical report,","venue":null,"work_id":"9fcc5e47-5da0-4fcf-81f6-6bb48cd0622a","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:23.436952Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:53040ca645bf96b971d0e885bd344ea222dcb3db73b60d36b2d446c83481ec0a","observation_id":"85f2d7db-e139-4a26-a1b9-b842f48ddd58","resolution":{"observed_at":"2026-08-07T04:18:24.273307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:23.873580Z","title":"Llamafactory: Unified efficient fine-tuning of 100+ language models,","venue":null,"work_id":"fb88f1c5-88c4-42e6-afb1-b8d3c44b5162","year":2024},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:23.565342Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:348af4055346ed1428c6261376d15e5b2434a777f9abdd203995d3280576533c","observation_id":"8ee770d9-b1cc-4198-a57b-b5da68255280","resolution":{"observed_at":"2026-08-07T04:18:23.963928Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:18:24.410461Z","title":"Available: https://www.cadence.com/","venue":null,"work_id":"2e4398cb-b725-45ee-8561-cbb1c34a71c1","year":null},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:23.338654Z"},"links":{"citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:10bfeab00c35c6a7940b34eee981311a65e59b7c3e47e2f75d96d7b8dac90cd5","observation_id":"2408487c-f449-45ed-ac09-9d09de146c3b","resolution":{"observed_at":"2026-08-07T04:18:24.520115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.18627","last_updated":"2025-02-28T00:54:32Z","snapshot_observed_at":"2026-07-06T18:37:30.752868Z","submitted_at":"2024-06-26T14:47:28Z","title":"AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.18627","snapshot_observed_at":"2026-08-07T04:18:22.937013Z","title":"Available: https://arxiv.org/abs/2406.18627","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:22.937013Z"},"links":{"cited_paper":"/paper/2406.18627","citing_paper":"/paper/2506.21569"},"observation_digest":"sha256:715ac4020f81e23bf064ac505f3a3444946bf02582f514b79828ac719ecfc112","observation_id":"8e45d05f-405c-4b11-b5b4-0927779ce0b3","resolution":{"observed_at":"2026-08-07T04:18:22.937013Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.21569","last_updated":"2025-06-12T17:52:06Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T04:10:44.217639Z","submitted_at":"2025-06-12T17:52:06Z","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 2 inbound Pith citation observations for arXiv:2506.21569."}