{"as_of":"2026-08-10T12:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:69aed08a72c01f0d8a2774261efbfbac74d183f8ba72bc875c3946e4e8c707ba","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:37:24.977072Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-09T10:46:26.906560Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"cited_work":{"arxiv_id":"2507.10338","doi":"10.48550/arxiv.2507.10338","metadata_source":"pith","pith_arxiv_id":"2507.10338","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","venue":"cs.SE","work_id":"1921ea6a-355c-476a-8523-792a4f38cb41","year":2025},"citing_paper":{"arxiv_id":"2605.00058","last_updated":"2026-04-30T02:01:48Z","snapshot_observed_at":"2026-07-06T23:13:33.799847Z","submitted_at":"2026-04-30T02:01:48Z","title":"Autoformalizing Memory Specifications with Agents","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-05-09T20:43:27.934095Z"},"links":{"cited_paper":"/paper/2507.10338","citing_paper":"/paper/2605.00058"},"observation_digest":"sha256:fd1e3c91087edb4a7bf41446be42a934a4207ace93bfba71ce9d7b4611a89aa5","observation_id":"e5ad2833-65fc-4513-b1e2-6cb4a1158946","resolution":{"observed_at":"2026-05-09T20:47:37.184129Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"cited_work":{"arxiv_id":"2507.10338","doi":"10.48550/arxiv.2507.10338","metadata_source":"pith","pith_arxiv_id":"2507.10338","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","venue":"cs.SE","work_id":"1921ea6a-355c-476a-8523-792a4f38cb41","year":2025},"citing_paper":{"arxiv_id":"2605.27472","last_updated":"2026-05-26T10:49:25Z","snapshot_observed_at":"2026-08-01T07:44:11.862898Z","submitted_at":"2026-05-26T10:49:25Z","title":"AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-01T16:15:54.347613Z"},"links":{"cited_paper":"/paper/2507.10338","citing_paper":"/paper/2605.27472"},"observation_digest":"sha256:e38e780864ebc7d781453589debef8f67d48b6f3c9fd377c7cb5434e838846a5","observation_id":"aaa4b51b-5804-4d76-8565-d864d268ef9d","resolution":{"observed_at":"2026-07-01T16:25:49.889129Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"cited_work":{"arxiv_id":"2507.10338","doi":"10.48550/arxiv.2507.10338","metadata_source":"pith","pith_arxiv_id":"2507.10338","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","venue":"cs.SE","work_id":"1921ea6a-355c-476a-8523-792a4f38cb41","year":2025},"citing_paper":{"arxiv_id":"2606.25296","last_updated":"2026-06-24T01:58:38Z","snapshot_observed_at":"2026-08-09T10:46:46.753146Z","submitted_at":"2026-06-24T01:58:38Z","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-25T20:29:40.439069Z"},"links":{"cited_paper":"/paper/2507.10338","citing_paper":"/paper/2606.25296"},"observation_digest":"sha256:7a5cd4cfdb93e3b7b9115f282a5ce4b7772605b404116040912ba64b1df0b379","observation_id":"3e5c6ea2-b518-4b44-844d-2f75e79a48e5","resolution":{"observed_at":"2026-07-04T20:20:06.566660Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"cited_work":{"arxiv_id":"2507.10338","doi":"10.48550/arxiv.2507.10338","metadata_source":"pith","pith_arxiv_id":"2507.10338","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","venue":"cs.SE","work_id":"1921ea6a-355c-476a-8523-792a4f38cb41","year":2025},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"cited_paper":"/paper/2507.10338","citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:e3f8ce8a9c1d7c1f6ac81c63b8d9f6b8013d9cab86000694072cb1cea7140e32","observation_id":"fb968207-ddb6-4712-b51b-6224f2481baf","resolution":{"observed_at":"2026-07-09T10:56:11.273974Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.10338/citation-record","integrity":"/paper/2507.10338/integrity","json":"/paper/2507.10338/citation-record.json","paper":"/paper/2507.10338"},"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-06T17:37:25.477147Z","title":"Bergeron, Writing testbenches using SystemVerilog","venue":null,"work_id":"053e9833-48c2-4364-986b-b8bb14bedb9f","year":2007},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.828360Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:28539459dfb77754857932057495b71511facb3a8161d87bf70d7120b79d635c","observation_id":"26297d1b-6bd5-4f8f-8675-c9cbb44e877a","resolution":{"observed_at":"2026-08-06T17:37:25.481734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.462436Z","title":"A survey on assertion- based hardware verification,","venue":null,"work_id":"f4a865ad-de2d-4503-b6af-491e6850cf16","year":2022},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.833296Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:b4c1e5ff9d505914a2b79621603531a0d81ef1137977e59410f54bce7e197e16","observation_id":"b493596c-7cb6-45e4-95e9-3507c61ad73d","resolution":{"observed_at":"2026-08-06T17:37:25.466991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.447318Z","title":"Au- tosva: Democratizing formal verification of rtl module interactions,","venue":null,"work_id":"6ccd312c-4541-4536-ac4c-113689eed7b5","year":2021},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.837726Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:2cf3efe8182305547520a3daa574d36f6302bc54f1d110fac2f97aff4a39bf53","observation_id":"544a0015-3106-4e37-9414-0d5cea61c164","resolution":{"observed_at":"2026-08-06T17:37:25.452823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.433571Z","title":"r-map: Relating implementation and specification in hardware refinement checking,","venue":null,"work_id":"a51eca9a-9685-4466-9977-400a1429af0b","year":2023},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.842478Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:1948f27043595af8c0fc7cd7e41a8f444c34f77c75db8c6d779a247b9c803ba3","observation_id":"2d2a4a89-00f0-44c2-8be7-7e001526bbed","resolution":{"observed_at":"2026-08-06T17:37:25.438353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.418590Z","title":"A-team: Automatic template- based assertion miner,","venue":null,"work_id":"27290164-4fb6-41dc-8ed4-143b9fd30487","year":2017},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.847334Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:5c882bf447d0a450c4bd55c8c69b90e26e9d810974aa2a04a0eaa167bfdc0350","observation_id":"6fc6756f-a850-4b62-b355-2a2448837b66","resolution":{"observed_at":"2026-08-06T17:37:25.423496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.403923Z","title":"Harm: a hint-based assertion miner,","venue":null,"work_id":"4bbc89d0-8c24-45dd-a706-5fc79b14b9e6","year":2022},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.852449Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:88027bc2c1e73e9a34f5ef15fb7c3f878fb22190d99df7e35b0fbace54e65858","observation_id":"2cf031ac-8af0-4c91-afc1-eb3843f696c0","resolution":{"observed_at":"2026-08-06T17:37:25.408724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.388270Z","title":"Goldmine: Automatic assertion generation using data mining and static analysis,","venue":null,"work_id":"cab0b574-899c-4989-a1cf-0974fb1ded22","year":2010},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.857906Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:10d59c9f305e51742f94c9b174ea21bd22a6ecf6bf0d9372d77c4b50d845aa01","observation_id":"de590018-6845-435a-8052-2d6d084121bb","resolution":{"observed_at":"2026-08-06T17:37:25.392983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.371955Z","title":"Hybrid rule-based and machine learning system for assertion generation from natural language specifications,","venue":null,"work_id":"8c8a6dda-a53f-407c-b2a9-4fd35c16690c","year":2022},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.862266Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:623ab18db92ad1655ccb5a660dd9535c9cb2ff61486a47d32acfbf6c75826bd1","observation_id":"51966301-bfef-4ac8-8b8c-671f691a712c","resolution":{"observed_at":"2026-08-06T17:37:25.377549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.357693Z","title":"Automated assertion generation from natural language specifications,","venue":null,"work_id":"d2df43df-5265-45c3-a00a-685ec9b1de68","year":2020},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.867966Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:65d72d6a6c9e7f623be253051cba62e6f571d3a587a8e951cdcf6fd55d7f85c7","observation_id":"9bef1ef8-97ec-4b33-a48f-b0b65474cf6c","resolution":{"observed_at":"2026-08-06T17:37:25.362176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.342213Z","title":"Glast: Learning formal grammars to translate natural language specifications into hardware assertions,","venue":null,"work_id":"e373fbc4-0954-4547-9279-67b1a52df1c8","year":2016},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.872285Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:7b17d90d7924b3159e0fa47bf2b255d7eb40cbf0b7bb20f97b203b46c79fa054","observation_id":"d4b0144f-39d1-4116-b17a-8843d3af9800","resolution":{"observed_at":"2026-08-06T17:37:25.347530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.325275Z","title":"Chatbot-based assertion generation from natural language specifications,","venue":null,"work_id":"3c8aceca-8329-4d7f-a35c-57f0e477a97a","year":2019},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.877059Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:f5206361d4ac7bb437b50e958033cce7136eeca0784b40456823436db2b0be2d","observation_id":"cb790a3c-3450-45b2-83c3-7ca62332dfc6","resolution":{"observed_at":"2026-08-06T17:37:25.330609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.310186Z","title":"Spectosva: Circuit specification document to systemverilog assertion translation,","venue":null,"work_id":"e6d76fe1-2df1-498e-8469-60086e511dfe","year":2021},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.881807Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:0f4fccfc9d87880418459939d1097e686a8ac242d8fc37c2ab6e64a7cc085f87","observation_id":"2d8bd2ff-8fa0-46ff-ad77-b8289906aa4a","resolution":{"observed_at":"2026-08-06T17:37:25.315288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.294390Z","title":"Natural language is not enough: Benchmarking multi-modal generative ai for verilog generation,","venue":null,"work_id":"93f4dc36-4d94-4867-a295-d0e60f52cb3f","year":2024},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.886361Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:6a39f60378cebeb215e18d1e4192e76fd837648f92b00aa66cdbb714c52b7bb6","observation_id":"c9d98342-9b12-4d32-a766-3d15108cab6b","resolution":{"observed_at":"2026-08-06T17:37:25.299816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.279345Z","title":"Assertllm: Generating hardware verification assertions from design specifications via multi-llms,","venue":null,"work_id":"334ca3e8-bff6-46e2-b089-7d93674215e1","year":2025},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.890686Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:bdfa0a8dd4cf21f91c78591ac8706e34765b7a6b0dd5dcb764c97f9689301569","observation_id":"cd4695d7-6c65-4425-9229-aca24c89e79d","resolution":{"observed_at":"2026-08-06T17:37:25.284475Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.264993Z","title":"Chiraag: Chatgpt informed rapid and automated assertion generation,","venue":null,"work_id":"13069bf8-e9ed-4cff-82f0-de544701e2f3","year":2024},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.896174Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:40e913b40b34900b2c9f9aa30c06c38cc3244fc79ec1ef436d5f7c23bf52d181","observation_id":"c4d13d23-34c5-4e7b-bd70-d7e4fab8f83e","resolution":{"observed_at":"2026-08-06T17:37:25.269456Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:24.900653Z","title":"Towards improving verification pro- ductivity with circuit-aware translation of natural language to systemver- ilog assertions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.900653Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:813c88757d7d831dcad6077c7c0998bdb30a0909a8dc1de7ba2eaf004dfb81c5","observation_id":"39948876-3899-4b23-b401-0394da24cd8c","resolution":{"observed_at":"2026-08-06T17:37:24.900653Z","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-06T17:37:25.241611Z","title":"(security) assertions by large language models,","venue":null,"work_id":"dd1e5dc6-6bb2-4a86-8fa3-7cca6cb4d645","year":2024},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.905304Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:9ddb91a57e8796d8d0516fc8dd7d988c0c272b6758eaa81851f70e672a4043f8","observation_id":"4bab7403-7c5d-4854-adae-9005ba76eff8","resolution":{"observed_at":"2026-08-06T17:37:25.246499Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19174","last_updated":"2025-05-14T20:59:25Z","snapshot_observed_at":"2026-08-07T16:39:53.054287Z","submitted_at":"2025-03-24T21:53:37Z","title":"AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19174","snapshot_observed_at":"2026-08-06T17:37:24.909810Z","title":"Assertionforge: Enhancing formal verification assertion generation with structured representation of specifications and rtl,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.909810Z"},"links":{"cited_paper":"/paper/2503.19174","citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:c8b634977c843dfec5f914fe87f53cfd5b1014087ab24092bd010d45bb33fde2","observation_id":"59bced4d-db67-4476-849e-3213eb2b07ce","resolution":{"observed_at":"2026-08-06T17:37:24.909810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-06T17:37:24.915297Z","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":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.915297Z"},"links":{"cited_paper":"/paper/2505.07995","citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:21166f8392e42f8a095812b0cd0dc24351af8bccb02798aa07ff323b94e363e5","observation_id":"b6b3cae5-83fb-4ab3-bc9c-6ed281f501d0","resolution":{"observed_at":"2026-08-06T17:37:24.915297Z","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-06T17:37:25.227796Z","title":"Are llms ready for practical adoption for assertion generation?","venue":null,"work_id":"7d2aeb00-0275-4b19-b8fa-51cb54d8ff2c","year":2025},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.920064Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:64c41f4081dc1a913db610a0029cfc08074581d3d86cdb4153b1fbc007f0f6a0","observation_id":"20cda987-e709-47d8-a9c0-a960c929f3cf","resolution":{"observed_at":"2026-08-06T17:37:25.232369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:24.924332Z","title":"Chain-of-thought prompting elicits reasoning in large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.924332Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:c052dd0cc2985710a5f45e975716f6b0bf932928ad0f79a39cdb1ea5e1588d92","observation_id":"3a2adc8f-94c0-4858-bdd3-b82ff6be1971","resolution":{"observed_at":"2026-08-06T17:37:24.924332Z","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-06T17:37:25.201532Z","title":"Model checking,","venue":null,"work_id":"5cdf2253-3b14-474a-ba3b-b8b1a583a02f","year":1997},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.928463Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:864ac41586d0bdfba614ff187965b127659d1bcc218c74dabf8984d732f8a346","observation_id":"5383c7fc-766d-43cc-831a-7cc3a0ada63e","resolution":{"observed_at":"2026-08-06T17:37:25.206880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.187360Z","title":"Layoutparser: A unified toolkit for deep learning based document image analysis,","venue":null,"work_id":"67d49211-681b-4be2-8633-d3e2ad2c5f23","year":2021},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.932578Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:6d62ede2876cb4321ee9f7a7c4f6f927cab7873d8ac73ff089ac8040b53d6e45","observation_id":"57d0693f-7bbc-4ef3-b94d-8a44010cb343","resolution":{"observed_at":"2026-08-06T17:37:25.191813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.172218Z","title":"Publaynet: largest dataset ever for document layout analysis,","venue":null,"work_id":"c039d644-f84e-4877-8e44-343b7d910b6c","year":2019},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.936943Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:164590a3fa7c0ce5bd2f492614faedf47463f80a4c46252d5dbd6688dc4a989c","observation_id":"f151e3ad-3839-4453-b242-593579f8ec70","resolution":{"observed_at":"2026-08-06T17:37:25.177132Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.156483Z","title":"Handwritten opti- cal character recognition (ocr): A comprehensive systematic literature review (slr),","venue":null,"work_id":"fb4ebdce-f4a3-4ea3-aaf3-991bc20b09fd","year":2020},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.941197Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:434b6a7cc4902eaed48d45bb1be15fd63f0c3bab259da02b65c36a18c700ad09","observation_id":"0a167f37-fa3a-413d-b6e4-2d7a5351b601","resolution":{"observed_at":"2026-08-06T17:37:25.162245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05779","last_updated":"2025-04-28T17:36:27Z","snapshot_observed_at":"2026-07-31T06:48:41.810549Z","submitted_at":"2024-10-08T08:00:12Z","title":"LightRAG: Simple and Fast Retrieval-Augmented Generation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05779","snapshot_observed_at":"2026-08-06T17:37:24.945443Z","title":"Lightrag: Simple and fast retrieval-augmented generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.945443Z"},"links":{"cited_paper":"/paper/2410.05779","citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:147cd975ccd2e170caac81ecad514f0b2f2e81212e3fab1f0e22268ff7818083","observation_id":"aafc25a7-ad06-4155-bdc0-6c195d68bd4e","resolution":{"observed_at":"2026-08-06T17:37:24.945443Z","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-06T17:37:25.139754Z","title":"I2c-master core specification,","venue":null,"work_id":"0372d563-bd9e-4f9a-8d84-13b4fe68521b","year":2003},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.950278Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:6c26f0202336881b8c68f5c39394a408531dd423b16d6b9e5815ac83d434dfbd","observation_id":"3db4192b-ca27-4478-b7e1-21569632d35d","resolution":{"observed_at":"2026-08-06T17:37:25.145927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.122898Z","title":"Aes core specification,","venue":null,"work_id":"8970c97a-db6d-46b6-a98e-5c4ed4418fe0","year":2013},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.956217Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:699eae2f1ecbb5b076eb0f6d84c22f39262671cbeb4261e32eef8c8969e3447b","observation_id":"769b3081-d7b7-465f-8360-2159fd9d6a97","resolution":{"observed_at":"2026-08-06T17:37:25.128261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.106498Z","title":"openmsp430,","venue":null,"work_id":"51245932-c7ab-4ec6-9382-0739829128ed","year":2009},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.961539Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:5b9b21266f04490384eced8e998207eeb84d9266120930eefe5ce7c0c046b5be","observation_id":"4626eb30-4615-4d3b-84ec-d39792d4f278","resolution":{"observed_at":"2026-08-06T17:37:25.111698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.090489Z","title":"GPT-4 Technical Report,","venue":null,"work_id":"f35ef6dd-d2f5-47a6-9075-a5134af23195","year":2024},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.967065Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:f787281e739e7d984967d66f5450d41effecd2c27478501fec9ce06ec80cf5dc","observation_id":"deb62d73-ce7d-4b08-bbdc-a70b9c23b9c6","resolution":{"observed_at":"2026-08-06T17:37:25.095794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.073969Z","title":"Yosys open synthesis suite,","venue":null,"work_id":"4636747f-6147-44ac-be50-76e9af89bef7","year":2016},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.972112Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:c3eb619eb6cfb98240253367c013fe0762f496f9a3b4246e5c04741d0265363e","observation_id":"256479fe-d7c3-4a6b-8b10-6e19ed55f749","resolution":{"observed_at":"2026-08-06T17:37:25.079428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:37:25.055957Z","title":"Mantra: Mutation testing of hardware design code based on real bugs,","venue":null,"work_id":"0da53448-d48d-45b6-9cde-9596d22db7df","year":2023},"citing_paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:37:24.977072Z"},"links":{"citing_paper":"/paper/2507.10338"},"observation_digest":"sha256:6b166ea1afc8995ff515198b8cf08cb011aa0af78e48682bba6c85b939e6c3e8","observation_id":"635adcbc-4d9d-477a-ac41-e756bf9d1af5","resolution":{"observed_at":"2026-08-06T17:37:25.063401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.10338","last_updated":"2025-07-14T14:43:14Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T17:31:03.829801Z","submitted_at":"2025-07-14T14:43:14Z","title":"AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":32},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 4 inbound Pith citation observations for arXiv:2507.10338."}