{"as_of":"2026-08-19T22:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1e579e469d4e6e3ff8c83d5f67bf6c04b6fab3b9a75874aa5d66043370012a6e","coverage":[{"denominator":73,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":73,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T21:58:52.771783Z","state":"measured"},{"denominator":73,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":73,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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.23058/citation-record","integrity":"/paper/2506.23058/integrity","json":"/paper/2506.23058/citation-record.json","paper":"/paper/2506.23058"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:44.787776Z","title":"Blelloch, Laxman Dhulipala, Magdalen Dobson, and Yihan Sun","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:44.787776Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:c65ff3c358fc213918db05c2503df92cb429b050c8669d6676320c5620241afc","observation_id":"6624802f-cd3a-42dc-ac1d-37b4bc002462","resolution":{"observed_at":"2026-08-06T21:58:44.787776Z","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-06T21:59:05.348010Z","title":null,"venue":null,"work_id":"d650393c-0387-4b3a-9510-1c69f0aab983","year":2023},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:44.878872Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:b91663ed8b3d0de7770de3107b686340f7f8f90e2c3fc180243a35491c28a20d","observation_id":"cde47c69-f256-491e-b572-d11f0383e4ff","resolution":{"observed_at":"2026-08-06T21:59:05.427409Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:45.019248Z","title":"Ziogas, Timo Schneider, and Torsten Hoefler","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.019248Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:cb3a24fa9dbbe1b97129d65785889fb66afa7ebf384b5256f4031b4ab5452b93","observation_id":"26a28b9b-b3f2-4aa2-810c-53ec7a8c4e54","resolution":{"observed_at":"2026-08-06T21:58:45.019248Z","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-06T21:59:05.157203Z","title":"Elbert, Rhea George, Jeremy McGibbon, Lukas Trümper, Elynn Wu, Oliver Fuhrer, Thomas Schulthess, and Torsten Hoefler","venue":null,"work_id":"99ae1c4f-cbb8-413d-8589-26586b0e7cd6","year":2022},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.127261Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:f2547fe6b26a945f74315c6b6ff23151b2f23ee031cfe612539965842635f041","observation_id":"7df97771-179d-4c3b-8e95-a0588990d856","resolution":{"observed_at":"2026-08-06T21:59:05.238928Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:04.992604Z","title":null,"venue":null,"work_id":"c92acbdc-bf53-4bdf-bc51-3227e7699f99","year":2013},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.265611Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:70a2f784196f1853a4167ea727589ac561f9dd0915f05cfd1b7abeb197a80e22","observation_id":"fc03fc9b-6a70-4f3e-8319-400cd1bd4ea9","resolution":{"observed_at":"2026-08-06T21:59:05.064148Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:04.805091Z","title":"Blelloch","venue":null,"work_id":"e9a3cf07-b412-4079-887a-3e17605ebe00","year":1989},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.376555Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:13fb3f352e94f6c0a3578e7cbb2bf307255e0ffd07d37dbb6ac8dab9c38beac7","observation_id":"1ffec34f-b753-405b-a40d-1f6d3a4535b7","resolution":{"observed_at":"2026-08-06T21:59:04.918331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2627.23265","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:58.664402Z","title":"Blelloch and John Greiner","venue":null,"work_id":"0db62680-1b0d-4a4a-8900-3237f56e85ed","year":1996},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.489516Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:9bee38a671120e6f08a039a0686ec26b1e1597013129bc908eea5eb3ad20c809","observation_id":"fd169522-7327-4eab-a8b8-61130908ed48","resolution":{"observed_at":"2026-08-06T21:58:58.761686Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:45.618851Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.618851Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:5d655c04f50a1cd68639a0cb8bc6283ecd9fd0b4357e605fa24ebfe3e8f31901","observation_id":"9f83c99e-b514-4f69-8a81-c50e0378122b","resolution":{"observed_at":"2026-08-06T21:58:45.618851Z","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-06T21:58:45.720276Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.720276Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:58b0df1bcb85a7d7f3cca90d1e01beafde16c1de8931a70efff0ba7682d48288","observation_id":"abf5d592-31b0-4505-a23d-978e1aef8631","resolution":{"observed_at":"2026-08-06T21:58:45.720276Z","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-06T21:59:04.436598Z","title":null,"venue":null,"work_id":"9df7bad6-264f-4c48-a924-38a0be5c48a3","year":2006},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.947158Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:4dafffc055d7373e0d74b99e056a7e332a356b227fab99891b6f980682197777","observation_id":"65afd6e2-71c6-41e5-a607-ffdd7716f2fb","resolution":{"observed_at":"2026-08-06T21:59:04.557268Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:03.976664Z","title":null,"venue":null,"work_id":"0451a74a-e643-4557-98fe-bccb69f3f2de","year":2016},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.200815Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:876fc377b61a56d6765eac0ca019f0629166fddab97ec9852ec47b855c8fda31","observation_id":"daf334c9-f8fe-435e-9424-bd32aba21635","resolution":{"observed_at":"2026-08-06T21:59:04.091620Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:46.289983Z","title":"Chakravarty, Gabriele Keller, Sean Lee, Trevor L","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.289983Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:2fba862bb19160adabf57bb008facca903b8945fcf41bd52a355d845d6e55246","observation_id":"04ffd014-6195-42c8-a9ae-700838b5dd74","resolution":{"observed_at":"2026-08-06T21:58:46.289983Z","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-06T21:59:03.755462Z","title":"Chicha, M","venue":null,"work_id":"d23c9bc9-4f9f-49b5-b5e4-5e1a382faeda","year":2004},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.417325Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:baf2bde43e065fca9d9beeb3da0403bc5a823df06825d0326595e789b9feeeba","observation_id":"f9e2f818-bd47-44cf-b316-c6a9a4102785","resolution":{"observed_at":"2026-08-06T21:59:03.841728Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3527328","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"5f33d80b-23af-4e9c-adae-18d9be54c433","year":2022},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.494603Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:fdf00e3d294c5e3dd2fd94cfdb547377000a93ebaa904b4fa6c445230d61869f","observation_id":"eaa970e0-a7de-4cc5-b2f3-161ef64c9a80","resolution":{"observed_at":"2026-08-06T21:58:54.030378Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:03.594844Z","title":null,"venue":null,"work_id":"c1ab4281-ae46-40b6-b05e-b25cfb893374","year":2016},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.580219Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:2794976715d80f2929674824081b35eee853ee55d71468ec7697186cc178e91d","observation_id":"c25d9d30-5c86-4550-b51a-1b2759a50472","resolution":{"observed_at":"2026-08-06T21:59:03.668547Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:03.400881Z","title":"Dang, Hao Yu, and Lawrence Rauchwerger","venue":null,"work_id":"d01ab853-08c8-4b30-a834-1d2315ae21d9","year":2002},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.631690Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:b0ea71d5a572821343cea6812ca2d89dc51edd1d760eae1a22cd6b198b034f0a","observation_id":"26eb1a50-6292-4e78-8b16-b95f9f5791f4","resolution":{"observed_at":"2026-08-06T21:59:03.473009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:03.186703Z","title":null,"venue":null,"work_id":"f767a43f-20ab-4322-9d80-148389469390","year":2007},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.717903Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:98169b0b4a1cbf502e5130310c0481cf24631428e27224df1d8f008f3555e64f","observation_id":"35bd0dcd-efd5-4e70-b562-c38cadc16447","resolution":{"observed_at":"2026-08-06T21:59:03.277838Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:02.965694Z","title":null,"venue":null,"work_id":"4148034e-3855-4ddc-8242-219b3d189562","year":2008},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.810135Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:fbc0fe2e4cbac78821df4cfd397fc7d50b2074ef438b1290dcb9617da5d05b87","observation_id":"4821093b-c076-4db0-80d0-03cf441b1d22","resolution":{"observed_at":"2026-08-06T21:59:03.061038Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3649169","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"van Balen, Gabriele K","venue":null,"work_id":"b9a054be-ffa9-4687-99a7-a60669e88f6c","year":2024},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.903477Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:39d4ee1dcacad7399976c98bdad463093760202dd7c01da5b0ac286b4f9457c9","observation_id":"f27f9807-4d45-496b-8989-aeb21c2da19c","resolution":{"observed_at":"2026-08-06T21:58:53.842993Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:47.038874Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.038874Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:659cde6e955df95b8491e910ec7710be3f5c1bf812365506c324a2843a178871","observation_id":"2ebb9041-3e0e-46d4-accf-1077330cfa83","resolution":{"observed_at":"2026-08-06T21:58:47.038874Z","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-06T21:59:02.769766Z","title":null,"venue":null,"work_id":"53f022f1-9e20-49f6-9c9a-8986fd50da7c","year":null},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.151412Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:75be30ba7a2e27fb0409c55b11f2609a58c53bbec6544315a34a5514a86b457b","observation_id":"c6fc42a0-4684-49d1-898a-d70082b6eaf1","resolution":{"observed_at":"2026-08-06T21:59:02.845083Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:47.253390Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.253390Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:384341ffef90bc904528adaa5c733a3225c2a920919b88fbdd83eff2655b3e91","observation_id":"687aaa1e-c309-4e76-8da8-d676dca5707c","resolution":{"observed_at":"2026-08-06T21:58:47.253390Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3743135","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Oancea, Anne Elster, Ari Rasch, Sameeran Joshi, Amir Mohammad Tavakkoli, and Richard Schulze","venue":"ACM Transactions on Architecture and Code Optimization","work_id":"86b62aff-f709-464c-8969-cc27df85b00c","year":2025},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.318997Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:2c03396785291505d2a3623fb691753197f7822396b3b9b0b8b2e0e9e083cc41","observation_id":"5c265c8b-dcea-42b3-94b7-d720920806fc","resolution":{"observed_at":"2026-08-06T21:58:53.667228Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:02.571485Z","title":"Hall, Saman P","venue":null,"work_id":"bae82f1b-ed92-4e8b-adc1-67b54a346571","year":2005},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.421497Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:93f2e90c4f1b905632a38ae11b7a1ddf31bb502a6920ef9aaf30f6af0732460c","observation_id":"bcfac611-8a61-4ca5-b108-8c72eedc3f03","resolution":{"observed_at":"2026-08-06T21:59:02.657885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:47.570637Z","title":"Maxwell Harper and Joseph A","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.570637Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:1c0c9785b42890655cde7a00103f93083a2c8764b3b67962700b34c8beccf791","observation_id":"0e68ea18-ad75-4326-907b-ad9e6add33d6","resolution":{"observed_at":"2026-08-06T21:58:47.570637Z","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-06T21:59:02.389881Z","title":null,"venue":null,"work_id":"436680a6-e37f-4c00-94f1-8d276a6399e0","year":2017},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.651602Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:31bc22914f1c617b3f5fc5c19918990e924f9bbc0c5cc46d927091af9dcc0219","observation_id":"c703dd2b-f6fe-4515-865f-c646eb63f159","resolution":{"observed_at":"2026-08-06T21:59:02.485582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:02.129993Z","title":null,"venue":null,"work_id":"f26047ef-87a3-43cb-a30f-c7c7857f7e10","year":2021},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.782445Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:171fb2f715b108d8a82e5869dbf71365b399a516a6fa80885b596a1962187fe3","observation_id":"c5550984-9404-45ca-afae-0e43247802d4","resolution":{"observed_at":"2026-08-06T21:59:02.235292Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0944.34643","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:58.155801Z","title":null,"venue":null,"work_id":"2a4ee7b6-66ea-4530-b74e-82cc0fb6b506","year":2021},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:47.911643Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:7a3e44b23bc4a00ba78634fe67d9ded5e537d60db857ff5a5595b58873e51dc7","observation_id":"815dc4b7-3a99-4e63-9233-6f348d40161e","resolution":{"observed_at":"2026-08-06T21:58:58.245864Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:01.937614Z","title":null,"venue":null,"work_id":"8a217e6e-e534-4d40-95da-0f2d81faa754","year":2020},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.022072Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:2dc2b984cde79c2c7ab04fe036b64fc671d1df01acead33dfaae2e0f82391b7b","observation_id":"b79728d1-f3b9-4cb1-9876-92b3721c5269","resolution":{"observed_at":"2026-08-06T21:59:02.026217Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7373.26273","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:57.896307Z","title":null,"venue":null,"work_id":"1bdce9e3-2ce9-4c5a-8ed5-65c4bfd7b8dd","year":2014},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.129647Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:4169850b154ed5658ba5a4ff14eb4fd035cb02bf088e4311b251eb06fa747289","observation_id":"43315366-0310-4791-af73-2b9d23db5aec","resolution":{"observed_at":"2026-08-06T21:58:57.987673Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:01.760257Z","title":null,"venue":null,"work_id":"e7befde3-fd43-48bd-8de5-a2fe25e247a6","year":2017},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.260118Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:262c4d4558031fad23bad40a555a7eb7fa5e9bdc11017e065236ed68e527ecf1","observation_id":"0bc9079e-384c-4b1f-8303-7c461463cf03","resolution":{"observed_at":"2026-08-06T21:59:01.839748Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:48.355592Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.355592Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:16355427769f19c0abbc86862c49f98cd5c6b8e7f183434dfb9ee11a9de5dbfa","observation_id":"fd4ffa9d-7862-4c7a-935e-9cd5b1167fe4","resolution":{"observed_at":"2026-08-06T21:58:48.355592Z","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-06T21:58:48.441659Z","title":"Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.441659Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:17ed93230078ebf5f6ccddf436db92cb48a7d6e43260663fa0a80a8b82799b39","observation_id":"6bd39c5f-888a-4b6b-bb8b-475da258eb77","resolution":{"observed_at":"2026-08-06T21:58:48.441659Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3166064","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Lopes, David Menendez, Santosh Nagarakatte, and John Regehr","venue":"Communications of the ACM","work_id":"e9edadb0-fe93-49d2-bddf-c314085ccc1c","year":2018},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.554410Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:8f4fe933a1e08b160d486b458f906a63dc0f9ef5763b74369c92b7650ed8a4e0","observation_id":"9d35f89c-7701-427c-8882-6d5655ca3864","resolution":{"observed_at":"2026-08-06T21:58:53.468685Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1104.30111","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:57.433725Z","title":null,"venue":null,"work_id":"05bcd846-47b5-4fff-879b-0df8ce470830","year":1999},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.680195Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:c59fdc7fcc18803ec0ff392c205dc98395bed46395675ebe9bb658682324279b","observation_id":"5c2d244d-10ec-4876-91f5-1d0014eafd86","resolution":{"observed_at":"2026-08-06T21:58:57.512795Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:01.567683Z","title":null,"venue":null,"work_id":"c069f950-48c0-4940-9133-d261adfaab3d","year":2021},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:48.799624Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:b82f0628eca1687e0a2d9c240782075a321c42f7b7a21559ea404f94e3dba52c","observation_id":"2505d8c3-011d-47e0-8abf-98215e984970","resolution":{"observed_at":"2026-08-06T21:59:01.627803Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:49.058814Z","title":"Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.058814Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:4d27702d8bfc9b7ab8a53a30a44583325d9ab0dcddd22fe1650f9e56bdd66ef4","observation_id":"ba21fa09-1a43-4588-a707-816756e18d9e","resolution":{"observed_at":"2026-08-06T21:58:49.058814Z","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-06T21:59:01.371721Z","title":null,"venue":null,"work_id":"acc99423-f384-4da1-92d3-0956c88567a6","year":2022},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.153760Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:a574045eb70847242208c7b43a9f1e1b1992ee2a0a7d785222bda3fc818093de","observation_id":"74351391-1cab-4a46-8ad6-3e8eac10a243","resolution":{"observed_at":"2026-08-06T21:59:01.486801Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4474.23644","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:57.145034Z","title":"Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, and Fritz Henglein","venue":null,"work_id":"96e38126-4d08-46fd-91bf-f84f6d1c6a25","year":2012},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.278014Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:22f1e1227847f7b2254c8114e91284d9bffa3aca39338af47f5b4e3c01867c47","observation_id":"c1a2a5f7-9751-4be8-a42a-d918690d6ed5","resolution":{"observed_at":"2026-08-06T21:58:57.228098Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-89740-8_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Oancea and Alan Mycroft","venue":"Lecture notes in computer science","work_id":"f419981d-6896-4779-8f2e-8b56d2bc7c64","year":2008},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.382818Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:6fd00b9fcec70cc605f5d5d431d3a5aa26274599d659ee93c951d9beaad6be92","observation_id":"f62e3d01-98f6-4399-a1de-aa3420da26ea","resolution":{"observed_at":"2026-08-06T21:58:53.230033Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:01.182624Z","title":"Oancea and Lawrence Rauchwerger","venue":null,"work_id":"f11bba60-61f1-43fc-bb12-29d905a6b56e","year":2013},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.449196Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:e6ca943099b0c248c920072feef728e2e0be5b4fcbb33daac8c0de8351061281","observation_id":"6370b1da-5dac-496f-af82-f46cdac27744","resolution":{"observed_at":"2026-08-06T21:59:01.266723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8600.27386","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:56.902466Z","title":"Oancea and Lawrence Rauchwerger","venue":null,"work_id":"d64a9429-bdad-4a53-8b07-134dcb537968","year":2015},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.499927Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:39104e82cc7dd0669208c05b5852d33cc77b4fbdb21e4915234e53a7cb7c2cd3","observation_id":"f2aec75a-4d68-4b71-a1c3-34870f6b974d","resolution":{"observed_at":"2026-08-06T21:58:56.965607Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:49.605336Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.605336Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:7d844370ba8ea1ff39c358c9cecb89149c5cdfd86ccea71431e6d69539713537","observation_id":"61151dd5-b1ab-43d4-a4fb-ebddc2024bff","resolution":{"observed_at":"2026-08-06T21:58:49.605336Z","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-06T21:59:00.968742Z","title":"Oancea, Jason W","venue":null,"work_id":"8631c925-80f3-457b-aadc-2c498bc97271","year":2005},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.728262Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:f25f7cb1bf693db33ed04176086c611a36f6cff26d70625a8d9a7547da56e93e","observation_id":"80ab9304-d373-40ce-a437-379804fde508","resolution":{"observed_at":"2026-08-06T21:59:01.087383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:49.857676Z","title":"Oancea and Stephen M","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.857676Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:5d673f26ba36565a02540119683b55262b3fd010f61041ce2ef842e4f490f92c","observation_id":"6e55c780-df27-479f-b130-4bed05829f1e","resolution":{"observed_at":"2026-08-06T21:58:49.857676Z","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-06T21:59:00.761605Z","title":null,"venue":null,"work_id":"8e568723-f0e5-429c-ad2a-6b80ca026cf6","year":2002},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:49.961997Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:20fc8a541c53d72bd5b836459c8aa8a1f75a84d77d308d7375c6e1d6fab11d84","observation_id":"316866bd-e641-4f59-b0c2-c4d607789e12","resolution":{"observed_at":"2026-08-06T21:59:00.854405Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:50.067522Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.067522Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:c8c74416d2adea64771678f5fcc0ff2b840656da7ad2438178a1abe7037ccd2d","observation_id":"00b47345-f26d-43a2-b135-0cbf1dd1b920","resolution":{"observed_at":"2026-08-06T21:58:50.067522Z","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-06T21:58:50.245194Z","title":"Rondon, Ming Kawaguci, and Ranjit Jhala","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.245194Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:df8341cc629e78d8641d22d79583023d2bcc2091ab83bd5c45a5f2318a00a4e9","observation_id":"657f64a4-0234-4e99-a5e3-e074899f79d3","resolution":{"observed_at":"2026-08-06T21:58:50.245194Z","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":"4191.51422","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:56.312408Z","title":null,"venue":null,"work_id":"407730bb-7b63-4f56-94de-978ba3b30a03","year":2002},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.364668Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:13b5df8b9a5da31d1cc4fa5825b8c1732d256f034dce6319f7b76d1807c5400b","observation_id":"ec5ea568-92f5-4616-a9f1-dff0c05e4918","resolution":{"observed_at":"2026-08-06T21:58:56.374351Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:00.503586Z","title":null,"venue":null,"work_id":"53c186e8-ce53-4ea9-bbc0-b01f7531833a","year":1992},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.478542Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:4ea06651c807ee4f0cd4be128898ca6bb8b9ffea5d2699ac52383add96f39573","observation_id":"42dbc777-2560-4fe9-b9d8-5d39c71dfea8","resolution":{"observed_at":"2026-08-06T21:59:00.632323Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1404.2022","last_updated":"2014-04-08T06:50:36Z","snapshot_observed_at":"2026-08-14T23:38:18.454638Z","submitted_at":"2014-04-08T06:50:36Z","title":"Neutrino Production via $e^-e^+$ Collision at $Z$-boson Peak","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1404.2022","snapshot_observed_at":"2026-08-06T21:58:50.565544Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.565544Z"},"links":{"cited_paper":"/paper/1404.2022","citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:98b22b680346dd6d0f1f15adf26e0fbb8e0b2ceb4ed2b2d01d1a27aba9849faa","observation_id":"3310742f-dcbb-459e-b50b-629c362018d2","resolution":{"observed_at":"2026-08-06T21:58:50.565544Z","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-06T21:58:50.715754Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.715754Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:d60bc043922329ae2ea61bc1775543b3c883cd4c26de6091dc9dc00f5623b763","observation_id":"99be6f1e-ebb4-4e92-99cc-43e93b3f8a3d","resolution":{"observed_at":"2026-08-06T21:58:50.715754Z","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-06T21:59:00.221407Z","title":null,"venue":null,"work_id":"7719441e-863c-4239-8bae-c3db11b95f7a","year":1993},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.808147Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:f044b4f332d2c2f93adb362eb770214ddc94b1a4e36a3c82244f51d41dd51fc9","observation_id":"d7636896-76cc-4922-a8f4-015ba99198f7","resolution":{"observed_at":"2026-08-06T21:59:00.357705Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4731.27847","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:55.916315Z","title":null,"venue":null,"work_id":"2abb9c12-521d-4689-b1c8-c96f471fc682","year":2015},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.934154Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:6d2103009607bc24986284bceb82301a694edf34fc7ebde234dff216b2c80794","observation_id":"3106793f-8dfd-4d4e-9e25-c44085a6dd7b","resolution":{"observed_at":"2026-08-06T21:58:56.043173Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.03611","last_updated":"2022-01-10T19:33:53Z","snapshot_observed_at":"2026-08-19T16:24:03.072309Z","submitted_at":"2022-01-10T19:33:53Z","title":"RISE & Shine: Language-Oriented Compiler Design","version":1},"cited_work":{"arxiv_id":"2201.03611","doi":null,"metadata_source":"pith","pith_arxiv_id":"2201.03611","snapshot_observed_at":"2026-08-06T21:58:55.571415Z","title":"RISE & Shine: Language-Oriented Compiler Design","venue":"cs.PL","work_id":"de25c2a2-ecd1-4d58-a0dc-27d9abe8e89f","year":2022},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.071421Z"},"links":{"cited_paper":"/paper/2201.03611","citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:82927779f0c05bc73782a869b3cc55c29c27a916129891fdbf4f9595c46494fd","observation_id":"1348f126-728c-4914-8682-fdeccf5d10fc","resolution":{"observed_at":"2026-08-06T21:58:55.698541Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5895.10658","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:55.385666Z","title":null,"venue":null,"work_id":"83e4a01a-df94-4ec3-889e-d71894bd457d","year":2004},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.167253Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:f21c766779fb4fc0b0fec574138ff57f6db653ad8c4514bafc926d8bda75c718","observation_id":"3baac828-592d-47cb-a778-8c5a822a9834","resolution":{"observed_at":"2026-08-06T21:58:55.472397Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:00.006714Z","title":null,"venue":null,"work_id":"b48a3e83-8ffa-47ba-b7bd-d07e7db3ae43","year":2016},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.286377Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:587f64b0f7bb35d8750006c8f653c6d3a5cc602a53cb9dccfd35f2436645fddb","observation_id":"f59b90a4-c7d7-467a-8b3b-dd7dfd354bfc","resolution":{"observed_at":"2026-08-06T21:59:00.113779Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:59.814533Z","title":null,"venue":null,"work_id":"3c0c1bae-a6b8-4a76-9fa4-50a4eb5b2603","year":2023},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.405992Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:0f23b2639018e3b9d86e474b80fdf2dc7584652c32f9bb10461eb66cc38824a9","observation_id":"8454bd56-0d3b-4e47-94f1-ddb1f39593a1","resolution":{"observed_at":"2026-08-06T21:58:59.908149Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlap.2009.03.002","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"The Journal of Logic and Algebraic Programming","work_id":"21f22235-5190-40b0-a1db-3dc47d119403","year":2009},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.515009Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:760cbb73a1fcfc7338ceceb3b464139c9318eab11fbc1c3a78b684f472323eab","observation_id":"101dcfbb-28e0-4c12-883c-0a6bea3f9594","resolution":{"observed_at":"2026-08-06T21:58:52.983896Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:59.553309Z","title":"van den Haak, Trevor L","venue":null,"work_id":"d5e4a12d-ad1d-479d-b682-bf9f534dfd44","year":2020},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.611639Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:e313465f1d9fd2754cefcc59950aa255811df38e1d2ebaad0a4919e0c02f7221","observation_id":"936f5a05-9049-471e-adde-1f4a34f85d95","resolution":{"observed_at":"2026-08-06T21:58:59.683803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:59.335756Z","title":"van den Haak, Anton Wijs, Marieke Huisman, and Mark van den Brand","venue":null,"work_id":"c2427adf-2f6f-4cc1-b2c9-c6369457a376","year":2024},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.740960Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:1b74817295fe2c7c8008baacc37957bba172ab2808dab57fb9bb0e37a0a74af6","observation_id":"25160350-eda4-42f7-9542-7f3cd643b61b","resolution":{"observed_at":"2026-08-06T21:58:59.427223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2915.26281","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:55.168784Z","title":"Seidel, Ranjit Jhala, Dimitrios Vytiniotis, and Simon Peyton-Jones","venue":null,"work_id":"6368a95a-a14b-48c5-8377-714150f84f9b","year":2014},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.842514Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:22309721b6959ebd4af9beea688518c287243658dd55ca8303faebfdcf87e855","observation_id":"a0bf96b5-86e0-4ec7-98bd-b1c3bcab8d6c","resolution":{"observed_at":"2026-08-06T21:58:55.220829Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:59.175517Z","title":"Scott, Ryan R","venue":null,"work_id":"be867410-7f08-4901-8f91-aa5ef3bf7bd4","year":null},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:51.978713Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:810d0fe2852554cc78855df7d446cd715ae538458ebb48377b6f7529f7604502","observation_id":"2187130d-7bfa-4dc0-84c2-39bb84f2c8a6","resolution":{"observed_at":"2026-08-06T21:58:59.258476Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:58.971403Z","title":null,"venue":null,"work_id":"120e5fcf-ca37-4de9-b866-2591cfde7653","year":null},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:52.105005Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:34393d15eb211a5a70aa215465cce63591920336a5b1b480e9ef4231a1021eb7","observation_id":"99316d04-0c40-40e4-aa5c-e55211d45429","resolution":{"observed_at":"2026-08-06T21:58:59.062424Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:52.344859Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:52.344859Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:2f76876b5eb17021991b1eb2aa85a05dfc831d95eb45b8dbc2e222e87e291a0d","observation_id":"037d0f93-6be5-4bf4-a8aa-868351bb0e9b","resolution":{"observed_at":"2026-08-06T21:58:52.344859Z","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-06T21:58:52.477243Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:52.477243Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:95b095890bbcd7631a6571fad91f508ba10e9b3e92622dd4103d73888d607dae","observation_id":"cac942e0-8f1b-4c84-8179-e0fd1e7a96f4","resolution":{"observed_at":"2026-08-06T21:58:52.477243Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1703.08683","last_updated":"2017-03-25T12:33:11Z","snapshot_observed_at":"2026-08-14T21:10:04.354033Z","submitted_at":"2017-03-25T12:33:11Z","title":"Applied Type System: An Approach to Practical Programming with Theorem-Proving","version":1},"cited_work":{"arxiv_id":"1703.08683","doi":null,"metadata_source":"pith","pith_arxiv_id":"1703.08683","snapshot_observed_at":"2026-08-06T21:58:54.534846Z","title":"Applied Type System: An Approach to Practical Programming with Theorem-Proving","venue":"cs.PL","work_id":"2dc65e09-a763-4044-a740-61d651d6d6d2","year":2017},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:52.569506Z"},"links":{"cited_paper":"/paper/1703.08683","citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:db019e5d26cefbb8c823d5a2b2dc2aa251c0d2ee671f84391934f483dac47dc2","observation_id":"ec223d04-dc9c-428c-a83a-d0743cfc42ff","resolution":{"observed_at":"2026-08-06T21:58:54.630293Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0682.24007","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:54.880785Z","title":"ACM Trans","venue":null,"work_id":"03351e20-ac19-4918-ad93-182332da8224","year":2013},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:52.237995Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:becd70a3d681b15ad59ce3fc3d8c281412484672891ade07225ac58b9447d9c3","observation_id":"0a0c8e0f-107c-47ed-bb68-ad5c63bbb764","resolution":{"observed_at":"2026-08-06T21:58:54.986243Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:52.771783Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:52.771783Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:71aa31a6938fe4918e425e9280f17e24f16eccfe7c313ab316c9572fc6e61aa8","observation_id":"94fe9e61-11e7-4c81-9067-ebf9e110a290","resolution":{"observed_at":"2026-08-06T21:58:52.771783Z","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":"7650.27773","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:58:54.293697Z","title":null,"venue":null,"work_id":"5cce0a43-c4db-49bb-afc0-c7ce08747388","year":1998},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:52.688931Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:3f0f4775208715c49026f23ad9d13a33c91e8c24e8d6eece93af29d357fb3162","observation_id":"1ca4e44b-b25d-4ac5-b954-1fd1b2e0e018","resolution":{"observed_at":"2026-08-06T21:58:54.407399Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:04.206643Z","title":"Springer, 427–442","venue":null,"work_id":"a59d62fe-08f5-4961-ae78-034d185b606e","year":null},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:46.088267Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:fdfbbc31ef4ada2f61d16a8318cfc2eee683fc8eebf13e99b3b8374fe18f03a7","observation_id":"5d9044cf-db56-4fb4-991e-7f1641c812b4","resolution":{"observed_at":"2026-08-06T21:59:04.338075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:59:04.651511Z","title":"Springer, 73–78","venue":null,"work_id":"306b1622-30cb-4378-aad0-5629f912e873","year":null},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:45.834610Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:3d94b65f1d233d8a5040682423bdbb8387a73a91e7a37dedadf048fa9308ff8b","observation_id":"89e36fd5-27d0-4fcc-b218-374c27e263f8","resolution":{"observed_at":"2026-08-06T21:59:04.726719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T21:58:50.159931Z","title":"In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (Seattle, Washington, USA) (PLDI ’13)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-06T21:58:50.159931Z"},"links":{"citing_paper":"/paper/2506.23058"},"observation_digest":"sha256:e55206caf063767fcdaba15911393d6037049e2f2ecde0b085a236a644c737b0","observation_id":"beae4f20-d999-499d-af1d-e0e43632444b","resolution":{"observed_at":"2026-08-06T21:58:50.159931Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.23058","last_updated":"2025-06-29T02:10:25Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-17T17:26:07.537994Z","submitted_at":"2025-06-29T02:10:25Z","title":"Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language"},"reference_resolution":{"displayed":73,"state_counts":{"malformed_identifier":1,"metadata_mismatch":12,"parse_uncertain":0,"unresolved":41,"verified_exact":8,"verified_fuzzy":11},"total_outbound_references":73},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 73 of 73 outbound references and 0 inbound Pith citation observations for arXiv:2506.23058."}