{"as_of":"2026-08-10T00:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ff2a25c34d98634d630c1b44d53ab8ae8ea800f3a377f5d0f84b0ac49fe86cb4","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-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/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-08T15:40:43.691400Z","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:d53dfb446fcc576293b7bf393f85ef77ea2d03893ae096f9b6eae4bb907ba723","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-08T15:40:43.691400Z","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:43dd57b2972b706ecbec7d9ecd06011a2cb6bee5c8150de39ee29b49ef23d2be","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-08T15:40:43.691400Z","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:8c88b19d4d50e823a8bda75b0561e9933cd2b15ce486e991c877cf37c03c04d8","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-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-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-08T15:40:43.691400Z","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:bcf81f4deb5dd0f735d5f38929f434e7953763fa0207ee7e378fdcfc1f78561b","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-08T15:40:43.691400Z","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:410e213b621e42a27c3ca057e228991e7ea8c7130924ac0d6f0119403f81c0b7","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-08T15:40:43.691400Z","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:5dbb52108a9d6831fe520d87bea1dc10fb08b343feeadf51916370d963f9f9b6","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-08T15:40:43.691400Z","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:530ecb01b8495a8494344a3956319273b9a78e5264acd8a2f25b801d95c0f94a","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-08T15:40:43.691400Z","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:2ae7945087d61184fff66c14e336bddf5eadb4703cfb32a16120c65154b0ad6c","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-08T15:40:43.691400Z","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:76b3f35562ffcccf2517ed0209321029fad573700cba3f62a7bb7c965e950508","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-08T21:04:54.404700Z","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-08T15:40:43.691400Z","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:f9ac8d6ef69a7e53324a0b95e8c8018e56fe685bad00829e1c690b30e696846f","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-08T15:40:43.691400Z","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:7b01b573fa5340d566a73a183c70b89565d9f096efebff956b6d988192ba690c","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-08T15:40:43.691400Z","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:00330d1ae17cb9eb99a6c99074efaa7b92383389e7ff2c0c7e8dd02f20485134","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-08-09T23:18:44.909862Z","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-08T15:40:43.691400Z","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:1bfbb232a035f038cad4b5fb9a818db0be6c918fe50de97b2f69e25b5d7d94c5","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-08T15:40:43.691400Z","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:69cfbbbf269016664cc9c75f79cebd752a183c2faf5e8e04ccf2d69cdd8e0cc7","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-08T15:40:43.691400Z","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:d9056ae108e98d5fb909549393f278111ea8437afaa0c4d5a78acce855a06764","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-08T15:40:43.691400Z","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:c0d54f43d0d79dc54900216dfe12d5df45237ed00795fb8408490c5e7c5814ed","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-08T15:40:43.691400Z","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:88d7d1a4cc9ca07eeeb09f3f13b83a72e87116ad04b8025e225448e9d9746e1c","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-08T15:40:43.691400Z","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:07bd6656bbe80966a589b16bfd34ed126eedecfd1b4c1577f3ba5d369dd20234","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-08T15:40:43.691400Z","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:c16308d2f175edaedea81c1788fcc4a40755140cd2b40410f209b4beedb6f64e","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-08T15:40:43.691400Z","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:9ff3314b39b52c6576d6289997dc1ef752b68bc1b88ea54bfb32b4441226fd6c","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-08T15:40:43.691400Z","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:e79b3dfd13453ed78c208e53fdf85f6e3261a4804ce19fa6f0e6bd0c7a7a4811","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-08T15:40:43.691400Z","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:adfa789565b21a68dea7bbd8f271bfa4395929c291adbc227b420b24e1bb8a91","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-08T15:40:43.691400Z","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:c3a87a19c8e505e0fa4d18d87c8e13002dc2b23b03be013868610621bd205af0","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-08T15:40:43.691400Z","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:703ae52800df3348f5f2e5a644af9d900b5962406e9c1318e14cc110a5cac0d1","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-08T15:40:43.691400Z","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:1d9f36bf48b5a6aa49a06e2bc6e702c5e701acfb232c21a6fb90982cd1c1b529","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-08T15:40:43.691400Z","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:f47f5202dd6dad39c79d9ac0be61a9958f93360bc89b48fbe32477448ade30ca","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-08T15:40:43.691400Z","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:04377b79b89e7c7bd3ed0e869b856215497a91389b5a6a7c11d7c3ef7ea91752","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-08T15:40:43.691400Z","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:8d63e736d52fbd89197e736c41cc6349f013a875272943871ab8afc7338cca6d","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-08T15:40:43.691400Z","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:4982835601fce3c34bcc9c936583b4e8f21ef19c4fdec247f808cd573ccd7832","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-08T15:40:43.691400Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2607.09366."}