{"as_of":"2026-08-17T15:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a5d9f84e2dd7e80d24e2979ae7c350a802f3ffedc2ab4884236e86d54df9a775","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-17T06:30:58.91139+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-09T16:01:19.222907Z","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-15T17:59:23.982465Z","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:662f461377af98618dda5a9406305c4540faa5f272384d63e3dadbdab009dbcc","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-09T16:01:19.222907Z","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:bfe1b03ee57ad35f827972f23c29b00850bb9828c01fca53cbe5b22188076e63","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:0936df5806d9e89802e75c358121e6d089f9d172331aee4d81e4e2b5db760f2d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:741844019edb5cd6a47f279088f0907acd9bb06291afb0b8f6bd63f449ff6934","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:c17661a4e893771fdd2db181acbb2a6e37c33f7b7e28dd40bdaaa8b8f4bb4baa","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:698855c99dcb3a104bfc74d24d4648c0a89dc9453b28e686c94b26c1603bb72d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:0d6d935263fc4c4dfeff7fb6ab5d83661706d4a6b194f6230ad537d2dc38663b","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:1be2f211b271c55adeaa9316d1893b104eba98cab92f65e8e48d76d64067f042","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:bdca7996344d6aa7e6e36ad227917d9dadecdf4abd85ba552e67952c9c6a9b23","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:0cfb9d0b7b427a3a6ebb6f4ffac7b1f7ea8872fa0d385a2c58073a88f316cf6a","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:56cbdd214a00ef8334cab1080cbc407c2f255b5f51294af50f524aaa785f7e10","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:0ac7854462158ddcf386ac136e3c60170952fa300cf41d638d1fc9e4e6235399","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:9ed3b82cfdb54b22f9ec58eb3fb8362e58710da84311d230367c18344beafe92","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:5ac40403743bebbeb4e14af6102f32e16ae9193fa08fc4e77f6e510e3dd167e6","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:092df830b427ae1ee40736f8891e97036801e944b575ed69564c5a586d050d1f","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:c8fb59062740f297deefce5f85cb0fc816236c6ad61a7ab41a07fa84532ecf23","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:4353d09da150ef715725ba2699785eb68a23644da69a496b30f6345702f1721c","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:7bf7801dd1f17f4734248676499e9c743d70c4a08054a1ee75a46a111770acd8","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:491028ea1c9eb51b4eb7d49318b133458db39f0486134d5e140b8e52cccd473d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:81fe9f326bfa2703831bc5cea80584e36d1e4ba6fbd33ec3fd84143e33743e80","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:7b1574bc2924bd3ee450715fa5e1ee1bfc5ac8412f8bb61d4214a0d68504c1f4","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T15:58:09.164008Z","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-09T16:01:19.222907Z","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:990fde1d959ce6c4095da91d1b3736105fc07f146205592cf80c9daccbff4f9d","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-09T16:01:19.222907Z","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:11d637f4e62a517eaf473358b3aa7ff976aaab35d77fcfec443bcb3102b10e78","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:e834f8f14af24d39cf53e266dfcaa7a24581c37b00b332e59da6beae526d87ae","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:da4e5d09972c6cc042bbc54d923f1c0ff9bafde69688456e643fd85b87ef6200","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:2d01dcb8511aa34224625ae7d0b084bede938055dce5ab176a3e9c167c60a137","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:1df0f77b5858784c953ad01ef7b7acc7223227e1fc421bbfc32034e12e40442f","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:8fc88ed1dfbd1271ea688f42d111b6dfd90abf82bb11ad1f2143e0e6bffd73ca","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:6f13fdaad30bdb349719bd7163882c272dc7a11bc8339265fe94fb0eaf3e7a03","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:5a02576808fc8857b0a2ab98a7e66b9f27976612ae145afc93aef30c4bf1223a","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:84795d0c49395c75feaccfd3896271935bec0d9eb4f0551810c9a66f97457806","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:de76901dc1fa5434c3c224b6456d4f3a9bdff2cdbb25adff6ca25789ecfcb36f","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:8130f4b07bed5a7c52a65e92325b7fa6ec9c74a38caac1ae13522771e7ba8cdf","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:8195b6b2d3f225fa736f890fe61a7db16070d20435cf702f57e5e22e8dde1e37","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:0285536c061dbdffed0646ac72ccb866a8b8b838071ee484d3a7bfd6c8ee1f87","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:66cac0a7056a424c68b20e94e05f492644d69095bdada1a1fe8f36643a499f47","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T14:54:22.310595Z","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-09T16:01:19.222907Z","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:fbaf67be87f607282737850185895c0de1590473be400993b64524a3455a529d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:9dc4d862eb4853eb2192bd28888a11e315a40985f408adbd473abfe718c167b4","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:c68de73b2d312ce257b42afb99c763a7ce34f3dca62ee14d419502bb515b6c6d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:a8ed3e60fa3847209b4e4d633dc655fd0667e04c6c2743df34d8ebe1b0950e20","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:fb64db443abbedb2aa80c54bf2301f71240b7e4b1da6cf7da650a48e837fe136","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:1e92b923b5a4a1b5120bd5e8801e017b7f9c617556dbdd607ebd3364ac3ab873","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:bb731fff25917642a2dacaab176f8e559957d44c8ffd05bf4a23f588715cc08a","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:9783d759b9e513a5b55877d71efc75098231c60f75ab2b18d711ff40f81d00c8","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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:ce24af65b97486fd3cadeb52d79c9287f22e04c66b57c6c4ba00f4d79f2e3892","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-09T16:01:19.222907Z","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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2508.14414."}