{"as_of":"2026-08-07T06:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:27132bf1cbf27e4ab97ba4b57b6799affad3f769e22e954d871a1f3ea32954f7","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:37:10.226146Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T03:45:39.313659Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.14414","snapshot_observed_at":"2026-08-03T03:45:39.313659Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.29604","last_updated":"2026-07-31T16:35:13Z","snapshot_observed_at":"2026-08-06T01:02:32.739391Z","submitted_at":"2026-07-31T16:35:13Z","title":"CWEEP: A Lexical Static Analysis Framework for CWE Early Prevention","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T03:45:39.313659Z"},"links":{"cited_paper":"/paper/2508.14414","citing_paper":"/paper/2607.29604"},"observation_digest":"sha256:d37868dde2f3f25da007c01ed6c11a230c1a6c00ac975a9b03d2b7ac662c30ee","observation_id":"1a73cb91-cd9f-4de1-b21e-8cb9de23b30d","resolution":{"observed_at":"2026-08-03T03:45:39.313659Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2508.14414/citation-record","integrity":"/paper/2508.14414/integrity","json":"/paper/2508.14414/citation-record.json","paper":"/paper/2508.14414"},"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-05T18:37:10.970416Z","title":null,"venue":null,"work_id":"0cc247ab-c701-4667-9e47-592e71cc0b6a","year":2017},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.031734Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:320dfaefd34e0ec783f312deb9a1a9da75a39926771b77071b32e7484a3a9f1e","observation_id":"090ac360-c526-4baf-acdc-7c46f567bb33","resolution":{"observed_at":"2026-08-05T18:37:10.974890Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.954312Z","title":null,"venue":null,"work_id":"9cdf186c-3b13-4094-a242-3d616547132a","year":2008},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.036764Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:c2957922d7e714692c3947a93020da0e5e5872659c29b5184d349c7be6c2cf02","observation_id":"12bcf11d-9ab6-4bc8-b778-23311246d6d8","resolution":{"observed_at":"2026-08-05T18:37:10.959801Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.938586Z","title":"Dessouky, D","venue":null,"work_id":"592cb90a-4d25-4039-9a3b-5fd1e2bfaf3f","year":2019},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.041338Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:7ad4f2d62ac7e57617eb872bfbe602d296c888791d733965757fee4ae926405f","observation_id":"c03abd03-6b84-48ce-a0ce-3af648b5e336","resolution":{"observed_at":"2026-08-05T18:37:10.943558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.921989Z","title":null,"venue":null,"work_id":"88b00afb-13e9-48d8-ba0e-89075b5fccd0","year":2024},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.046984Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:bab170b261c8327389177b6c14dcb21fcb709872e956d04678047379adf70a49","observation_id":"00be8d51-8e26-4b23-90d3-5ad441a851f9","resolution":{"observed_at":"2026-08-05T18:37:10.926920Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.906953Z","title":null,"venue":null,"work_id":"46b42199-7f22-481e-a0fa-f60c4d047b4e","year":2016},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.051896Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:d9ad2975ae5595082bfa7495db648fa01c4f1e98921b5a51070dedb393d5eea9","observation_id":"0e4cc520-5b18-4eed-a4b3-e63b21289ebc","resolution":{"observed_at":"2026-08-05T18:37:10.911439Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.892252Z","title":"Ahmad, Y","venue":null,"work_id":"1485b6ec-9705-4e44-acea-b22415302fd1","year":2022},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.058003Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:3cb01bef45ced463498193c2b0a1870b3c1a9e67707032c7e8f80ce5828ca780","observation_id":"9ceb8884-e98c-466d-a988-5db1fc3d88eb","resolution":{"observed_at":"2026-08-05T18:37:10.896770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.876995Z","title":null,"venue":null,"work_id":"1d0712f1-6571-4d74-a6d6-8ef859ef46ea","year":2022},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.063100Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:d838f312a3c3282965e301beb7c04d6f2d3f8ba2b19b98a93d448a35caa6b4c4","observation_id":"56cedca6-8522-4ba9-9a04-d158f3f2bc6a","resolution":{"observed_at":"2026-08-05T18:37:10.881447Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.861294Z","title":"Laeufer, B","venue":null,"work_id":"2e6e43a0-1e04-4c66-bb07-25c76977cbf3","year":2024},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.067906Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:6784df3bf385f7163a78ef0c3816daf5a3581e84123c9b7979ee8e76ae5a92d2","observation_id":"2bf56c06-781b-4114-a323-95e87d4c3457","resolution":{"observed_at":"2026-08-05T18:37:10.866396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.845285Z","title":"Laeufer, J","venue":null,"work_id":"aae832e0-e1f0-4ceb-a17c-ba18b4f536da","year":2018},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.072366Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:b0fc8e9f5b9d8ce65b2249d8711e05bfed072f6e24ba5fa76ed3ac58ddf80c65","observation_id":"1876d6b8-fa43-4350-ada9-2177ffd0ae46","resolution":{"observed_at":"2026-08-05T18:37:10.850487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.827394Z","title":"Trippel, K","venue":null,"work_id":"fb3ebb4c-dda9-4003-af80-a2fa51068d85","year":2022},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.076623Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:e07f51c49686be20316961824fafb4098a18f69c1270d1edd1235b08a3177710","observation_id":"6e544e66-750d-4b91-8f05-8c5d477fe4d1","resolution":{"observed_at":"2026-08-05T18:37:10.832918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.811386Z","title":"Kande, A","venue":null,"work_id":"41399223-99ff-427d-93b7-1c152e21dcb9","year":2022},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.080920Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:ca86e1f359552d3ce4062a0e847d919a48824ac0866120fa2b94afedf4ae7fe4","observation_id":"17afe36f-9d23-4c73-9c69-05c995115eac","resolution":{"observed_at":"2026-08-05T18:37:10.816686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.794744Z","title":null,"venue":null,"work_id":"5093ad93-e076-49eb-8cf4-b9bb4d407050","year":2023},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.085567Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:ade95a7acc5276e59c2c34574495f777a0f455ee1e97a18bcd17b264b6eb69ae","observation_id":"80d5daf7-ce9d-4b9c-b731-544e4b180d14","resolution":{"observed_at":"2026-08-05T18:37:10.800130Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.777297Z","title":"Abreu, P","venue":null,"work_id":"82e0c324-da6e-4994-8b4f-aaf764a463fd","year":2006},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.089921Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:8889e7137306fe0718bc0597136785cf40f6950388a8f4330b0eed16e2062100","observation_id":"4cdeda8c-561f-44fb-925c-1c6f5cb74012","resolution":{"observed_at":"2026-08-05T18:37:10.783516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.761356Z","title":null,"venue":null,"work_id":"de1cb8bb-8e6c-4986-9e62-dc872faadecc","year":2019},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.093963Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:7b7a7061b5742bda5ea57a87908b1f8e75b70e095563470d8facc0630cb0b46a","observation_id":"017d5c54-6ce0-4256-8b79-77e937bc7303","resolution":{"observed_at":"2026-08-05T18:37:10.766356Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.744646Z","title":"Xuan and M","venue":null,"work_id":"2e30e8d0-559c-4118-88a9-64081b7dfb66","year":2014},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.098033Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:5720be6bbe8f2dbcfef0a9f80f7297ed6fc010cb7db5e2b9555bfd8a58560642","observation_id":"8e5c5624-f276-4153-bd56-e881775853ae","resolution":{"observed_at":"2026-08-05T18:37:10.749692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.728403Z","title":"Soremekun, L","venue":null,"work_id":"e8104381-a5bd-4d7c-a9f1-27a4c5ecdc3a","year":2021},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.102098Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:7e1d8514aa2faa9a8ba0df9a7f7f0b6ddbc81e85a85415af430351f717d6aef1","observation_id":"3dc5e598-3a78-48d9-a2d1-56cb489c2d73","resolution":{"observed_at":"2026-08-05T18:37:10.733687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.712627Z","title":"DiGiuseppe and J","venue":null,"work_id":"32e4622c-688e-44d5-aa36-9e5563883f80","year":2011},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.106099Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:1373cae42337d1a43efffaf28705efabcc2db821ed03ba783b9ef1590eeef5ea","observation_id":"2acbd9a1-9c6c-48f8-bbb1-e2cab53e876c","resolution":{"observed_at":"2026-08-05T18:37:10.717395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.696172Z","title":null,"venue":null,"work_id":"dcef9920-530d-451f-bd9d-21a575c4cb02","year":2022},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.110630Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:5af4dae1539692fe807c4d1263b532b376b526f712a5374aad67ff236006c281","observation_id":"c7235faa-d8be-4a15-ba38-3422fabb0c3e","resolution":{"observed_at":"2026-08-05T18:37:10.701577Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.677971Z","title":null,"venue":null,"work_id":"dccab337-ef1b-4aa7-b9ce-2336784deb98","year":2005},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.115518Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:1678b458d74d651dcf5201afd05509882f472e10e2e7171135cfe040925cd5fc","observation_id":"b83b640c-5e0e-4267-9a78-f0d2aabb71c6","resolution":{"observed_at":"2026-08-05T18:37:10.682836Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.661349Z","title":null,"venue":null,"work_id":"e56e85d3-5130-4ab5-97f6-ee93b73520d8","year":2024},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.120073Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:abf29ec351bf7546a084c28dc7263ee0cb2fef43adbff1287dd721d362fe4995","observation_id":"f87f6b57-ff51-4c52-8ce2-47e9c7c872c8","resolution":{"observed_at":"2026-08-05T18:37:10.666741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.01215","last_updated":"2023-02-02T16:51:28Z","snapshot_observed_at":"2026-08-02T19:13:36.473837Z","submitted_at":"2023-02-02T16:51:28Z","title":"Fixing Hardware Security Bugs with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.01215","snapshot_observed_at":"2026-08-05T18:37:10.124363Z","title":"Ahmad, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.124363Z"},"links":{"cited_paper":"/paper/2302.01215","citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:72e276724c7ce5db05c165f6b4fb645b38ed1ea9d484c9bc48d199ea55dacff7","observation_id":"fb385c77-261e-4f00-a9cc-c8cf431999f7","resolution":{"observed_at":"2026-08-05T18:37:10.124363Z","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-05T18:37:10.644719Z","title":"Stracquadanio, S","venue":null,"work_id":"80c36bfb-4e46-4981-9371-d583d03b8965","year":2024},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.128837Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:beee39c867b37acb9b4f3764a2f0fc137ad09872a142a7999db8c9538a28d066","observation_id":"e945b234-6d92-4bf7-b058-ef538095f258","resolution":{"observed_at":"2026-08-05T18:37:10.650698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.629210Z","title":"M \\\"u ller, ``Dynamic time warping,'' in Information Retrieval for Music and Motion","venue":null,"work_id":"8cc27f74-4e7d-4f43-8132-c21d9a1da97e","year":2007},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.133113Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:575659ca021cd531ece55920cd6a6d0bdf5ea1aa8cefcdf66d0f544fc3c9e21e","observation_id":"44603137-5a40-40fd-aa0e-150a2c6d264f","resolution":{"observed_at":"2026-08-05T18:37:10.634184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.612877Z","title":null,"venue":null,"work_id":"5720d01e-12ac-4003-ba72-e2cd925ff1af","year":1986},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.137641Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:066af6ed268ae4beadabb4bc9c75e740fe7ed8b2d69acc59186cae4d0d54230c","observation_id":"5b3f0421-5519-43f7-acff-c8678a5cf339","resolution":{"observed_at":"2026-08-05T18:37:10.617886Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.596165Z","title":"Canakci, L","venue":null,"work_id":"c34f7113-5093-4324-83a7-283daff87315","year":2021},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.142183Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:400fa595345967c3683647ba1adbf625e019e37a41e5fa39a3c19f934efae762","observation_id":"45cc27f6-8b90-450c-9d88-a1d0c716671f","resolution":{"observed_at":"2026-08-05T18:37:10.601961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.577466Z","title":null,"venue":null,"work_id":"1d2d01fa-d1b4-437a-934e-4bb8b42fc2b9","year":2022},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.146463Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:d7ab4206753c30a417095d5995f27d3c2c491c03f1a5ec0759160e4703031288","observation_id":"fd7b1de7-d565-4332-aa5d-0c0e48fe244d","resolution":{"observed_at":"2026-08-05T18:37:10.582428Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.560818Z","title":"Snyder, `` Verilator and SystemPerl ,'' in North American SystemC Users' Group, 2004","venue":null,"work_id":"e8a3a0a6-ab30-4aef-b796-f49affa534f9","year":2004},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.151149Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:c59fd8eb25d37f0daffbd3cc15812a593dd21f391edcc0cd38e91f58e4891a0f","observation_id":"c69699ac-1ce8-4435-8419-3d9ee04ff948","resolution":{"observed_at":"2026-08-05T18:37:10.566416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.544631Z","title":"Vittal, `` ASIC hardware verification: Debug challenges & solutions,'' Synopsys, 2021","venue":null,"work_id":"289adf0b-3fd8-4af8-ab05-d089e0d1209a","year":2021},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.155580Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:e734d423394cf04a467af23d4b669e6d5c04fc742fe2306fba631dfb2d55eb96","observation_id":"a2f0bcee-42d0-4282-95d1-9ea93cc9c347","resolution":{"observed_at":"2026-08-05T18:37:10.549803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.527988Z","title":"Papadakis and Y","venue":null,"work_id":"a430713c-1b6f-4a4c-9df5-f8aac29dcc9f","year":2015},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.159911Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:ff97bdd4729c8de0314ef009006b4c3c0ee360389118923d61714e5efff2a918","observation_id":"f3c28d46-6c38-4959-b51c-3cd6dec029b4","resolution":{"observed_at":"2026-08-05T18:37:10.533205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.511885Z","title":null,"venue":null,"work_id":"fc03cb93-0987-44b2-8cb3-58633ebd2d35","year":2014},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.164502Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:60c6b6c5384f817dab430ad833acfd6afaf60cc8880b11191da95a830130cb7c","observation_id":"cfe463cb-a5d8-4037-81c2-4d9607fb566a","resolution":{"observed_at":"2026-08-05T18:37:10.517137Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.494827Z","title":null,"venue":null,"work_id":"41a92808-0f84-41d2-84ec-6138e249d316","year":2024},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.168773Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:d5416f1b4209723e4f873a058d9a819ee43e19ae2c0b0a10d5800c5b60ba5037","observation_id":"c596c4f6-936d-4de1-b0a1-730d8a16b6e0","resolution":{"observed_at":"2026-08-05T18:37:10.499675Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.478976Z","title":null,"venue":null,"work_id":"8e62bf72-361c-42b3-8c20-cb76155f1ae1","year":2021},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.172937Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:da2585f46ea5967b1426cda96daffa611f98971123afaadf17fac842e2e9ffb6","observation_id":"124d24f2-abf6-4e18-ab5a-842f3f60fccb","resolution":{"observed_at":"2026-08-05T18:37:10.483595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.464043Z","title":null,"venue":null,"work_id":"7e1e25f5-166e-4a6d-bbaa-d61cc5584b10","year":2025},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.177838Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:46f1c247023636304f86fdb8db8f33a5982c098397beaf5e77a7386ca5115839","observation_id":"664fd96c-38cd-4834-a836-39bc679d73f0","resolution":{"observed_at":"2026-08-05T18:37:10.468727Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.447889Z","title":"Ahmed, F","venue":null,"work_id":"01c9a2c5-e7a8-45f5-ac62-f3fc6b68ce97","year":2018},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.182179Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:1a6e6dd6e368a4b66eb63fa70648a7ceb9c03d952d52821204643d7393e6cc98","observation_id":"dee2a2dc-f977-4bc1-a21f-ab1f519b0ed1","resolution":{"observed_at":"2026-08-05T18:37:10.452664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.431591Z","title":"Lyu and P","venue":null,"work_id":"39eacd7e-0ef4-4a98-b75a-038d86323c77","year":2020},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.186375Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:2ede115d43dc885cfdba056efaf1e482b35959780b583edb5ad56d7e16f57c30","observation_id":"7989a64b-9198-475b-a344-14d68a389857","resolution":{"observed_at":"2026-08-05T18:37:10.436369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04535","last_updated":"2025-03-25T16:32:46Z","snapshot_observed_at":"2026-08-03T14:14:27.880920Z","submitted_at":"2023-10-06T19:02:04Z","title":"LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation","version":2},"cited_work":{"arxiv_id":"2310.04535","doi":null,"metadata_source":"pith","pith_arxiv_id":"2310.04535","snapshot_observed_at":"2026-08-05T18:37:10.265891Z","title":"LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation","venue":"cs.LG","work_id":"ff14305a-bb89-45a5-945e-4538d329a391","year":2023},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.191025Z"},"links":{"cited_paper":"/paper/2310.04535","citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:e6ce010579386a0d64390bda34fe811dd3abdb3d9e3c22a82c365d6d472b32a6","observation_id":"0c1e3549-c97d-4a1f-b0e7-bd488ccd5590","resolution":{"observed_at":"2026-08-05T18:37:10.273127Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.415526Z","title":null,"venue":null,"work_id":"fac755d5-3dbe-4b56-a081-7e8be8775ca7","year":2024},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.195731Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:b293aa7e485a7ed817fc4e901e49960d1a1a76833ba882120baafff45f1b905d","observation_id":"7f8f999e-5874-400b-9ed5-368010c2d729","resolution":{"observed_at":"2026-08-05T18:37:10.420249Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.399088Z","title":null,"venue":null,"work_id":"ed5d4945-5692-494c-8d63-90717eaebf4e","year":2025},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.199893Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:b5507c2bc832e757fb0ba2b4a2d47986925072eecde9ea1615cfa55cce6da3b5","observation_id":"33030f7e-c940-40ae-97d0-2365abfc288a","resolution":{"observed_at":"2026-08-05T18:37:10.403891Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.382555Z","title":null,"venue":null,"work_id":"0c69fee4-8dc3-471a-a489-b5777309732b","year":2024},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.204575Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:48b79dc4a196774bbd81ba5e38ff94e237fc967abcbc250bc536b5bb55c94c1d","observation_id":"147cae79-bcf2-4cd8-b1cd-93fefc0637b7","resolution":{"observed_at":"2026-08-05T18:37:10.387558Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.365855Z","title":"Hu and Z","venue":null,"work_id":"bb56e020-ece8-45d9-8442-7024881bde89","year":2025},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.208823Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:ed0ba64793cf41ff35ce7297de42d3c7ba09bf035aee46bd2af917b71fb56dab","observation_id":"b44ba6a3-7339-4f0f-b1ba-5373afd3050a","resolution":{"observed_at":"2026-08-05T18:37:10.370563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.350484Z","title":null,"venue":null,"work_id":"745b82c6-5815-46e6-80be-5fd23552942e","year":2023},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.213081Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:ad93ba9ed39c2b932826c78d2131f5c883ea303bab2e2b2f218cdc2c01006fca","observation_id":"bf58e558-eb35-469c-918d-9b886bb72357","resolution":{"observed_at":"2026-08-05T18:37:10.354804Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.335667Z","title":"Singh, D","venue":null,"work_id":"de10c86a-5f98-4ac2-9e7e-443b01f3bfcb","year":2018},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.217273Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:f2b621ff49029e1478271f378c5aa3f2e649a405e800ba1e4f673edc20977d30","observation_id":"e3da0a33-1520-4d42-9fff-420a470d7f4e","resolution":{"observed_at":"2026-08-05T18:37:10.339958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.320074Z","title":"Singh, F","venue":null,"work_id":"cea91d8e-cddb-4dc0-b742-3296449877f2","year":2020},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.221514Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:e150796528b28d751d30d045d0cdc6458b750bcfdca647572ddb0e984748d0ef","observation_id":"97410d79-7758-4a6c-8738-152e42a0df5b","resolution":{"observed_at":"2026-08-05T18:37:10.324861Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T18:37:10.304607Z","title":null,"venue":null,"work_id":"cc23849f-12ce-4c9d-b833-677211a2488f","year":2010},"citing_paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:10.226146Z"},"links":{"citing_paper":"/paper/2508.14414"},"observation_digest":"sha256:e8f3f2efed26979c220caea4d761ace0a9d12bbeeea27acea6b5137903288472","observation_id":"34a15f5f-55de-48b0-8fb4-d139ac602b44","resolution":{"observed_at":"2026-08-05T18:37:10.309699Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.14414","last_updated":"2025-08-20T04:23:40Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-05T18:37:08.627822Z","submitted_at":"2025-08-20T04:23:40Z","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":1,"verified_fuzzy":21},"total_outbound_references":44},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2508.14414."}