{"as_of":"2026-08-04T20:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:515fc1db67c3f96cadd4edd98034a9eb37fde59f9a83d01bd3b7f44df76c125f","coverage":[{"denominator":59,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":59,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-17T04:31:39.927726Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-25T05:59:39.785230Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-05-25T06:00:23.237651Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"cited_work":{"arxiv_id":"2511.20782","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.20782","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Optimism in Equality Saturation","venue":"cs.PL","work_id":"2230f736-2bed-48ac-90ce-aee3967e3e3a","year":2025},"citing_paper":{"arxiv_id":"2605.19005","last_updated":"2026-05-22T01:08:52Z","snapshot_observed_at":"2026-07-06T23:29:47.081347Z","submitted_at":"2026-05-18T18:27:33Z","title":"Rewrite System Showdown: Stochastic Search vs. EqSat","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-20T08:21:37.465059Z"},"links":{"cited_paper":"/paper/2511.20782","citing_paper":"/paper/2605.19005"},"observation_digest":"sha256:4e57fda1fc61c5955945a97dec8a23862f1a68acd6765f9755d335f7f743540f","observation_id":"11d46f31-3955-4398-a3b1-3db84f3d577b","resolution":{"observed_at":"2026-05-20T08:23:08.700415Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"cited_work":{"arxiv_id":"2511.20782","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.20782","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Optimism in Equality Saturation","venue":"cs.PL","work_id":"2230f736-2bed-48ac-90ce-aee3967e3e3a","year":2025},"citing_paper":{"arxiv_id":"2605.19005","last_updated":"2026-05-22T01:08:52Z","snapshot_observed_at":"2026-07-06T23:29:47.081347Z","submitted_at":"2026-05-18T18:27:33Z","title":"Rewrite System Showdown: Stochastic Search vs. EqSat","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-25T05:59:39.785230Z"},"links":{"cited_paper":"/paper/2511.20782","citing_paper":"/paper/2605.19005"},"observation_digest":"sha256:7b0071a059be8f31e5208d5b113e6229d0f8527ddf007219dcead3dbeeb784ce","observation_id":"60115be7-3d58-40a4-a7e1-558c80789a93","resolution":{"observed_at":"2026-05-25T06:00:23.239786Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2511.20782/citation-record","integrity":"/paper/2511.20782/integrity","json":"/paper/2511.20782/citation-record.json","paper":"/paper/2511.20782"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Aho, Monica S","venue":null,"work_id":"0d906e1b-99d2-4d96-a03f-a31d83b1da74","year":2006},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:5d0dd0a08f6b42957ccda306ace5023f81d639219e9e28d3f0418bc3bdb7448d","observation_id":"e3895a7a-24ff-49f2-9f97-8da468f334b8","resolution":{"observed_at":"2026-05-17T04:34:02.906285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3560.73561","doi":"10.1145/73560.73561","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Alpern, M","venue":null,"work_id":"3701c80a-e06d-45a2-8c88-4241b04e935f","year":1988},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:6f5dc6d9a61274703880fb26d46e73cf4205ec255b10423103257340254893bc","observation_id":"269c786d-27ef-4ac8-81a4-02ed25503d8a","resolution":{"observed_at":"2026-05-17T04:34:01.771356Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7683e006-5dba-4633-8728-e4d847036526","year":1993},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:fa2c613ecc90daf39bd261a280996c949a94da1fda3dd3443c97c31de63dfa95","observation_id":"86ca6ced-e9f6-4fb6-94e1-cafaed2b4b11","resolution":{"observed_at":"2026-05-17T04:34:02.911743Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9940.370726","doi":"10.1145/3669940.3707260","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"InProceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1(Rotterdam, Netherlands)(ASPLOS ’25)","venue":null,"work_id":"9c5c0b40-d793-45bb-9da5-92d3d64d8555","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:cabbce0e36b544fc7f13ca86df02327a1027213b85a390c58f8fdf37e717833e","observation_id":"c2705a84-ee58-468e-8556-e567496b5fa6","resolution":{"observed_at":"2026-05-17T04:34:01.767419Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Rustan M","venue":null,"work_id":"469402aa-a0b4-4ad2-a40d-045eec2a4bb0","year":2005},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:e67a3bddcb9d6d0c40a0742e41dfeaf21d4f8dbb48e3b2dad691157deaf08210","observation_id":"1db432d1-ea43-46fa-bfe9-cb291300f554","resolution":{"observed_at":"2026-05-17T04:34:02.908924Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1059.201061","doi":"10.1145/201059.201061","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"0fe8bcf9-fe81-40c3-a3e8-07ee60f13e76","year":1995},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:50b33993ec44f045a9f7062ad771382a3ee0a907f7bace945fe64cd9441708a1","observation_id":"4ff338dc-6d18-4006-b758-41c81f1d2c78","resolution":{"observed_at":"2026-05-17T04:34:01.775304Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2529.202534","doi":"10.1145/202529.202534","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"c35c4794-a992-4973-ae84-49b3342e7691","year":1995},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:7e837e25f0d8b1147f600b4143f3aaed1402e77ec95a850d176316aa82d252b4","observation_id":"add761bb-9ca9-4fde-8829-eab45d7b7e02","resolution":{"observed_at":"2026-05-17T04:34:01.762900Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.129.19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"82239c81-2816-413a-b0c0-dc1562e6dbb0","year":2013},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:d18d8dd6ad85814668161ee8130429d3cea202a4a7d179d195079fb3ebc2484d","observation_id":"55432daf-13f5-4376-9a18-8f8524f9060d","resolution":{"observed_at":"2026-05-17T04:34:01.687491Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2950.512973","doi":"10.1145/512950.512973","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Abstract interpretation: A un ified lattice model for static analysis of programs by construction or app roximation of fixpoints","venue":null,"work_id":"69ac5f40-bbb8-4c7a-8261-443cb2d08657","year":1977},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:64cdf669c62890030c803635012170558344ac62fa46504c5751ccb1b32e161c","observation_id":"a2c85f58-7a1a-42fa-9233-d0ec36c83d04","resolution":{"observed_at":"2026-05-17T04:34:01.637129Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-12T17:49:34.488337+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T17:49:34.488337+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7752.567778","doi":"10.1145/567752.567778","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: Aho, A.V., Zilles, S.N., Rosen, B.K","venue":null,"work_id":"693bd61c-879d-4e63-b58e-36b41fbccf0b","year":1979},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:cb1b038c7922db29649f80fb0ca2757243834da8e4dab0ad8fcce9d89032711d","observation_id":"75379027-ed3e-4c6e-afd4-4cb771bb5358","resolution":{"observed_at":"2026-05-17T04:34:01.708982Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-11T20:19:02.373089+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T20:19:02.373089+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5816.503290","doi":"10.1145/565816.503290","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"f684d0fa-368c-4f50-97e1-c529e796c658","year":2002},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:935510ad4f5c967212010308dae691143914f3514b40209d1a3241c98debe995","observation_id":"2ef2117a-1d71-424e-ac0f-9709c0a71b1c","resolution":{"observed_at":"2026-05-17T04:34:01.729592Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9250.359614","doi":"10.1145/3589250.3596144","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Constantinides, and Theo Drane","venue":null,"work_id":"d4dad7d9-b1ac-43c6-a1ad-4a215f3144b9","year":2023},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:4c2f205c79f3c73d4858e76631a3b196d04d209dcc9d9338a342c49dd4ec38d1","observation_id":"f84a01df-34d7-4fcb-a592-3ad1137e7ce2","resolution":{"observed_at":"2026-05-17T04:34:01.738018Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2024.34101","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Constantinides","venue":null,"work_id":"e612fbfb-b183-4fa3-9e0c-166b3be9caf1","year":2024},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:5d04511dde7bb1c48d00786274785eb328239ec7e2692e19fdb3ee50437ed488","observation_id":"a9bc302e-778a-4642-8981-7a99aeafe69b","resolution":{"observed_at":"2026-05-17T04:34:02.143968Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c7df0742-2154-42b7-be8f-464d59165a08","year":2008},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:64ff947f57ec373faf9e8c30c8074dc82a360c9989cc7ef0289beaea30e77d1a","observation_id":"717b2a60-3206-4b6a-a94f-0f42ab97b073","resolution":{"observed_at":"2026-05-17T04:34:02.855504Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8372.317950","doi":"10.1145/3178372.3179503","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"6592641c-67e1-4352-80a7-a73ce5b7823d","year":2018},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:3a812cdb3373c0ea31b53923e2cc18a4fd786b34dc5bfb9b3b969b6120a09db3","observation_id":"53c68a7f-9278-451a-b0e8-37732ef6daee","resolution":{"observed_at":"2026-05-17T04:34:01.755489Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0c308069-8130-4cbc-85a4-1118104adbb7","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:536e7d0e8a3689a61fe14207846d3ac97d666d718e12bc06bdc739180847f19e","observation_id":"0db52146-2420-4b69-a7d9-50a913b9c389","resolution":{"observed_at":"2026-05-17T04:34:02.852215Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7914e70d-c2b7-417c-8b5a-92634bbd4326","year":2023},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:d05eb2fb86d3bf2ced125326c1272bc254058fdb0ebfd119318c5f7e62132a33","observation_id":"9cbbab81-b46e-48a8-939e-961a36a4fd0d","resolution":{"observed_at":"2026-05-17T04:34:02.849469Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3f9f76c8-da41-4e31-9cff-6c32ebadd2d0","year":1957},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:4c2777c976b7599fcfcc26e9f26c5491bfccd4993ac2ba9058be1949134110ff","observation_id":"2a30d1ce-51aa-4151-a685-7affb5164908","resolution":{"observed_at":"2026-05-17T04:34:02.858278Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3689801","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T11:10:51.305320Z","title":null,"venue":null,"work_id":"19319420-e8b2-45a9-8057-458e448f1d4a","year":2024},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:3faacb5c6a994f7992de05df2dc04621cd8742d2a8ac59c3bed6a3f3517574cb","observation_id":"74e71fbb-915e-433a-83ea-910b288ab0ce","resolution":{"observed_at":"2026-05-17T04:34:01.722189Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.11897","last_updated":"2025-07-16T04:24:42Z","snapshot_observed_at":"2026-07-06T21:57:55.359689Z","submitted_at":"2025-07-16T04:24:42Z","title":"Towards Relational Contextual Equality Saturation","version":1},"cited_work":{"arxiv_id":"2507.11897","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.11897","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hellerstein","venue":null,"work_id":"ef9bac69-034c-4aa9-b61c-63e772be5cd6","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"cited_paper":"/paper/2507.11897","citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:01de6174316b4a0aa53b597c1c749c9c3620fbaba54a70ebab850e5e0f91de98","observation_id":"c0ca1ba0-5a48-4b2a-9138-7e445232ea71","resolution":{"observed_at":"2026-05-17T04:34:02.181963Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf00290339","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Monotone data flow analysis fr ameworks","venue":null,"work_id":"95e65122-7245-422a-b134-16cb0e6f1573","year":1977},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:0abd85700983085cdbbc7c78569af217b0de7aef61a1ec8a45a93b8708b0e2e9","observation_id":"6d0c5432-cec7-4a72-bcd9-43490e33b606","resolution":{"observed_at":"2026-05-17T04:34:01.719097Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"266e1521-1082-4c45-b1af-41457d5b06dd","year":2004},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:ae535109f3e699aa8f6e338bf36391c9397f83360ef77ea15ac04dad846e8bad","observation_id":"fa926fd7-a0e7-443c-b161-dcef547beb3e","resolution":{"observed_at":"2026-05-17T04:34:02.900215Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1591.2021","doi":"10.1109/cgo51591.2021.9370308","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Mlir: Scaling compiler infrastructure for domain specific computation","venue":null,"work_id":"00bd1de3-d39f-4a08-a0d6-1ecc697fe13e","year":2021},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:739965ad8bf6592bcfdb65a507eb1b3533adfd979b500b88ddf8004c7572460b","observation_id":"85f79b46-23d3-42ab-a1a9-dc4fbfeebbda","resolution":{"observed_at":"2026-05-17T04:34:01.703963Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T22:23:25.487365+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T22:23:25.487365+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3571258","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4b54e7c1-de4f-4a10-b806-bd27f1b6556a","year":2023},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:698b8d53bbee0ad348683f8016fe04beebc6750f0f760a97a56589bf8be08159","observation_id":"e6fb9d32-2d46-4e09-ba4e-8ccbefb97d16","resolution":{"observed_at":"2026-05-17T04:34:01.649253Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-16T20:22:07.036938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-16T20:22:07.036938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3272.503298","doi":"10.1145/503272.503298","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"daea05f5-75b2-458d-ac9d-203406efd786","year":2002},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:dd129569e9f733a4d006ae9308aba4e1f0d24f851e832a8016480aaea95472b3","observation_id":"cb48c0ef-b136-4220-8efa-faa5cab6b0c9","resolution":{"observed_at":"2026-05-17T04:34:01.674622Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3656392","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"ACM Program","venue":null,"work_id":"ae8bfdf8-2409-45b8-bf58-caccbb71c005","year":2024},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:3d9142617d67f754b3d1d22f120f9b5087255ac08a82024f85d133eef4c64cff","observation_id":"99a5592f-f0f2-4191-a0f6-819e35e3b3a6","resolution":{"observed_at":"2026-05-17T04:34:01.697823Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3729298","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6f49bf19-c05e-4d67-90de-d929680b814f","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:fc2a8696f7d3ba556cc22b91c608eb8161dd6bbfbdbd2ad92799c28fe5c725da","observation_id":"a7a93396-a170-4ffc-8965-c0cd8c025b74","resolution":{"observed_at":"2026-05-17T04:34:01.715750Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3686.136373","doi":"10.1145/1363686.1363736","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"37975b31-6c6d-4940-b131-fda9653684e5","year":2008},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:7cff512c8316981c19da8cb74cb765a195b394db85d43b15fd85a8db12b8e51c","observation_id":"af5fb0cc-aab6-430d-9346-2a67786ab5ce","resolution":{"observed_at":"2026-05-17T04:34:01.679066Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"efeec940-eafd-4364-acb1-9413dad1e043","year":2001},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:20af79f3b42ed77883ae8b4598ea4fc5c10b02c0590b5c498f270cef2358f13b","observation_id":"2290dc58-bd4e-4493-9644-2fa198b31a18","resolution":{"observed_at":"2026-05-17T04:34:02.890872Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3518970b-26c9-4829-ae6f-8e8f194de31d","year":2002},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:db2146d11e48734bdf4a6e3c1ddadbc3ff92116faca7e48c014694778c119d85","observation_id":"eb8feda9-b340-4049-9e32-aac2b6d47bab","resolution":{"observed_at":"2026-05-17T04:34:02.894067Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10990-006-8609-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T11:10:51.319103Z","title":"The octagon abstract domain.Higher Order Symbol","venue":null,"work_id":"52900f8c-5d7b-4472-9d31-f24638b4f200","year":2006},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:947ea7adcfd727e48bc58007af0ef450c2f58b73314801635e51bc62986203af","observation_id":"57be6030-2856-4b99-88d0-77b9a5f69493","resolution":{"observed_at":"2026-05-17T04:34:01.758666Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-73595-3_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"71f70de7-899c-4e47-9805-b81720eb0bfd","year":2007},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:8678b200749e701839b4d64ac79477d35d769ea7fb255efdc8772a14314d16b7","observation_id":"18a98bee-fea9-4177-abe2-a27a41253756","resolution":{"observed_at":"2026-05-17T04:34:01.712304Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5412.338601","doi":"10.1145/3385412.3386011","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock","venue":null,"work_id":"371ac66c-5137-4896-b811-446257c5cb75","year":2020},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:977be259d0c1ccf693346756cbbe10d1ebc7ffcbb836d98e8ca02d76fbe3675a","observation_id":"a5ab8a6d-6bb0-49a8-b17e-dd6e0e451be2","resolution":{"observed_at":"2026-05-17T04:34:01.662324Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"1980.Techniques for program verification","venue":null,"work_id":"5658e29e-3e58-4baf-8090-bac278d132cf","year":1980},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:c4122c9a116606412663e987aaf8d9b6bb04deb98564f53b45bd1dc943c9e2fb","observation_id":"5e8051fc-8536-4271-8dcc-618de9a47ed9","resolution":{"observed_at":"2026-05-17T04:34:02.897156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7073.357079","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T20:17:21.032650Z","title":"Simplification by Cooperating Decision Procedures","venue":null,"work_id":"769db70f-0d7d-49a6-98e1-2f84488d8384","year":1979},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:cef32905715e0a61110b929b29e9cc39b93c32035f9b350e066059435f0a5c75","observation_id":"f99c32f5-adc8-4a85-897c-e96d2eab1d87","resolution":{"observed_at":"2026-05-17T04:34:01.669488Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9e92c47f-17b1-4271-823f-b3be1ee4b4b6","year":2001},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:2024a42f23615afdac39953563963039417d40ee71766389311d946e80ddd62e","observation_id":"85daf113-e571-4dc0-9fbb-f16246795617","resolution":{"observed_at":"2026-05-17T04:34:02.882578Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7924.273795","doi":"10.1145/2737924.2737956","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Wilcox, and Zachary Tatlock","venue":null,"work_id":"823eda88-61c7-480a-b8a9-d6f1ad3c0546","year":2015},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:c0e7260b124e7de27171b9b121a6e65b6caf34dd7fc13ecf3f4ff3485b3158aa","observation_id":"e3ed4b6e-d026-48ba-ab3d-d38222a823b0","resolution":{"observed_at":"2026-05-17T04:34:01.733947Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"2016.SSA-based Compiler Design(1st ed.)","venue":null,"work_id":"385bbb53-a7c0-49fb-b946-5437a95fab90","year":2016},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:c4dd0c7a018e60cef0a8597a3cb253ad0f3d16309639390e376b0233043baa04","observation_id":"ad1511c9-7c1f-4668-9434-a1bfd592a07e","resolution":{"observed_at":"2026-05-17T04:34:02.887071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6ba4c85d-8771-4053-ab4c-fc85703be6d9","year":2020},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:be56c77f98ccda779eaf41ed6fb14cadb2c4f24d4040b8effe37f1d744d3f9a8","observation_id":"82467e2e-8709-4bb0-9c97-f5afbf9a16fe","resolution":{"observed_at":"2026-05-17T04:34:02.871182Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10990-010-9062-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a14644f6-4d0c-440a-8ff8-65559b074ef4","year":2010},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:e4013af76f75babd29ea55f5e7be87f5660ef5e74a90883fdda09f743e43ff31","observation_id":"b236dec6-098c-44d2-a481-c728a754b325","resolution":{"observed_at":"2026-05-17T04:34:01.694550Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c382843f-3071-4648-9dd7-3e01ed64f543","year":1997},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:4b62a449e9ec0ba1527ec0dd6b33a279ce9c3cf40ce73815d4191a750177d1a8","observation_id":"36829465-2fc1-4d0d-a4e8-c09acf9d3747","resolution":{"observed_at":"2026-05-17T04:34:02.878924Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7924.273800","doi":"10.1145/2737924.2738000","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"A formal C memory model supporting integer-pointer casts","venue":null,"work_id":"634d5f75-3853-4f81-96aa-ecaa3b637a40","year":2015},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:e1b31e013d85512920a5f8fda27c360518e6dcb6800f1d2a3de46ca123b549d7","observation_id":"dc2a6510-d619-4be1-96a4-8bda5cf81c36","resolution":{"observed_at":"2026-05-17T04:34:01.750593Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.19203","last_updated":"2023-05-30T16:49:10Z","snapshot_observed_at":"2026-07-06T15:35:30.017377Z","submitted_at":"2023-05-30T16:49:10Z","title":"Colored E-Graph: Equality Reasoning with Conditions","version":1},"cited_work":{"arxiv_id":"2305.19203","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2305.19203","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b7417be2-9dcd-45ba-90df-849368d7303e","year":2023},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"cited_paper":"/paper/2305.19203","citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:ef794a10f8607d095a2c16021770f63efc7c09d65a8eb37adae5af371586ce83","observation_id":"86b40f8e-4e1f-4c99-95da-c0cfa81307ab","resolution":{"observed_at":"2026-05-17T04:34:02.155952Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.34727/2024/isbn.978-3-85448-065-5_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"487c5e34-26a8-437a-98c9-fa1f92e97c93","year":2024},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:9b292a794d10c317f2fe66685b49b7f9922d59bedaabfb0d20f6ab300bd0a2b8","observation_id":"84e38321-a994-4d01-9ed3-2f48f515dba5","resolution":{"observed_at":"2026-05-17T04:34:01.691155Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c5b4090e-d74b-450c-a549-ad6448623b6b","year":2011},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:5e4b524fabaddf4ba791e44e270c5b6081056efeb22f1913ddbc0e1d4e0ece47","observation_id":"4f78329a-55f5-4cd7-b7c7-95cb98e856b3","resolution":{"observed_at":"2026-05-17T04:34:02.867162Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icdt.2025.11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5c35d89f-5afe-479d-a99a-cf3cab390006","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:1788b0fa6da9f98d620143dbdb306a032e46c07b825c2bbc454d56e9a911a3ff","observation_id":"90018bd5-df59-4a1d-bc39-aaf718502194","resolution":{"observed_at":"2026-05-17T04:34:01.745475Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4834.148091","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ec3099e3-d687-4dad-ae11-115e1904b49e","year":2009},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:d94b46a298d0b4714c7f1cd20a5308d8c0dbc0ba508fd0f201844cfcb7a7da9f","observation_id":"bcc9cd78-d8e6-454d-8845-31fed73e649a","resolution":{"observed_at":"2026-05-17T04:34:01.742694Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0407d49a-67bc-4241-9ee3-30b01fdf5134","year":2003},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:e5906d8c06afeb842d509c742c67d190c1c8ab2e43ec469aae9bbe1763396d03","observation_id":"9adbb3fb-1bb9-43e3-91e6-a50a0ac323d7","resolution":{"observed_at":"2026-05-17T04:34:02.875161Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3902.2022","doi":"10.1109/cgo53902.2022.9741258","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Compilergym: Robust, performant compiler optimization environments for ai research","venue":null,"work_id":"554d5de8-09a4-4bb8-8a4f-dd4b81c697bf","year":2022},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:72aa3528d461aa2a6522f7b791b7477c06988e8de50cd0b6d0090fb653d3b66c","observation_id":"c6c9e003-c909-4142-ae87-19c434593b11","resolution":{"observed_at":"2026-05-17T04:34:01.655408Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-12T05:49:24.665869+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T05:49:24.665869+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7790.340779","doi":"10.14778/3407790.3407792","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"2020 , issue_date =","venue":null,"work_id":"380f261d-fc7a-4ee2-b000-691501224d0d","year":2020},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:7680ac754fe4dec1429450f5ddc9cead0369092db389d9b9b74c0f05142e3538","observation_id":"abb849ee-145c-4369-be3a-d02f8bb7b4dc","resolution":{"observed_at":"2026-05-17T04:34:01.645111Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3434304","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T01:56:26.473470Z","title":"egg: Fast and Extensible Equality Saturation , url =","venue":null,"work_id":"dd08b3fe-ab3e-4e79-8c56-cd4ffde3d152","year":2021},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:393af1f92af1998a38d64ff62c54a7ef4a48c1574630739608ea69a9f6fe7518","observation_id":"1db003fc-410d-40f5-bea0-ad372572146d","resolution":{"observed_at":"2026-05-17T04:34:01.683032Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-20T21:23:01.102174+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T21:23:01.102174+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"69c10de9-37d7-4447-b0c4-7cc6544a1e83","year":null},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:69ff3566566796337f271ee5e6b01b3bf340ce59fb9c191c4e6b5d54c4a0041b","observation_id":"258a2abc-d0cf-47db-96fe-1bab27ad4f01","resolution":{"observed_at":"2026-05-17T04:34:02.863988Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2101.01332","last_updated":"2021-03-17T15:05:06Z","snapshot_observed_at":"2026-07-06T10:30:01.663667Z","submitted_at":"2021-01-05T03:30:35Z","title":"Equality Saturation for Tensor Graph Superoptimization","version":2},"cited_work":{"arxiv_id":"2101.01332","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2101.01332","snapshot_observed_at":"2026-07-02T15:17:07.579594Z","title":"InProceedings of Machine Learning and Systems","venue":null,"work_id":"ec1c64df-f3d6-4c16-8c87-a519484ceccc","year":2021},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"cited_paper":"/paper/2101.01332","citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:0ebe30cea3ff666906a497c48548d853ca156bd3fae91cfeeea1e6c2d6c861fb","observation_id":"4e749671-8d6b-4352-87a6-506f7977b3b2","resolution":{"observed_at":"2026-05-17T04:34:02.148411Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.13020","last_updated":"2025-08-23T21:21:57Z","snapshot_observed_at":"2026-07-06T22:14:30.176829Z","submitted_at":"2025-08-18T15:38:12Z","title":"e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving","version":2},"cited_work":{"arxiv_id":"2508.13020","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.13020","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9537f4a4-0b27-44b5-9e46-c1402e7683a5","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"cited_paper":"/paper/2508.13020","citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:9d4020c6509a69f9bb57b72d400a27bcfbe248c167a105f1670dc6a8d164a4c7","observation_id":"3969e78f-b16f-46e1-99ec-9d5bceb07be8","resolution":{"observed_at":"2026-05-17T04:34:02.178228Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5efb0575-dc39-479a-9825-6b3a3c0811ef","year":2022},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:ed0967863072e95ae60a8cb9d37c5505885ff04a58bd2ecab9e7cb682bdd77a5","observation_id":"c6b0f587-1104-41ee-99dd-7627a72e7368","resolution":{"observed_at":"2026-05-17T04:34:02.860952Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3591239","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T05:03:08.724646Z","title":"Better Together: Unifying Datalog and Equality Saturation , url =","venue":null,"work_id":"4a99cc04-5f8f-4b0a-bbe1-7ed890f8f361","year":2023},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:9ec705d0786912bd7e8420026e5d89291ae35bc312609aad001dd3eb2963a60b","observation_id":"23a9417c-fac3-4978-8225-ce6cbb353eab","resolution":{"observed_at":"2026-05-17T04:34:01.724948Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-20T21:23:02.100857+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T21:23:02.100857+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3498696","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"343beecd-147b-4c41-8f65-199b07eeff41","year":2022},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:e9c363440681a9e493d15ab04fe4234906064d279678838019fd19024dee03b3","observation_id":"1c170efc-1f73-4df0-a7a6-df5f96d1ba02","resolution":{"observed_at":"2026-05-17T04:34:01.665510Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0e8deeb2-5a42-4816-9c67-89a542a7238b","year":2024},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:2fd7915d5adb05a524047c89964413a334ac8a18295ecc980e4aea6b5ceb2161","observation_id":"c2f434bb-d38d-441b-b43a-5c2f98f860ab","resolution":{"observed_at":"2026-05-17T04:34:02.903059Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-07-06T21:11:58.671097Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"cited_work":{"arxiv_id":"2504.14340","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.14340","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0386fef7-5e0a-487e-9033-13056f88a9f1","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"cited_paper":"/paper/2504.14340","citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:87566c1093d9fb8ab9f2c58b516634e01c22d0be260d5bacd255266c61823b8f","observation_id":"dd1b34db-8a01-49f3-af4f-8601b52b9fd2","resolution":{"observed_at":"2026-05-17T04:34:02.152117Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","latest_version":4,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation"},"reference_resolution":{"displayed":59,"state_counts":{"malformed_identifier":1,"metadata_mismatch":5,"parse_uncertain":0,"unresolved":16,"verified_exact":33,"verified_fuzzy":4},"total_outbound_references":59},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 2 inbound Pith citation observations for arXiv:2511.20782."}