{"as_of":"2026-08-08T04:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0ee562b20fa1495a9005e2b2241a9565c691f43e3c97c2b61eb9f79a42dc9e54","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T03:34:35.116630Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2607.09366/citation-record","integrity":"/paper/2607.09366/integrity","json":"/paper/2607.09366/citation-record.json","paper":"/paper/2607.09366"},"outbound":[{"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-07-13T03:34:35.116630Z","title":"CoRRabs/2108.07732(2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:1b8ab38f57bcaa124f8b86852cd3502f887b75b7eb0a1daba80b0625dd7f64a7","observation_id":"bcf1a180-50b0-4fb7-8de0-04de16edf99e","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: ICSE","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:b4ada0f8f1f5a4690178c9f4d60484bcaf222bc8efe53764122557e8d6aafd19","observation_id":"0156cc2d-ced1-40ca-aeaf-867db1739b54","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.09342","last_updated":"2024-02-12T20:25:31Z","snapshot_observed_at":"2026-08-08T03:04:53.489832Z","submitted_at":"2023-10-13T18:13:52Z","title":"Ranking LLM-Generated Loop Invariants for Program Verification","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.09342","snapshot_observed_at":"2026-07-13T03:34:35.116630Z","title":"CoRRabs/2310.09342(2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"cited_paper":"/paper/2310.09342","citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:6a4e302360569682fba02e0a3ccd6781fb50760f82d1b3836572c7e23fc1c4e8","observation_id":"a68fe4aa-0b9f-4a9c-8c5c-7b71f81cdbb9","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T04:13:14.044604Z","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-07-13T03:34:35.116630Z","title":"CoRRabs/2107.03374(2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:2a7920a054686538536f251163bc92df2cc898bac77fc5644becbc52d3ccace6","observation_id":"7f2a7daf-6308-42c4-897c-3e4edb251f21","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"ACM Softw","venue":null,"work_id":null,"year":1912},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:7bae08f62524317a5be6e950393f3ba0e82dd873e8b51652b2868d55ea2f373e","observation_id":"b9ee37a4-6327-4b19-a03a-45f5b4a46a2c","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:f54e1caedcbeef4a56971a0bf2161e31840beca99e23fe0bb93bf2f62f4d60d8","observation_id":"9359865f-5b55-4b7e-9293-3ed44232926d","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: ESOP","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:0a6c3520e7b254ddd5b1911c2ba8644df8c95a220a2c09875c5b135ac486cc8c","observation_id":"01daaa79-2808-4453-adb8-1bc6da4335d3","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:da674153cc5781e5810acc2194f2a47565109c27cd11b25c909559ac51b4be5b","observation_id":"b4a198f8-16fa-40a8-a0bb-25ecc0e92e35","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"TU Wien Aca- demic Press (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:4a995f48cb133f73c0e7b803a6d7b88f6386783f6819b6a4eb2f6396fbe031aa","observation_id":"9bc10fd4-f302-4804-96b5-07a58b88769a","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07948","last_updated":"2023-11-14T06:58:09Z","snapshot_observed_at":"2026-08-05T12:46:47.568303Z","submitted_at":"2023-11-14T06:58:09Z","title":"Finding Inductive Loop Invariants using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.07948","snapshot_observed_at":"2026-07-13T03:34:35.116630Z","title":"CoRRabs/2311.07948(2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"cited_paper":"/paper/2311.07948","citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:92dbfaa9eaaf7ec851219c5cff1287db52bc564a430a402af65a00f64cf5ad76","observation_id":"2e693e9e-6af2-4ebc-bb46-34e9a0a5314a","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:5e8f4e16adf2bd0f41889f62c423771de495df4de86df6577975b9fc21305c6d","observation_id":"24a166ca-1c54-4523-a331-8799d5513a91","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: LPAR","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:aed02e26a38c54e4a9be75f7d80ccda02145b290417d3abe3e091b11604e065e","observation_id":"720adf8b-a5dd-40f2-a88f-47723d81907d","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.07814","last_updated":"2022-02-08T23:16:31Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-02-08T23:16:31Z","title":"Competition-Level Code Generation with AlphaCode","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.07814","snapshot_observed_at":"2026-07-13T03:34:35.116630Z","title":"CoRRabs/2203.07814(2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"cited_paper":"/paper/2203.07814","citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:a9efb7ecd1344e1aab38242d0c7ac60479ec761f4b8ffd68f43b98d5f03c8aa3","observation_id":"efc388c3-5563-4c3b-a230-593100859032","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:36fb6fd015ce1792d5cde8c8ba5ee04846038e47e1bc6f178a5a65ee61baf822","observation_id":"97d5b36b-1e27-499d-9f28-8c5207a57e3e","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:d4824f39a08fe90d9451628b612b7ceaadd0fb55aa1ac320a83b0df47b375848","observation_id":"fab41b49-d049-406a-8ea7-cc9427a574d3","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:739a6ddd1ee5af30fcaada0f500d631ed11f41856782be95cbbba336f2ef8035","observation_id":"4164df1e-d0aa-4ba1-b36e-3f97508047b4","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: CADE","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:9e84ce98d4b97bcd1f7a21f9c0e3fd3a31c0e119185d969abe4b0b06d9b41472","observation_id":"3546d8a2-db66-445f-b90c-cd467c0dd9c8","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:7bed4d9807c75cb531a018ee862df014fe6a58f88cee827b4132256aaba38e92","observation_id":"79d1006c-2656-4a0a-a13b-c13d777209cb","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: Dependable Software Systems Engineering, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:5c0f6a1f6ba3221c6a426b43dfec5dbd6a79b4cb66021b3862e90ebf1064cd01","observation_id":"3f86f0d0-3787-4e6d-ab59-02bd4bacfed0","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: Tools for Practical Software Verification, LASER","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:5f096cd4a5fa9ae9b0508e71bdd21ab10cdce501a1b0773e629acfcf846bbc78","observation_id":"67545605-034e-4455-846f-e8873f974129","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:d189759261e6099d77615ada2ac65a1055d4b7367a213b1c316062b5730f4f30","observation_id":"ab82bbdf-bc12-4be3-af1d-433261eb93f4","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15143","last_updated":"2024-11-05T19:27:56Z","snapshot_observed_at":"2026-08-07T20:32:30.401426Z","submitted_at":"2024-11-05T19:27:56Z","title":"dafny-annotator: AI-Assisted Verification of Dafny Programs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.15143","snapshot_observed_at":"2026-07-13T03:34:35.116630Z","title":"CoRRabs/2411.15143(2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"cited_paper":"/paper/2411.15143","citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:cd3679199fcf8c44a6bd50eeaec055e7b36b31c78386e03ed98263a5a3efe9ca","observation_id":"7220cdfd-d661-4f2a-9dee-eec5d480cf42","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"CoRRabs/2511.00125(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:3572dded6e0cc7c01d91ef28db621c8d9d89fa82369a484901e58bbd83e3ff56","observation_id":"7879e8af-ef90-4eda-9a9c-ac169eb57df1","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: AI Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:ecb14a60a91bb939f6d1f7536b9a90b14240bf34229b580356f5aed0be2f927b","observation_id":"abf369be-4a8e-4257-b102-8b6ce6fd7577","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: ICLR","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:67c6be682413f6c253db3ae746e6bcb50963df25f2cf8424116db738059e998f","observation_id":"40c64379-5d59-4028-a6d5-60f449379020","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: NeurIPS (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:a2a3c1918b57c8c76a6d112a393a75d6a50b4a5a3131d2a160ea5180935d647e","observation_id":"1e88a39f-7f29-4b7d-8134-250fdcc940d2","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.14655","last_updated":"2025-04-20T15:28:16Z","snapshot_observed_at":"2026-08-07T16:00:46.114758Z","submitted_at":"2025-04-20T15:28:16Z","title":"LeetCodeDataset: A Temporal Dataset for Robust Evaluation and Efficient Training of Code LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.14655","snapshot_observed_at":"2026-07-13T03:34:35.116630Z","title":"CoRRabs/2504.14655(2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"cited_paper":"/paper/2504.14655","citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:952e8f8dd76c6b5fb6106a3b59125887bf044cfdcb94dbc7eaba44c96b801773","observation_id":"a84ff77f-299f-4d58-9c6d-e18488256e0c","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:642b048f6a2472dc8641dc6063ff712898a995c11744ee98eafc304aa99ea0c2","observation_id":"9eec0165-4b20-49a5-92b9-d246aed42cc4","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","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-07-13T03:34:35.116630Z","title":"In: NeurIPS (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-13T03:34:35.116630Z"},"links":{"citing_paper":"/paper/2607.09366"},"observation_digest":"sha256:ff8066119e200f5b905e09cc40bcd05358ad09b1e148ce2ff5faa7e050e7a09c","observation_id":"f2e21eac-9fe5-4377-9b05-401ba9303d37","resolution":{"observed_at":"2026-07-13T03:34:35.116630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.09366","last_updated":"2026-07-10T12:44:08Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T06:31:00.746583Z","submitted_at":"2026-07-10T12:44:08Z","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":29,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":29},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2607.09366."}