{"as_of":"2026-08-09T07:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9d5af60216156faffa87cdd39363aad92bfffe54bdf263bc636ee4d6bc6ed526","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-09T06:31:02.800959+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:73205af5ecc9171a6ed651def7688c606f77746bcaf1023e9e8a3781932124a8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a6a664d4916a113f9e28db447106b3925444e5cba106cc3c097fad0f6911e2c8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07-06T23:59:47.542695Z","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:6949fc75ca9dc44f58b4421b62e91f417fa187cfdd8e65ec4da9a1f9abc1874a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7db89b7f298ec33d973116299d85f313599ec3daa78506b79b27786dc325c3d1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a2135dc0c0b44d1e3b14fbc5cc7cd3c22301511745f6392d11a2d97cbc60f4ee","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5324b4b0086b9296e77f9046e2236f25ad14d998104054cbb1f8031f2d328f09","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:70733d2ea8f3246541c6742cf9331f73c60ecaae7d1b9d2ab6e6aa63eaa41afc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:64a237a6628316febc5be14a6d71e6671266dcdacf3ed5af85d54ff8e92c9c6e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e896a142a69f767cee80df78b084fa5b6532b3eb553958aeba4d7a905acb0084","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4468f1082795d000e12383f61702cf95a7594c38b00815934533f8be105aebd5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:361a05dd25dfe626b2ef032561b38019b8c027fe0ddf9dfa80dea0230ff0f63c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:69889167a42eed265afa2dc7c01e3485b7582f9cdc2745479986de5f1296c07b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3afd33567387443242fb9fb93abc5b58450919969bc8fdf41fc88f1202c00470","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:61076711f3f12e8d2ff98c304a09de80a32ecec70c552c115e28b05c67238ff1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7e09d034f91a6bb858e79fba543b26acc3e39c9cf70cfe62992baed3f86f1e86","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:dcfd1652eec327f318ffa0fd551555313ecdfe6c08b20aede869d2735a9e586b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7e6066d1144659a3d106173259f44737aa97a51cd1ce9b22b7bbd7b82aa96874","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:21ce5c385513e5fe071e8e336f1aec3cf31802a5d1d0a396430e58ebfb84ca2e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:12def131d54cd5f6d6c0e30e511aafcd14327c23d0d295d1235f70f4ee5eee42","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7cd1a40d706fb619b2ff75ea3103d4152eaa915df651a99c9b98abf9d11e5264","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T15:47:45.182371Z","submitted_at":"2025-05-12T18:48:56Z","title":"Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.07995","snapshot_observed_at":"2026-08-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:df7a939e1eb5444fd622bace5f43a31e3bff93b11964e9663f4a07e26d6e689b","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:565e09e14bd50ec85cbd15d4925ba5bab2bbede2e7aa7cfb59247b0f157fc424","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7cba36e6f06d10cf6d9374a86175be4d5f8f12a1ed60779dd517b6d600bdd461","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:fca8402c7dc8755f2047cbbf1e202126acfb31fdbe49a6f42fbb0f400083c66f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:68a82d558cbaf3b4848e58f9d5d1dc2349038bcec8d3d7f0fd3d66a5f5b6a07c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:f9f99b6653dac9a4e9d21feea57872921119c9203a2d612bd6deecb6e75325ab","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b677d37d30425c6c21c6dd980ec292ddc5843dc4a64aafc2d01466974e545899","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:16f0081f928266e5d34ac273ea240f4ab0be992e10501f0a83b0f83fd12bd255","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3e9b4aa7fdf8330c85cdb386e945c6e99de0bfd9454958e0b18306c3285f025d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:59d002a158a7fb8a3116af4ad0b108ce995895b8873423dc9306a79bf253cd9a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a2d80c5361dcb5e3fac5f9adbe23d872fc309d5b8027bc82d7a414a9c0e7265c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:46472aa1567e932bf3fe67a9bae75f3a17a7cb2e256f913165c80a6c9866022f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 4 inbound Pith citation observations for arXiv:2507.10338."}