{"as_of":"2026-08-12T12:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:84e213fd1284b5303ce5399923d743dc25d0b74302dfa1b32286815c1da98cbf","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-12T06:34:41.77262+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-09T17:18:41.460670Z","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-11T21:38:49.425495Z","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:e972f1d715f0be9e282d26bd33afc3394195f55143ee5b493a825c9c852140b5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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-11T21:38:49.425495Z","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:46df1aedd255a500101d1786bbf890de0836351775e3cbe4d21c51f5fa4a91c6","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-09T17:18:41.460670Z","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:d421167b6f70d8893595e96a9a9984dcc2eedfe35340a09d2515d6718f725e71","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:ef999a3f9fe3e03aff707c1a314aec6c29dd73d0c6b69058af590badeeb4a3f3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:024e0cbce27536ad8e04ed5a23b50d40e5744d4dfa3927dd8b1a904202372878","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:3a92b8d3d7e72cb3fcb0c3e2279f463288d769c0bf41ee101cfd9cbe4165f74c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:96294bf55adb5c7e73bf0ccf4afe70d900d1a05e83bc135424f2376ed4f7dc1a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:4ab2fe5a6cc40751f330bdd80d74fc8de45f2c116a714731580b34b79a3cc454","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:5f20cb6e47276d444d03a636e5c92851da2e7b52b97cddff8fe0d8fd8f7ebc7f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:514f9603d97e132dff3fbcf7a3b3f955aeaec8c090a7439676aae2d3e26a19c5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:baf3bf619409b19ed81833cf684dd4a3f5efb1c7fc42fcf0d6f849a3a848e101","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:0ed91efa8fd793daeff9e2c2f8515f3243a3490e7df42d53aaa74f4d25fbcef6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:e8424f754bef2a56848b09ea3a2cb654ea2b84f850960b311829d8fcce0e861c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:f65a6267f6fad0befef8b47c5c3e9dbfd4f7a4f75951b101f84db22927660cd9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:17:05.664144Z","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-09T17:18:41.460670Z","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:6d5784046806de7f91fe37792c197d6a1992a196a58b01f12d5d656e2d0f963e","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-09T17:18:41.460670Z","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:e970d61507f311dcaf168b1841067f4fec40d175efd28bb14f6c6c1bfc5baceb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:0d50f177f5d9d2961a03f254d60568ad59a9924ee236efe2fecb952951cf33e9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:5c5bfb3204a01557d4352209021a2bb9ad8a2882407ed67a92d4fb9fdcd09583","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:c4e0c4f4a6c07e3365047e8ce7bec9a0df8ea1b65e67dbc79328852589c4b0b1","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:a6d03410574e9808497773e6ea54610fa7317c5bb2ce1b00e2bf7f17e621be2b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:e404f82e754b0ce263b42341e6a618d1911d8c230bbdade0617319331b9bc27a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:01f844c20733d8af6fc0a9365aadcdd99d9a6bd09045ba92d21586b0b00c8aad","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:10271d075f68b0da9f09ac8d892f15711f555be51906e67d89aaaf48c06f2caa","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:859027ec4e29aa51bfe747dfc555e918113aa767d12ee157f82c3ed896f55c0d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:bd721366601ae3b366dc6b3ef2b3c6c6e0eb415118628902123fabf38b4e80d5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:e760083d4e48d0c598a269ddf5f75ec6f8f346f71f495ab8bbdb600057875307","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:764c71f9e70b6d3e247ef4be11017ee28f4ab7f97eb02810db1db75854aed687","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-09T17:18:41.460670Z","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:0889bc85acc7517f102ef837bbbce705ec019e0e5fd7fae94c8add2e4955cc13","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:02cdf0ac52c2e3847b19376c64698e60ddd1042fd05b6dc8ceb0ee1807edb5ae","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:d4a6bbd03b531a18f5f07410ef09ac21116033e3a354c254ad47fef3652b217a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:7c9f0482eaf94027d0d0cffdf7de928d1fb9694dab168e1005272144c1e0a4a0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T17:18:41.460670Z","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:f07bfe69af7dbfc0e19183f4c7543498a635f11ccb6878c6140a5857de959131","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-09T17:18:41.460670Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 2 inbound Pith citation observations for arXiv:2506.21569."}