{"as_of":"2026-08-09T21:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e222823d992f8d9b77510bd9b64363cf7c4adb0e68361291502ac4131cfd507d","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:57:22.115966Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2506.04019/citation-record","integrity":"/paper/2506.04019/integrity","json":"/paper/2506.04019/citation-record.json","paper":"/paper/2506.04019"},"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-07T10:57:22.472672Z","title":null,"venue":null,"work_id":"9b6e58aa-ae09-4feb-84d2-3484630b9a99","year":2023},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:21.938889Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:769281054a87b6bc9cc1e4b18434cf1d4d829c46fd35c8814c9bf7a10edfa240","observation_id":"d5b9a4ba-e4a8-41e0-85d9-e06fbc44d9c5","resolution":{"observed_at":"2026-08-07T10:57:22.475557Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-07T10:57:21.995617Z","title":"Cai, Michael Terry, Quoc V","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:21.995617Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:441daf2ac0874b3eba2fe9c678d04735aad0faa9e9b3a5a640ee4ee2441f12ad","observation_id":"d4bc5bfa-8fcd-4aac-88b7-882a7470981f","resolution":{"observed_at":"2026-08-07T10:57:21.995617Z","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-07T10:57:22.463353Z","title":null,"venue":null,"work_id":"bce93931-215f-4f0a-8492-120366c1ebf9","year":2021},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.012957Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:0cebec5909b45afcd26e57332840e9f947e76fddb2be0127111ef3145a9f9aa9","observation_id":"3c1dc221-4b7f-4c9c-8f2b-b9a27d6d3325","resolution":{"observed_at":"2026-08-07T10:57:22.466188Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.454733Z","title":null,"venue":null,"work_id":"2a0efac9-e2c6-4e14-a3b9-9de68b7432f4","year":1998},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.017972Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:8faa972851054d26235974651c8ffe8208f48c1f31b71c9555f55eac909f218f","observation_id":"c7c0e8d1-c539-493e-af64-9357feb25594","resolution":{"observed_at":"2026-08-07T10:57:22.457621Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.445435Z","title":null,"venue":null,"work_id":"f4376334-b8d7-4cb6-8d76-d14007579262","year":2023},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.023014Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:22592d4c885b713dd332a3401814ac4dc64be6934cbb1d0f9b44c09d54875d3e","observation_id":"6f700ce1-3e53-42bb-9011-7dcdf4353705","resolution":{"observed_at":"2026-08-07T10:57:22.448549Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-07T10:57:22.027784Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.027784Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:2f6c57e3a9603c6ea7091044b551f20a31d68399e32c179bc12c211184ccf93e","observation_id":"126c3f6f-2426-44c8-9081-78d4b74def33","resolution":{"observed_at":"2026-08-07T10:57:22.027784Z","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-07T10:57:22.436203Z","title":null,"venue":null,"work_id":"962f507a-1cfd-498d-817b-d0e13feb433d","year":2017},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.032853Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:fe5b3993f112db5ebb870cd1bcded91af9f04a47b7c2ab5c3de93bdcd695de66","observation_id":"f42749fc-51d8-4d06-943a-cd2ef843b4e1","resolution":{"observed_at":"2026-08-07T10:57:22.439242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.426943Z","title":null,"venue":null,"work_id":"cb66a5f2-1302-4f8a-989d-1757d749d2ec","year":2024},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.036786Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:3468612703786671c225f7edeaeaa2e5f98995d4d53f7fb0ec68ccc14b64f907","observation_id":"8bc231bd-83de-47c7-81f2-f2649fc20a3e","resolution":{"observed_at":"2026-08-07T10:57:22.430187Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.417789Z","title":null,"venue":null,"work_id":"3fa66490-daa9-430e-88fc-6f7cae150a88","year":2019},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.042131Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:b060720c7bf766102c2e1cb7a0b44dfe3632148d0b9a330330da731a12d5ed7f","observation_id":"f01a6372-c5da-45f2-96a3-02cb27ee2803","resolution":{"observed_at":"2026-08-07T10:57:22.420923Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.408621Z","title":null,"venue":null,"work_id":"552d32f9-30b5-4b6e-b430-6ed1bfc49cc6","year":2008},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.046517Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:26837913fa84ad508b541e2283a29461ac83e40b4a8b47dcdd766351d31bfe56","observation_id":"6dc2c57c-1989-40d2-acda-3eda67604d3b","resolution":{"observed_at":"2026-08-07T10:57:22.411417Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.399949Z","title":null,"venue":null,"work_id":"fb6e7503-458d-49a5-bf87-a2fd3739b368","year":2012},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.051544Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:e31a1fc4fc489823f37ef813c14afc57035f69e0c1cbed64733dd6724e9dda2e","observation_id":"2d435603-be6e-4933-8b98-0dd5e996a63a","resolution":{"observed_at":"2026-08-07T10:57:22.402700Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15594","last_updated":"2025-10-19T10:32:43Z","snapshot_observed_at":"2026-08-02T10:23:50.881300Z","submitted_at":"2024-11-23T16:03:35Z","title":"A Survey on LLM-as-a-Judge","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.15594","snapshot_observed_at":"2026-08-07T10:57:22.055656Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.055656Z"},"links":{"cited_paper":"/paper/2411.15594","citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:db0a2da027b50d5a416de7d99ec33fb45d3b78710466c32431522751ce446c0f","observation_id":"3c48ee27-5a85-482d-9869-f8223901253b","resolution":{"observed_at":"2026-08-07T10:57:22.055656Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.02246","last_updated":"2025-03-04T03:48:23Z","snapshot_observed_at":"2026-08-07T17:31:39.128866Z","submitted_at":"2025-03-04T03:48:23Z","title":"From Code to Courtroom: LLMs as the New Software Judges","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.02246","snapshot_observed_at":"2026-08-07T10:57:22.059743Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.059743Z"},"links":{"cited_paper":"/paper/2503.02246","citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:d2e83b26e4b1e385252bf1cfdd4b5cfd55f81dce460ef24b64db0db6a4a430e5","observation_id":"2265ac91-5434-4ff7-934c-790046f0b79f","resolution":{"observed_at":"2026-08-07T10:57:22.059743Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.02479","last_updated":"2025-04-13T09:42:30Z","snapshot_observed_at":"2026-07-06T18:56:57.369673Z","submitted_at":"2024-08-05T14:01:15Z","title":"From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Future","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.02479","snapshot_observed_at":"2026-08-07T10:57:22.062726Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.062726Z"},"links":{"cited_paper":"/paper/2408.02479","citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:e550dee7c782b2ba48326db3496400af836f5b0dc0f43b760eb3027f3888fd7e","observation_id":"913dbd2a-01f7-419f-a6e2-ccb954ec6b05","resolution":{"observed_at":"2026-08-07T10:57:22.062726Z","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-07T10:57:22.391500Z","title":null,"venue":null,"work_id":"f73798a4-da23-4f5a-9c55-f3a38a3d5141","year":2011},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.066027Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:e65f3a61555c3215960e184f1ddb8bd48d9bc74001112cc20ee7f9fded33b8e1","observation_id":"b63f305d-2627-4600-ade9-87c17fe5195e","resolution":{"observed_at":"2026-08-07T10:57:22.394272Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.382361Z","title":null,"venue":null,"work_id":"7d466548-87e1-4063-8052-c720406b45d3","year":2022},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.069087Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:f35ce1edd8f203b4b3df47cc18028c8a917725e50d3f3ccd4f3cda373d0b24a0","observation_id":"a3e19f79-5b66-466e-bd75-6ba3960cf00f","resolution":{"observed_at":"2026-08-07T10:57:22.385370Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.372447Z","title":null,"venue":null,"work_id":"e7df8193-3bcc-4c74-972e-1106ea694f0a","year":2019},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.072942Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:09bb73b007696a1cf01833cf051251a13c127a72971b3a82e5e630d504d8f294","observation_id":"fe4219e1-fbc6-46c0-9e67-9207c3c862f1","resolution":{"observed_at":"2026-08-07T10:57:22.375314Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.362964Z","title":null,"venue":null,"work_id":"a146ed6d-9411-4056-b6da-caaceba23a74","year":2022},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.075935Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:462b783949ac278d932ac4fbe2d65ddbdd4bdf5860df3cc9847500f9001e08c0","observation_id":"40424187-8fac-49c1-952c-366682c646e0","resolution":{"observed_at":"2026-08-07T10:57:22.366172Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.353348Z","title":null,"venue":null,"work_id":"ba736bb4-84dd-4785-a886-218178961d69","year":2025},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.078898Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:fa6d9e560a637fcd7cdc51ec2035e3930c85690d1dae34c7bf3fcbfed2fe98a2","observation_id":"5475e6cf-286a-43d9-a474-dce742e1ca6f","resolution":{"observed_at":"2026-08-07T10:57:22.356538Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.344188Z","title":null,"venue":null,"work_id":"c260c715-eddf-445a-9ff0-d8ef1a31f236","year":2025},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.082037Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:40e07061ac00dd18b5845845ee1c89f625ed9f2cca5077b57a17f4f435850cc2","observation_id":"678d480c-08b3-4683-a45e-a78960cdb126","resolution":{"observed_at":"2026-08-07T10:57:22.347244Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.334679Z","title":null,"venue":null,"work_id":"da26876a-d436-4172-97d2-afafb0b2b702","year":2018},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.085302Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:5417d0a06bcb3f2469a30ebc1adbac2d5c086a82a1f06229acb9c3e4c43a7113","observation_id":"fcb3930e-9c49-4184-a379-c5b69af6e289","resolution":{"observed_at":"2026-08-07T10:57:22.337770Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12146","last_updated":"2025-04-02T17:22:18Z","snapshot_observed_at":"2026-08-09T06:20:56.948227Z","submitted_at":"2024-06-17T23:26:41Z","title":"Should AI Optimize Your Code? A Comparative Study of Classical Optimizing Compilers Versus Current Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12146","snapshot_observed_at":"2026-08-07T10:57:22.088513Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.088513Z"},"links":{"cited_paper":"/paper/2406.12146","citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:c5c8ebda7f786287e749f1cb89ebc602a4a91aa9a06f2a7302781177ae185090","observation_id":"a4cf8450-6b35-482e-bce8-1995e1338d68","resolution":{"observed_at":"2026-08-07T10:57:22.088513Z","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-07T10:57:22.091934Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.091934Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:4d5cb72ee00d6b6cce6e195ebea851c469198820c44c8c3b4fbe8aa21b92e03a","observation_id":"694450b4-36c5-4296-b7b7-01f362e56166","resolution":{"observed_at":"2026-08-07T10:57:22.091934Z","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-07T10:57:22.317958Z","title":null,"venue":null,"work_id":"a8a09e7a-3535-45fe-b240-76d60d3b19b5","year":2014},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.094783Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:be80433eb42bac12554005ec4b9dbe8fa39be1bb8edb21d214ccc95a909262bf","observation_id":"39e3211b-d1fc-4390-9359-a8a0c36c3d63","resolution":{"observed_at":"2026-08-07T10:57:22.321135Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.308591Z","title":null,"venue":null,"work_id":"2de3488b-856f-45b9-a227-00cdbc407c45","year":2014},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.097604Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:ee4f68a67d7c0d7fbee47f6cc92c78e49bf2ecca0bbb588291e42b86aca64316","observation_id":"c83cf102-173f-402f-a188-1282679b03d4","resolution":{"observed_at":"2026-08-07T10:57:22.311566Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.298825Z","title":null,"venue":null,"work_id":"092f0b4e-4ab5-4228-b9fc-faa3e942eae1","year":2024},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.100923Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:b9afc5c5df9f2d28080e6045d74e618c87737982091ba374fa5c88e89b6d9fdb","observation_id":"0378f756-ec5c-478c-9df1-4d4a67e728c6","resolution":{"observed_at":"2026-08-07T10:57:22.302021Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.103845Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.103845Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:5cc69ce17a8b960ccd048e08c5e95083dec583710600df11d2934e776f418a4a","observation_id":"ed17ce75-723e-4d05-95e8-d22c7e58de38","resolution":{"observed_at":"2026-08-07T10:57:22.103845Z","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-07T10:57:22.287082Z","title":null,"venue":null,"work_id":"576478bb-3f45-4e24-a71b-a155e370f589","year":2023},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.106610Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:be9aac58e10469272d79ba5e72007a2909b07415da40cd506838e1508cf4dd09","observation_id":"2c20a268-8611-4ff1-8b67-a0fe1f5c8926","resolution":{"observed_at":"2026-08-07T10:57:22.291316Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:57:22.109650Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.109650Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:90b4dd539b1efcc8cc54f1e9103cf293d00a98fff6444f67d6c71b8e5cb9b4b2","observation_id":"fb8048dc-a2a3-4317-8be3-950fa0c67a57","resolution":{"observed_at":"2026-08-07T10:57:22.109650Z","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-07T10:57:22.112475Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.112475Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:4d13624ebd7ffe2b1ad03d9e2da58f8fb00838cc0290f9363c1f2f316b74d352","observation_id":"f6b89208-e261-4160-93e4-d1bfb36638d6","resolution":{"observed_at":"2026-08-07T10:57:22.112475Z","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-07T10:57:22.115966Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T10:57:22.115966Z"},"links":{"citing_paper":"/paper/2506.04019"},"observation_digest":"sha256:7e18d0e8d00e029f51e72d6364c13656adcee64253ffce9a76c816093c44d4a2","observation_id":"d75f24d3-35b9-4dd5-ad18-687f1228242e","resolution":{"observed_at":"2026-08-07T10:57:22.115966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.04019","last_updated":"2025-06-04T14:47:14Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T10:46:58.817677Z","submitted_at":"2025-06-04T14:47:14Z","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":31},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2506.04019."}