{"as_of":"2026-08-15T23:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ede21faf42390ee9f193635a5ed863a2de7745577f9fc117fddbf47f5072ae1c","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T21:37:48.567173Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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-17T05:07:13.598641Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"cited_work":{"arxiv_id":"2505.09363","doi":"10.48550/arxiv.2505.09363","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.09363","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ArXiv.org","work_id":"06f8adc4-8e5f-45bb-9022-75d2f7a598fa","year":2025},"citing_paper":{"arxiv_id":"2511.22267","last_updated":"2026-04-18T05:12:51Z","snapshot_observed_at":"2026-08-11T14:24:42.343972Z","submitted_at":"2025-11-27T09:43:38Z","title":"Aquas: Enhancing Domain Specialization through Holistic Hardware-Software Co-Optimization based on MLIR","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-17T05:07:13.598641Z"},"links":{"cited_paper":"/paper/2505.09363","citing_paper":"/paper/2511.22267"},"observation_digest":"sha256:494ce188dbfcec653288777cf96bb145d0be77b8e98d959554abe26f9dc80fac","observation_id":"f00e2a16-f7f5-4845-86a3-6e9f5010a62b","resolution":{"observed_at":"2026-05-17T05:09:03.468691Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"cited_work":{"arxiv_id":"2505.09363","doi":"10.48550/arxiv.2505.09363","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.09363","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ArXiv.org","work_id":"06f8adc4-8e5f-45bb-9022-75d2f7a598fa","year":2025},"citing_paper":{"arxiv_id":"2605.01124","last_updated":"2026-05-01T21:51:21Z","snapshot_observed_at":"2026-08-11T09:38:19.727103Z","submitted_at":"2026-05-01T21:51:21Z","title":"Practical Formal Verification for MLIR Programs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-09T14:21:48.556039Z"},"links":{"cited_paper":"/paper/2505.09363","citing_paper":"/paper/2605.01124"},"observation_digest":"sha256:5165540bd21ba63d5d59e27d1f012b9b3c050cdafdd028d03503b1d8711c54fe","observation_id":"8195434f-fc02-4f82-976f-843e123ce74f","resolution":{"observed_at":"2026-05-11T16:56:09.250993Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.09363/citation-record","integrity":"/paper/2505.09363/integrity","json":"/paper/2505.09363/citation-record.json","paper":"/paper/2505.09363"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:37:49.362729Z","title":"GCC, the GNU Compiler Collection - GNU Project","venue":null,"work_id":"09cade8a-b157-48c3-be51-a1a7783b992e","year":2024},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.438051Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:c6fa982351be9c05ef7885b31f4d448875c6af3defce57e11cd7464861e22b03","observation_id":"ce3f4381-9af2-4a3a-8d74-e0aed1a39067","resolution":{"observed_at":"2026-08-15T21:37:49.372586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:49.343315Z","title":null,"venue":null,"work_id":"122f5a39-a672-4ed7-8257-de898b74a7f2","year":2024},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.444112Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:1793be510e7e120f9ba7213fff551b36d94dc1cfac35e972c9806f369251fab1","observation_id":"65ebf903-359a-44d2-ba0b-f9a1c7cc362a","resolution":{"observed_at":"2026-08-15T21:37:49.349653Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:49.324555Z","title":null,"venue":null,"work_id":"2e43b5b7-7313-463b-b8dd-8b38a9255141","year":2024},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.450026Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:49c73d9c3bd63628e0b3e8732988c455450a83fbe9043a6e0b7ac769552886b4","observation_id":"96a58652-6efa-4616-b563-0fe269d77465","resolution":{"observed_at":"2026-08-15T21:37:49.329669Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:49.307865Z","title":null,"venue":null,"work_id":"05bb8ced-74c8-4338-8115-3469deb547eb","year":2022},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.455420Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:cdc9d21bc84827f8b8721e5a0cf173277728c7307435fe1d79ae0bc3bc02bd02","observation_id":"79a41043-5cf9-4a0c-aab5-5c6c2e668c4c","resolution":{"observed_at":"2026-08-15T21:37:49.313237Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:48.460338Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.460338Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:8a28b4716f98e7aeaa137e6ccb2419540a36a42439d862b9bf18d8596fb099fd","observation_id":"d86ca3e2-4ebb-4aae-9f0a-dc3a40ba5069","resolution":{"observed_at":"2026-08-15T21:37:48.460338Z","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-15T21:37:48.465958Z","title":"Constantinides, and Theo Drane","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.465958Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:1b5fa82291e7cf8bec9faafcaa99077b8c7375801a560c83cb20051a784575e8","observation_id":"e7374f53-f769-4fed-960f-2b06df562690","resolution":{"observed_at":"2026-08-15T21:37:48.465958Z","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-15T21:37:48.472112Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.472112Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:efb01b36d31b5e99a3e3a8460405c57b24f90a15a65c23cfa106b616d2b83c2c","observation_id":"e7ce32f7-09fb-4fa4-bd03-97008b3f405d","resolution":{"observed_at":"2026-08-15T21:37:48.472112Z","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/3543670","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:37:48.649214Z","title":"Coward, L","venue":null,"work_id":"62e27ea4-d219-4ae5-9ecb-5f43657bb9c7","year":2022},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.477606Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:13c4a1787b50ad122d212b06fb14e9c4deaf73b97d8d7a49fa07f6acfd1527a7","observation_id":"a68ee01e-c6f3-4b71-8c50-e9583d394a48","resolution":{"observed_at":"2026-08-15T21:37:48.656014Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:48.483861Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.483861Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:5717e91d6c95c09493e50a578ce10742903f043b8a67289aa88f6336807be86a","observation_id":"8f872fb9-6577-4839-bddd-d31bf28e2e1d","resolution":{"observed_at":"2026-08-15T21:37:48.483861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.12816","last_updated":"2020-04-23T22:36:05Z","snapshot_observed_at":"2026-08-11T15:13:27.814382Z","submitted_at":"2020-04-23T22:36:05Z","title":"Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.12816","snapshot_observed_at":"2026-08-15T21:37:48.493783Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.493783Z"},"links":{"cited_paper":"/paper/2004.12816","citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:d30dfe886c81a2be055cdd0a5c91c725295019f20b88b684c04b4c36b94e8d61","observation_id":"622cb4ae-24d3-4286-98a5-0670af204628","resolution":{"observed_at":"2026-08-15T21:37:48.493783Z","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-15T21:37:48.499354Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.499354Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:a7183cfd9d5696ee53516d364117c2f426656048ca379f0e9b26bbcb38c2b6ff","observation_id":"3ddf0007-fdea-40e5-88ea-8433e64c2a83","resolution":{"observed_at":"2026-08-15T21:37:48.499354Z","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-15T21:37:49.289585Z","title":null,"venue":null,"work_id":"73862f63-f989-4048-8452-09ba09858833","year":1980},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.510631Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:c9a74f5d7f978172942c24f98c7e5733eed697b833da127bd3918b9fe7232f5a","observation_id":"e635902b-cfcf-429e-9561-81efd3eae816","resolution":{"observed_at":"2026-08-15T21:37:49.294443Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:48.516744Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.516744Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:44b0ec782ed4f0070d37f2580724c4de1809269ce087019bd2a1c4a12b113b17","observation_id":"d729af5b-c5cb-4392-ab57-3d2a2b456925","resolution":{"observed_at":"2026-08-15T21:37:48.516744Z","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-15T21:37:49.272981Z","title":null,"venue":null,"work_id":"1bf8dad6-c260-44d3-b592-7e428c694b93","year":2015},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.522011Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:0a87506d7abfd65a9d86b7bb3c263e94ca44a9c1dbfdbf4acb5378d8d162045f","observation_id":"b4d1cbff-2fea-4297-9111-e9f1c1a14ad1","resolution":{"observed_at":"2026-08-15T21:37:49.278361Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:48.527871Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.527871Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:e1335418075f7482f74b3022c018124ca283dadc17bb4ac30ce1b6126c318e9f","observation_id":"b2e8a982-7a92-42ae-b46e-aa1ab18f2230","resolution":{"observed_at":"2026-08-15T21:37:48.527871Z","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-15T21:37:48.533582Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.533582Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:d2876ba3720962f5b321f549ae92b72ee8c8ab5673d15baa258485c6331be33f","observation_id":"8be1958e-571f-4059-b81d-f852b0bd849c","resolution":{"observed_at":"2026-08-15T21:37:48.533582Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.03293","last_updated":"2022-02-07T15:31:59Z","snapshot_observed_at":"2026-08-13T16:45:28.951506Z","submitted_at":"2022-02-07T15:31:59Z","title":"Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.03293","snapshot_observed_at":"2026-08-15T21:37:48.538664Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.538664Z"},"links":{"cited_paper":"/paper/2202.03293","citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:35c192027b7a00be0c2348a0cb3aebc7a7926164f2ba13cde050670b8f03b96c","observation_id":"77570b7e-83fb-461c-ba9c-8dacdd52994b","resolution":{"observed_at":"2026-08-15T21:37:48.538664Z","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-15T21:37:48.545166Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.545166Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:df77b33e2f09f9cc33fc781e8f987a5cffb22c5cacb522a7664802ca4c7154b0","observation_id":"d56a5fd8-5b27-40b5-9dd8-a145d4130603","resolution":{"observed_at":"2026-08-15T21:37:48.545166Z","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-15T21:37:48.550713Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.550713Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:975a717affb32147d47c54760e292677ff9be7e58d738eabda686923854ec356","observation_id":"897d0380-dfed-4b10-a6cd-2047e2428f04","resolution":{"observed_at":"2026-08-15T21:37:48.550713Z","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-15T21:37:48.556327Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.556327Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:3286c5046d147e6944b45a3e53ddf85801ebb568305a629911f6df20947728c4","observation_id":"53f43371-b046-4b3e-a9af-ad7e2d835f2a","resolution":{"observed_at":"2026-08-15T21:37:48.556327Z","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-15T21:37:49.255639Z","title":null,"venue":null,"work_id":"06806c3f-3214-46c5-8aad-8ea3d3151512","year":null},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.561807Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:801e39203026e3106c400342f35e20f29e06f02c62e47d299ffdd2529f1946d6","observation_id":"25a2abd9-93c1-493b-b855-a3b6ea22db22","resolution":{"observed_at":"2026-08-15T21:37:49.260794Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T21:37:48.567173Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-15T21:37:48.567173Z"},"links":{"citing_paper":"/paper/2505.09363"},"observation_digest":"sha256:69392d8709da174eb680e61bdeaa1b766d3c3602af82ac7f8e6151a7ffc28907","observation_id":"70d3434d-a087-4ff8-b3c7-98505e853b5b","resolution":{"observed_at":"2026-08-15T21:37:48.567173Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.09363","last_updated":"2025-05-15T11:34:04Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-15T21:31:24.259663Z","submitted_at":"2025-05-14T13:12:39Z","title":"eqsat: An Equality Saturation Dialect for Non-destructive Rewriting"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":1,"verified_fuzzy":1},"total_outbound_references":22},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 2 inbound Pith citation observations for arXiv:2505.09363."}