{"as_of":"2026-08-20T10:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f310a5efbd6f840bc17f20d6760489661403ee6704b4b8b21d5f3fcd951db14d","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-20T06:33:59.587034+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-20T03:31:27.997711Z","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:aea586399368ff53af73508d30d8b6616186efdee1f163a7f9111020a0d164ec","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-20T03:31:27.997711Z","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:6cc5108c9dd88c4a3711c9ede618c2e1bc53a0b1429ffe5fff81818b4568813f","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:3f59df672c1313aa98bf35f013a084196a435bc57b2728745a5e22bf3b9123dc","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-20T03:31:27.997711Z","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:e93506e290ac11fc854c1faab454c199af9e69334a31587204b75a09ffab46cb","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:841f51e0e40d48f5e7f587da496302db7d3f22bd73851d05f16568ad8da243f0","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:5c8157666cec2d6907e80aafb5c18b7106b3ad57cb2da94c005be0c47c75ea7e","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:e6cc24e4054176bbacdae61ee771ab536f0f43011924512eb00d33f546d81341","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:6690616807e1517c4c6b82b3339271781b53ecf39cb626c64db1434e1c69e45a","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-20T03:31:27.997711Z","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:ba68974c8d761fd68b83afe3f1566cba38aaf44de827b401243f62f909be45cf","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-20T03:31:27.997711Z","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:0cb7f1b8345b17768c00807c38fd0c98e337524544e592bd46da82e7f2aec17b","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:3d4630ca2919a3896db39b94c0bff3f98e17bdb100c8ba6ad4544c1f6caadaf1","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:f8cfcbe4da0b909d823f80fdf84caa0cb1f5a5c5da286a3d82e1383de0c1d5a5","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-20T03:31:27.997711Z","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:a3ae85376437d163767e897e2058d6f40f3abcce7745b3e147bd69728fd9982a","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:f2afa8b228a702abdb5193a35a695b19cd837864decc4917c0e2e8a9f0d19f5a","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:ba67a25b18290a35ebdd27bdf767bba9d85cc4befa26c9070cff788b3d5a12f0","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:5707849e2765eeeaa82a5edb5976716b41c00de8814eb92bf575e927cd1bef86","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:4ff0fd4197e2381fd46c200e31b41280e7a9876f6ade498c7a519fc0ec1c1f4e","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:5526f331979e07bdcc1030e370b7e2441eedf38e270bc2d90d8749aa088bf03b","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:85e0d13ab0494319c28f755898b28e99d4bd6f9fadba426c8147af8946141a5a","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:2a2b66a7c41dde00ca0a6ed5741ad6826bd42272584516cdb5692745c34dc557","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-20T03:31:27.997711Z","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:647c97036d4e88b94e838fde693f7f6f942e20294104a9934b4e650c8c24e804","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:08ba9e7a93ade9a4afcf421fd086f0e8347553aacae320acc1f2b2db8a9693e5","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-20T03:31:27.997711Z","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:2eeced0feaf1aa617458e6122eb55ac48d4049656b1148b3f4fe6ebd00e601a6","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:1c9a470e4b5a395a6cab0d49e4d71ea2387125ef837f2419dc5f634bda15f268","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:32e325b083acb0b852ab79b76ae0c5057dbf12aecaf3012bddc521accc6abe01","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-20T03:31:27.997711Z","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:85694493906e57af941c9bb55d69d6284a16aca49b093cb3c256a0f25f215f30","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:180f48d124ae9a94463220cb1a8a597842fb9b3fe4fb8104e572091b74e3f8a4","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:46e08714a3e59791c7e4a41ec8c00516d9de7035b6628238cdbeae334d013592","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:6feb3815f2201387295a0acf7e21cc6b10c721fb68e8e0bb321cc3e92997d594","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:476e9b664d0fbd12592d4795a24e93dcfa392bbbe2ebb3d2f8513a9593a40013","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:40c52163aef7c4308407a392306a375d1cc54023bc965b852e899f0652de617f","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:aeac4c32d3b0cf49f23c13881532e65b757b9dde1f574b63d0777ccb72ec42dc","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-20T03:31:27.997711Z","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:031f8dddb0dba0184ab8abe13f14547c9f391269c8cd3155cba31118cc912f70","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-20T03:31:27.997711Z","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:0c58d19a4b10f49dd432c15d047fac68c263f1f99d320fd2fc917a157a559761","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:6c130a64009bdd183c64851b36309cd33cd6497267007bbf8a8b278c63cd4952","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:c458577ef3edcf674ef4d8bbda970531d96ced635dd62bfb5753fbdff8abe0ee","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:6361b3b8644c592ca6739b97e495d29523a3a551c0141a0a991f5455a18e3bf3","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-20T03:31:27.997711Z","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:0a2095e4788ee94c54e91c8c7aad7657a7ed8fd3646b59e3cab1911eac0cb379","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:520109f79879b3a8497683732774632d649fe67ccfd686eb99c5cbf08abbdb02","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:44376a6009ff5f8f2fd449aaf39f38eaf861cc96c5768f8ef8a0538934d6e9ec","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:904220ca117007b9be63515ce1e6a3293e6ca5410d9c76dbb55b6c43d18c8b01","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:f594716d7f23d023c87cdb7938e8c43123112a1ce9fed77bacad0e577eeaefcd","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:fb9b15c1ef3da202e5517d9eef8e17dfcadbb47491d5b92c0ee848a17ff198e5","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-20T03:31:27.997711Z","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:4bd4469833d1134b29e7b2f18fababee182d549a1a2e6f4b80c66c2b9e0a25bb","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:a4cf4ea19902994cf693f707999e6d4ce0692804a6410795b41383d234292cfe","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-20T03:31:27.997711Z","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:b732c9d156a20902f05bdd4ded7d7d922d5595ebac9fda8927c6840c7b5f8ac4","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:e6e6badbd2f2372987f8de3076a8868654dfb898797959b699c8aa01785363dd","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-20T03:31:27.997711Z","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:2e46b5ce04b795369bba49b7e7410da293ae03700723065ab6b239a6b33532b8","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-20T03:31:27.997711Z","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:4d1b677ee75731ce42605099d2414cf0cb00c04913544fc2146ff814de549b80","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:8a6ca910a2fa1c940f71012d7faabe8bb3eb2d1ee8f4984dac4abdf9e9a92f51","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:510c3e36d8f7615a19e1c527e544758884c819bb0978ef9e4c86fcd3ddf5c2db","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-20T03:31:27.997711Z","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:4a4e8042e83973e92f6a7976f913d9cbaf5b53a5dfded6a6fd5be75b40343eda","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-20T03:31:27.997711Z","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:6d0e88accf6ffdc448dd27f74a83b2211983e0ffef29985d9090b64c3f2cfd5e","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:b37dfc26e61341a6b0a5271a9aab909b9625fd3a669b7e251023aeec6d3876e4","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:1c18731de57b2c3815718355f58225a1d1d5a9294ea317e013599eb6ab6628ee","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:d64440e56d97c553a45c039d4d92211a153223c061de2ac0642191dd837e8e2d","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:d994631785d9c728a472fef4c63d886e3fc94489a49b368a652407291fa1740f","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:442dc5e05e8e54b823f79844bf3e0834ba83df9b81ffcedcfa37a086fc1fd7b7","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:3b7b8cbe0b52b21969ad04cc167f9f6ee26a493391022a4e78e3cbb2926d481a","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:ccb51eeb63e7882b858caa9f14d17738309028c4db1c30d704fea556813c5829","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:46d0834d2209ec6fb6c716c2d093e472f25ecee2ce3cc9a1d3236fd73cea6ebe","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:f3db3d259203e09d056d185a8d94079601d1eb0e0f51ef6be490e7e9d9599c7e","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:b85c4493054b80838ac6e4e50d79da03d57727c36336dffce7e479fb37ac2f6d","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:b95fcd27c1b4e8b24abc6b165c59f37d78a06506a566fc15b6427c0fecccf552","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:37405d727bb8c547bb0567eaf7fc4799d34eae906cd2f50d6e12be9281822385","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-20T03:31:27.997711Z","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:b42e367ff562b12f447bc09bdb1dbea0878a21d4f36203df7185551b143f7ea4","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-20T03:31:27.997711Z","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:58b38cf83bf1e650b4de5b554bd6aa3722fd8258bb627f95c1c3a034e0e87ff2","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:041839227b92ba692f673e3f823ace991e273cdb019b52f5dbc62dcfc2f00ca7","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:53643a99ba708c03d38c85569a404303fd17d78350d64364648dc9eebe88c7da","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-20T03:31:27.997711Z","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:016924e6256fc686ddcdd126fc5861840a28a09f0edc763a6803d9930409a8ac","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:3ab9eefc5ac744c6ec4783265a796566560bcee76ec5d1f89634327b804aadd8","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:9d16406ee1f0ec14622bdfc518a1852ad4e2bdaf209367a2855bff96b93e1064","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T03:31:27.997711Z","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:98503e693a4667a5508d9c35ac12baa7c3f96ad88c2180715813d3d3345968ef","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-20T03:31:27.997711Z","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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 73 of 73 outbound references and 0 inbound Pith citation observations for arXiv:2506.23058."}