{"as_of":"2026-08-11T21:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c652131e21fc2fd875416c8d46531b008f63fea10c33da48a4ae1baae4f0ddd9","coverage":[{"denominator":67,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":67,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T20:04:16.698983Z","state":"measured"},{"denominator":67,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":67,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2501.09475/citation-record","integrity":"/paper/2501.09475/integrity","json":"/paper/2501.09475/citation-record.json","paper":"/paper/2501.09475"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.7287/peerj.preprints.1459v1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.796412Z","title":null,"venue":null,"work_id":"ac148e3d-417a-4c90-8f1c-18d1ba95d1ad","year":2015},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.482940Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:defabcd4daa42340e0f9eda171f86a321401e220950f8cd7f1ae155f03f33c64","observation_id":"d9f08ad3-ef2e-4733-b335-1ad0b94210e5","resolution":{"observed_at":"2026-08-10T20:04:16.800257Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:19.038223Z","title":null,"venue":null,"work_id":"f515070c-9092-47dd-a9ab-20a55db7facb","year":1991},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.487235Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:7f896da97404ac0995e33789988c00992362c45b9e5f0a153f396a9a69a97829","observation_id":"8b65644d-41e6-48ce-ac43-d93938873ac2","resolution":{"observed_at":"2026-08-10T20:04:19.041745Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.491223Z","title":"Keromytis, and Aggelos Kiayias","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.491223Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:f62ac60720afec24528edec042f44979bdeb0567c04c37cf9671c967ac5fa798","observation_id":"915cb251-204b-4aae-abcc-01b0b29205fd","resolution":{"observed_at":"2026-08-10T20:04:16.491223Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.11150","last_updated":"2020-07-27T17:36:19Z","snapshot_observed_at":"2026-08-07T16:10:56.776629Z","submitted_at":"2020-02-25T19:28:52Z","title":"Flavour anomalies from a split dark sector","version":3},"cited_work":{"arxiv_id":"2002.11150","doi":null,"metadata_source":"pith","pith_arxiv_id":"2002.11150","snapshot_observed_at":"2026-08-10T20:04:18.763283Z","title":"Flavour anomalies from a split dark sector","venue":"hep-ph","work_id":"7a07a789-65eb-4f92-9235-13305c0f77c3","year":2020},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.495334Z"},"links":{"cited_paper":"/paper/2002.11150","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:a9f0a26a3eb5c603ce85857d3e6e0da56887221c109a0ad535148c5dacefb7cb","observation_id":"4bec10c9-bd5d-4841-8f27-5dcf5eecdc39","resolution":{"observed_at":"2026-08-10T20:04:18.767567Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1995.51469","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:18.748014Z","title":null,"venue":null,"work_id":"3e941797-0f27-40cb-a8aa-8a00857823f7","year":1995},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.499022Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:c92ea33311d31e4d7c08d20b584ad088fdb3a807e5d074468a36fd1481f76589","observation_id":"0ad6ba03-f835-44ab-adad-b71d3144b63f","resolution":{"observed_at":"2026-08-10T20:04:18.753067Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:19.028014Z","title":"Binkley, Marcia Davis, Dawn J","venue":null,"work_id":"1da06e10-7b6a-4803-b26a-9044a202f46d","year":2013},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.502834Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:d5a185e630a2421b9746dffca69cf606bb90f25f849a249a78ebc0404345a28f","observation_id":"64a15e27-b4ea-4701-97f7-1cf8a13093c9","resolution":{"observed_at":"2026-08-10T20:04:19.031500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.506084Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.506084Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:0bc11216ac444d3a72dc6a0375f1739f726d0158bd578190ce35e8276eb705a4","observation_id":"d56934fb-edfe-4b71-84ef-60802bb3b55a","resolution":{"observed_at":"2026-08-10T20:04:16.506084Z","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-10T20:04:19.012136Z","title":null,"venue":null,"work_id":"a9e7d1f9-025d-4353-8bfa-b4a0d2ebf7ba","year":2014},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.508743Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:adaf74e195714d77ff12ffd3a59f95c028809a0ba24dea309637bc244ed52df5","observation_id":"c79f8559-175e-45fb-bf8f-21bc543a6d84","resolution":{"observed_at":"2026-08-10T20:04:19.015529Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:19.002223Z","title":null,"venue":null,"work_id":"329f81f6-ca30-4396-8167-4e129db35d1b","year":2007},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.511908Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:40c9132dcedd9907d331b400257bb483ce5682f21a13142eaa0d423cfa860896","observation_id":"f5fc06ae-fd32-4227-ac25-c49da7d88ee8","resolution":{"observed_at":"2026-08-10T20:04:19.005750Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:18.992259Z","title":null,"venue":null,"work_id":"cd103837-c578-4fc2-9292-e2fa1b4719ae","year":2008},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.514654Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:5b9b6c5132b30fdf4edd273e1ba94ce9da480a9ab10673b9c2b44eed649c5803","observation_id":"0e47ce68-6ffc-47d8-a623-42ee444c04d0","resolution":{"observed_at":"2026-08-10T20:04:18.995709Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.518200Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.518200Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:5537592e935f7c62d6f1417d268ed082b49853256b17b263707aeac0d475baaf","observation_id":"9b818767-50cf-4597-8b2e-8a7281c6690a","resolution":{"observed_at":"2026-08-10T20:04:16.518200Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.521384Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.521384Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:643e1ce1c73f0a1f89a097aa03efa64fe8f13d201a94eb84a0d30567a73c0d7b","observation_id":"5653ec3f-f7be-413d-946d-71e632d91c2a","resolution":{"observed_at":"2026-08-10T20:04:16.521384Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.524610Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.524610Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:f421619305e915a18edbf4f78445aee5b03f77cdfd1883731b2b4f84656dfdb3","observation_id":"c93a916f-5624-4c17-b4cc-cb3eada1b580","resolution":{"observed_at":"2026-08-10T20:04:16.524610Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.527790Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.527790Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:d237dd4a79176756e3d0e649929e758013a9e26cc9ab78b0c702037d07dca798","observation_id":"ce3a5aa7-c742-4c7e-bd5f-a67a2dba4c9b","resolution":{"observed_at":"2026-08-10T20:04:16.527790Z","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-10T20:04:18.976002Z","title":null,"venue":null,"work_id":"3fb24149-f64c-4451-a35a-e0da37140f78","year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.531035Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:a0e714416439362b84d4c39f991ad7027d76884b320d0111c70a523e95df93d0","observation_id":"dfc0a30f-0ffa-4d14-8346-1920a05140e9","resolution":{"observed_at":"2026-08-10T20:04:18.979824Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:18.964641Z","title":null,"venue":null,"work_id":"b715e5b7-504d-463c-861b-d07b85c58bd3","year":2016},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.535067Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:a45879351e34f3fb525d8918d1b4836faab0a7ec47a5dfd9a955f201100dab37","observation_id":"b880efd8-b9cf-479f-8377-4f8f70dd3250","resolution":{"observed_at":"2026-08-10T20:04:18.968866Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.538205Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.538205Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:e909788fac1cd8cd699653def01e207518d8c388e6b21d71b9181da617187620","observation_id":"f742ee4d-0df2-411c-a5d6-a1998cee9edf","resolution":{"observed_at":"2026-08-10T20:04:16.538205Z","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-10T20:04:18.954484Z","title":null,"venue":null,"work_id":"d2dc828c-63f3-4d61-8422-00873dc2b850","year":null},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.540919Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:961cb442c34e2616ce4a0bbd27da22a61dce897ba614f73a9a3f362e3ec2aa1e","observation_id":"b8c87320-dab1-4b3d-81bb-a5c9072cffca","resolution":{"observed_at":"2026-08-10T20:04:18.957931Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7624.12877","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:18.405514Z","title":"Evans and Alberto Savoia","venue":null,"work_id":"e7436fcc-8097-452d-8f47-b3ed0d513d50","year":2007},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.546990Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:82998d867bcf2ce5fb3afb5ad88f8ee8bdfead723bec9ecdb6e5cbd1705b36a0","observation_id":"d6fca25b-8890-45b4-9033-6d3f252ce14b","resolution":{"observed_at":"2026-08-10T20:04:18.409839Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.549586Z","title":"Feathers","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.549586Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:0606f005b1d425d7f007585999765fbba237048b5c5806681649d8547cc6384b","observation_id":"3ee7c820-7781-4ef9-ba0b-ad017686b991","resolution":{"observed_at":"2026-08-10T20:04:16.549586Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.553035Z","title":"2020.{AFL++}: Combining incremental steps of fuzzing research","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.553035Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:76ecbf158aa2490012c8c3ae0da94601bd2e425d4d6d901c68771b22027b14a7","observation_id":"d43c9c57-2748-4284-a660-d3cd3a868d5a","resolution":{"observed_at":"2026-08-10T20:04:16.553035Z","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":"3445.11347","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:18.324183Z","title":null,"venue":null,"work_id":"87980996-7f58-468f-9c3f-2f3310cdf05c","year":1991},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.556387Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:e3eb46b6f9baefeb62e5fc1534fc7dd43855eea2c21af14ac7c3c9d0022f7a09","observation_id":"8329f340-bf41-4b9d-8120-46c5545858f1","resolution":{"observed_at":"2026-08-10T20:04:18.329337Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:18.939442Z","title":null,"venue":null,"work_id":"f9619b96-5c16-4307-8464-0a2183113158","year":1979},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.559850Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:31b4cc446035805736fbb266fd27d8743a44d854e1f0eacc0b51dd02015996c5","observation_id":"4f9dd5be-f9ef-4ab8-a4e5-c0a548aa7108","resolution":{"observed_at":"2026-08-10T20:04:18.942223Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.04370","last_updated":"2023-11-03T15:24:18Z","snapshot_observed_at":"2026-08-10T19:37:20.079997Z","submitted_at":"2023-04-10T03:55:35Z","title":"OpenAGI: When LLM Meets Domain Experts","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.04370","snapshot_observed_at":"2026-08-10T20:04:16.563101Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.563101Z"},"links":{"cited_paper":"/paper/2304.04370","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:eaf0ef8bd8c54980482481260818f9d6f2ce3a3776c358a3dcc0061ea15471bc","observation_id":"85f7a256-b503-4a2d-85a5-0f38d75c01a6","resolution":{"observed_at":"2026-08-10T20:04:16.563101Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.566933Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.566933Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:0bf8153daf6263a1d11e851e786d20625288ec86591ee09f2d362349c7838235","observation_id":"ec2b13f0-18b9-4526-8d73-0c7d1178e6e1","resolution":{"observed_at":"2026-08-10T20:04:16.566933Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.570404Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.570404Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:eb76ed720e8b195d3fce413db70eb4ae7383d4df8b4ad61601a51c22c1b28ad5","observation_id":"fe1e243f-e2b8-4bed-9790-2d864e183d44","resolution":{"observed_at":"2026-08-10T20:04:16.570404Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.573274Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.573274Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:4bdef555f1ffd7bc5f55f1d7d0e604e1f356bd465d963aab95a9200046b83efa","observation_id":"98834718-ba6a-421e-ba2c-ff64f488c4d8","resolution":{"observed_at":"2026-08-10T20:04:16.573274Z","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":"10.1109/sp.2012.15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.780757Z","title":null,"venue":null,"work_id":"09e7357a-879b-460b-88b3-cd25da4d1ad6","year":2012},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.575932Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:6eaf5bf5dea0515102b70d22000adcb6140dffe8d0b4b76d8be6a4dd38e37d01","observation_id":"a13daad1-7baf-494d-a715-1944fc2132cd","resolution":{"observed_at":"2026-08-10T20:04:16.784157Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10194","last_updated":"2020-02-24T12:21:26Z","snapshot_observed_at":"2026-08-10T12:23:29.822882Z","submitted_at":"2020-02-24T12:21:26Z","title":"A Put-Call Transformation of the Exchange Option Problem under Stochastic Volatility and Jump Diffusion Dynamics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10194","snapshot_observed_at":"2026-08-10T20:04:16.578644Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.578644Z"},"links":{"cited_paper":"/paper/2002.10194","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:a933acb95396ef399879126be478319cd3ca7f756598ed7bd4fe1999c933feba","observation_id":"cd1f9886-502d-4cff-9825-a09dfd834160","resolution":{"observed_at":"2026-08-10T20:04:16.578644Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.581489Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.581489Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:4ebdcc7248455bc764ff894d0543f71efb000bf4d4fcebcc1c4a88d35713c3c4","observation_id":"3e434340-ce2a-4a83-b6a9-1ce98eca5853","resolution":{"observed_at":"2026-08-10T20:04:16.581489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.584688Z","title":"Ko, Brad A","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.584688Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:ca27da3e50a8ae1b34706eb1c4c517bad1f5138c2ca1453588ab188284b4042c","observation_id":"45e9f66c-84f7-425e-814e-549198b48d4d","resolution":{"observed_at":"2026-08-10T20:04:16.584688Z","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-10T20:04:18.930634Z","title":null,"venue":null,"work_id":"691dcf95-4cc5-4919-a896-4ea728bbd550","year":2007},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.588004Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:5ba9b16289a736a328af200c6d2981bb7431f45c62fd5ba84b25bd72ff7d987d","observation_id":"72413b2b-28f9-41d0-a500-eac71e5c3b95","resolution":{"observed_at":"2026-08-10T20:04:18.933766Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:18.922100Z","title":null,"venue":null,"work_id":"27ab3938-a161-4289-ae5b-0fced09a1a53","year":1992},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.591210Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:a2382b0507002a3d6dc235ed5f0e6686ea2d1a9dff25dae1e478176138f7903d","observation_id":"434ac5cc-92ea-4517-afea-7b27ee6be082","resolution":{"observed_at":"2026-08-10T20:04:18.924970Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.594611Z","title":"Galindo, and Thi Ngoc Trang Tran","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.594611Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:ce87d2124ece600fc175d12954ac00bc9ee6b676e090d83338f164b8d2ca19e4","observation_id":"99a405de-f1c8-4f49-9fb8-10d0a51ec514","resolution":{"observed_at":"2026-08-10T20:04:16.594611Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.598663Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.598663Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:870687ad11c358a0ce82b5412d1fe9c46bae88a0799014678d55ebc574fed334","observation_id":"fca3fe0b-7de0-4bdf-b9f5-ec0d675b6b1a","resolution":{"observed_at":"2026-08-10T20:04:16.598663Z","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":"10.1109/tse.2006.28","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.764327Z","title":null,"venue":null,"work_id":"c77443cf-89f4-49be-a994-67b5cfcf2da4","year":2006},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.602339Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:1281dc428335f37da0e8273d31a0e7162523e9ee010e3e91c86d4a76f3c95f31","observation_id":"2ebb9727-02f7-4870-aa2c-8ab783aea181","resolution":{"observed_at":"2026-08-10T20:04:16.767945Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.605304Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.605304Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:46505f92de5d221f650aa5cdeff07014827629e87921154dd75e318e2f9be276","observation_id":"2fb831f3-19d8-441e-9d99-9f0e2f77491f","resolution":{"observed_at":"2026-08-10T20:04:16.605304Z","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":"1553.25015","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:17.743239Z","title":null,"venue":null,"work_id":"1ffb568e-a119-4024-8f5a-573d77879bd3","year":2013},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.608475Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:79b01752607bcffcbc0311af612028fdd9cf00fc5da6dac438c1807e07843215","observation_id":"6c420272-5e92-4997-8b63-7273a4b68a3b","resolution":{"observed_at":"2026-08-10T20:04:17.748498Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.611226Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.611226Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:4c8e958716d317772acef6563a6104fa5646e5ccd9d28b32233246bdf99735f8","observation_id":"2f168fe7-e929-4552-8643-a5643e56431e","resolution":{"observed_at":"2026-08-10T20:04:16.611226Z","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-10T20:04:18.912424Z","title":null,"venue":null,"work_id":"7602486c-08d6-4a50-b327-0000cf3b8046","year":1998},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.614014Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:9804c9abd78b005e9f1f72ea7a49fad3d430d61bb411bf8654351cb5ebde0715","observation_id":"d09f4866-3a62-4b93-b03c-aeca63374e04","resolution":{"observed_at":"2026-08-10T20:04:18.915809Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.12837","last_updated":"2022-10-20T14:04:10Z","snapshot_observed_at":"2026-08-01T15:23:39.998892Z","submitted_at":"2022-02-25T17:25:19Z","title":"Rethinking the Role of Demonstrations: What Makes In-Context Learning Work?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.12837","snapshot_observed_at":"2026-08-10T20:04:16.616577Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.616577Z"},"links":{"cited_paper":"/paper/2202.12837","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:e3745d471eabd141563cde7cfde73f898e6474f8bfa693f4b7c5d48238fb1dd1","observation_id":"16e3525f-0f50-4439-a4e6-8028f03b9d0e","resolution":{"observed_at":"2026-08-10T20:04:16.616577Z","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":"2024.33697","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:17.587939Z","title":null,"venue":null,"work_id":"56b0bb73-1ea0-4966-9311-c4cbd9df163d","year":2024},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.619715Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:69cced0b7b536283ae5fd89a4fb35c2e9923d18964c4f697f37dbe1d2832fdaf","observation_id":"1b072336-902b-49c2-b077-f61f5a45dc14","resolution":{"observed_at":"2026-08-10T20:04:17.593053Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.622246Z","title":"Roy, and Kevin A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.622246Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:5c689e03707f24b53c05d1d65811992a649066f35a039445b03da62a2684fb1b","observation_id":"1bda4c94-8fdb-4af3-ad20-2c2410522032","resolution":{"observed_at":"2026-08-10T20:04:16.622246Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.624865Z","title":"Hellendoorn, Bogdan Vasilescu, and Brad A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.624865Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:ecfea3661087d1a8ec17a44ec03e0dce67e1c703e94a259f82a2f4fdfe7fb9cb","observation_id":"ab15cede-0b3f-499f-9a0c-82a8a22f56a1","resolution":{"observed_at":"2026-08-10T20:04:16.624865Z","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":"1411.24945","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:17.373376Z","title":null,"venue":null,"work_id":"11b641e7-42d2-46e4-81cd-f2b20c89b8bc","year":2013},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.627507Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:77a78fe168039c2be3d73f836ef356bc9ccef952e788f7bd91ad3ed6619f43c9","observation_id":"a26ab4bd-3b6e-43cc-8418-71f98b0dbd53","resolution":{"observed_at":"2026-08-10T20:04:17.378894Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.631670Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.631670Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:29c1bcbcdd11dc33853d51883d4bcc92e2b7e96b354f05bc3e4078e3534c8412","observation_id":"38728a98-83cb-489b-817d-e7814027ee53","resolution":{"observed_at":"2026-08-10T20:04:16.631670Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.635140Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.635140Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:142c373844d695dce40641562efd05e35f96d44db30fae1d9041b7b5e90b4c18","observation_id":"3a47db05-e98c-4970-9cbd-f3ba7ef5dec0","resolution":{"observed_at":"2026-08-10T20:04:16.635140Z","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-10T20:04:18.896434Z","title":null,"venue":null,"work_id":"c913f59a-8aa9-4c44-9e22-f0485fb2ff5b","year":2014},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.638486Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:1e3c2d77d803891f14abfe3b4bbee4d01a85dba0437d7662454f62029dc68a0e","observation_id":"18325e20-7bc2-473c-925c-8007c5e9df87","resolution":{"observed_at":"2026-08-10T20:04:18.899922Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.641986Z","title":"Ross, Fernando Martinez, Stephanie Houde, Michael J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.641986Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:e0ad7f3004b85459339ffd0b142eee892cadf2c23f77a59fb2206919c79b2704","observation_id":"c76de83c-2c32-4519-8fe4-97867231c8db","resolution":{"observed_at":"2026-08-10T20:04:16.641986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-10T20:04:16.645392Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.645392Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:976be0b691ab56d4910cf45d07ea4216ff5399265be884d073c4380920ccb4ed","observation_id":"b9c29566-80a5-42a1-bda4-a02af0ff9089","resolution":{"observed_at":"2026-08-10T20:04:16.645392Z","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-10T20:04:18.886352Z","title":null,"venue":null,"work_id":"b6c63eee-2460-4fd4-be0f-d97b36c6df6a","year":2020},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.649047Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:71eb4c61d308342e4760c582d5bcb3d60ede6ddca303ae955b52f6a547fff955","observation_id":"02e7436e-e131-4d4b-9d24-4b9064fb0a38","resolution":{"observed_at":"2026-08-10T20:04:18.889684Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1708.08296","last_updated":"2017-08-28T12:53:49Z","snapshot_observed_at":"2026-08-10T06:42:01.845021Z","submitted_at":"2017-08-28T12:53:49Z","title":"Explainable Artificial Intelligence: Understanding, Visualizing and Interpreting Deep Learning Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.08296","snapshot_observed_at":"2026-08-10T20:04:16.651817Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.651817Z"},"links":{"cited_paper":"/paper/1708.08296","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:de991cea60ddd9624a6039ead052e39dbda8622694d2cc671db4c2999d3f8ce0","observation_id":"b3dfe916-a74d-4b5d-9864-b4652ad116de","resolution":{"observed_at":"2026-08-10T20:04:16.651817Z","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-10T20:04:18.875938Z","title":null,"venue":null,"work_id":"416fd24b-d4d9-4cdf-82b9-a7d00e41485e","year":1982},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.655204Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:dc057404ecdd80c5125e9df6a91273db815600f665a8789eeb10d128bb45d580","observation_id":"ac2807a6-ffbd-4ca1-a940-fb076e464224","resolution":{"observed_at":"2026-08-10T20:04:18.879228Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.658582Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.658582Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:60edd2567c1e289f455af788d5bfd359c808dd8c6cb40ed1f6d6af2b43f4748b","observation_id":"18321687-a989-48ed-b4d1-e5b5cb45f862","resolution":{"observed_at":"2026-08-10T20:04:16.658582Z","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-10T20:04:18.865882Z","title":"Singh, Kapil Vaidya, Vinayshekhar Bannihatti Kumar, Sopan Khosla, Balakrishnan Narayanaswamy, Rashmi Gangadharaiah, and Tim Kraska","venue":null,"work_id":"44a6b932-8a96-4873-9c04-6b0dcdd2851e","year":2024},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.661730Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:43f4872952913cf4fea6bba72f4204750f2281bf2145bf6c1797e92d6a72f5dc","observation_id":"442a5ea4-2872-4d86-bdc5-4f4d1aba1a1a","resolution":{"observed_at":"2026-08-10T20:04:18.869428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.667925Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.667925Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:1ba00fe064625c7cfc3d35c61e4d8db6720418e38c7c993ae4d03976eedb7e0e","observation_id":"e7d215ba-065c-4f29-b395-ee4b312d5a33","resolution":{"observed_at":"2026-08-10T20:04:16.667925Z","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-10T20:04:18.856148Z","title":null,"venue":null,"work_id":"32c78e61-d039-4b4b-b325-9c0e8d235915","year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.671349Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:b9f8ebb1d1ebf97981176534a12f25ed9e05099241713eebf41576738dc83371","observation_id":"8a2f95b7-dc4d-4d26-b0f4-1b37e4f16f16","resolution":{"observed_at":"2026-08-10T20:04:18.859575Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.00288","last_updated":"2023-12-30T17:48:37Z","snapshot_observed_at":"2026-08-11T16:12:43.530862Z","submitted_at":"2023-12-30T17:48:37Z","title":"Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit","version":1},"cited_work":{"arxiv_id":"2401.00288","doi":"10.48550/arxiv.2401.00288","metadata_source":"pith","pith_arxiv_id":"2401.00288","snapshot_observed_at":"2026-08-11T00:16:15.729268Z","title":"Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit","venue":"cs.SE","work_id":"4a1cbceb-6154-4a45-8c48-25ba6a25439f","year":2023},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.674555Z"},"links":{"cited_paper":"/paper/2401.00288","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:5151c02e2e45bc23aaf4cc8837580e929ca33aafb200b0c62b2c9313cf9ec34d","observation_id":"97cc4ded-d7f4-4368-869e-d7529ac1fd76","resolution":{"observed_at":"2026-08-10T20:04:16.751609Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T20:04:18.845978Z","title":null,"venue":null,"work_id":"d79bae15-6360-44bb-834b-b47e0b74c3b0","year":1984},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.678271Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:7ba5e667addaed2005f5f5ea9bf6de8301faa978ea6b5d213a7a73d7ed3d6c3d","observation_id":"5f0d5388-350b-4e60-92e8-5e915af44ef6","resolution":{"observed_at":"2026-08-10T20:04:18.849361Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.681479Z","title":"Weisz, Michael J","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.681479Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:9da6c6b2201dcc718dbe41e4e5fe75cb63e2e2b404c3ffaf3b9c2bef5d26c9c9","observation_id":"bdb6d364-d212-4cff-9a15-7ad410de1f10","resolution":{"observed_at":"2026-08-10T20:04:16.681479Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.684436Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.684436Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:d0692963ee8860b476929b4339e980e2d53e10ac3ed5a367cd6153f145978d85","observation_id":"b6272025-2a4c-480f-a487-9a08d8d36a0f","resolution":{"observed_at":"2026-08-10T20:04:16.684436Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.687263Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.687263Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:ba4a68050a40b8dfc14610e039514e00ffef428fdf1b2de78e3d32bb2075f1af","observation_id":"0a98458a-9942-46a3-a711-af36a534f7e9","resolution":{"observed_at":"2026-08-10T20:04:16.687263Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.689981Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.689981Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:0e76d54eb5b6742f9a20ba17e035a25816106d8aaaadce5f353305a651c49366","observation_id":"cc7fcebc-e0db-4ef7-8fee-2db23cb01e7d","resolution":{"observed_at":"2026-08-10T20:04:16.689981Z","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":"5913.17559","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.872636Z","title":null,"venue":null,"work_id":"28c8090b-531e-4d0d-9baf-933dfd677cce","year":2010},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.696109Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:603ba024decac2db04244aa4ae823010593fcb505231ba70f0a858171aac0d2d","observation_id":"3eedb800-c48f-4f71-ad33-6170d4042beb","resolution":{"observed_at":"2026-08-10T20:04:16.877677Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.692841Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.692841Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:7536d4a8da6ac8ee397df4638bb5604106bb546376872915d9827ce802827a6f","observation_id":"9e45de5b-610d-4b7d-99c1-eaedcad51f47","resolution":{"observed_at":"2026-08-10T20:04:16.692841Z","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":"10.1109/icse.2017.67","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:04:16.724462Z","title":null,"venue":null,"work_id":"cb15814b-8eed-4f15-af61-ad8486e72440","year":2017},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.698983Z"},"links":{"citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:29fe9849aa73893e6f76d088932979af8f350a157c9786048dc6997173175363","observation_id":"c42f4252-9832-43e3-b438-8a6232bacbf8","resolution":{"observed_at":"2026-08-10T20:04:16.729514Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.11514","last_updated":"2025-04-17T17:18:24Z","snapshot_observed_at":"2026-07-06T18:16:20.122022Z","submitted_at":"2024-05-19T10:54:03Z","title":"Towards Translating Real-World Code with LLMs: A Study of Translating to Rust","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.11514","snapshot_observed_at":"2026-08-10T20:04:16.544039Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-10T20:04:16.544039Z"},"links":{"cited_paper":"/paper/2405.11514","citing_paper":"/paper/2501.09475"},"observation_digest":"sha256:dabbd499d0425466dc60f7dc2ce5b77aeb60a54fbd881effe5dfd794a4556d44","observation_id":"b5436f0f-653f-459f-ae0f-9758e391e7b9","resolution":{"observed_at":"2026-08-10T20:04:16.544039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.09475","last_updated":"2025-01-16T11:27:25Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-11T05:46:08.804510Z","submitted_at":"2025-01-16T11:27:25Z","title":"Guided Debugging of Auto-Translated Code Using Differential Testing"},"reference_resolution":{"displayed":67,"state_counts":{"malformed_identifier":2,"metadata_mismatch":7,"parse_uncertain":0,"unresolved":50,"verified_exact":6,"verified_fuzzy":2},"total_outbound_references":67},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 0 inbound Pith citation observations for arXiv:2501.09475."}