{"as_of":"2026-08-17T23:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a052b15bcc794f75f19d62c998a72536bd82ccf100032586e0c14e413754e59a","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-25T19:57:12.657341Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.25244/citation-record","integrity":"/paper/2606.25244/integrity","json":"/paper/2606.25244/citation-record.json","paper":"/paper/2606.25244"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.19762","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T20:40:07.668848Z","title":"Hexagon-mlir: An ai compilation stack for qual- comm’s neural processing units (npus)","venue":null,"work_id":"0a2e1892-7a7a-4c31-b236-461c0d44819c","year":2026},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:a4e6ae79b346193771d18e91dbab156370db43209db0397141ebddac09afc59e","observation_id":"2051b2ad-3363-433d-bd60-8b5fcd16650d","resolution":{"observed_at":"2026-07-04T20:40:07.670638Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-25T19:57:12.657341Z","title":"Abellán, José Cano, and David Kaeli","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:2fc53f77ec420552f5d46e8222ecbfd67572b2030250c991701c93ee06e7d55e","observation_id":"dece4e85-3d37-43ce-a34f-c99589102c5d","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Oxford University Press, Oxford, UK, 2nd edition, 2010","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:b5d9cf75231a42a216f1e5f077a3ff5a6cba0f927b27160e5dd6f0af0228a4d3","observation_id":"db5c6ad9-4bde-4ca5-b36a-4fce364a4b7e","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Cambridge University Press, Cambridge, UK, 1998","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:74d5d1074794363d559e7af954d448f4734b2364557d77344ce49b3f48d4516f","observation_id":"984c0146-9857-4f61-8058-daf76caf5334","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Graduate Texts in Computer Science","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:1ee33b84c5463f08dc7f63a2ba29198e28aef5a574217b218e7e1255bb16a4a0","observation_id":"16845dc5-5b4e-477f-a0e9-f7743b68288a","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Automated program refinement: Guide and verify code Large Language Model with refinement calculus.Proc","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:292a4dccd0944fab28c0eb3b927f77d1427d3887b12591eb349408ea35b376d7","observation_id":"e6a08040-7365-4f5c-b2a4-391d2653c768","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1802.04799","last_updated":"2018-10-05T18:47:38Z","snapshot_observed_at":"2026-08-15T02:27:40.598046Z","submitted_at":"2018-02-12T20:49:34Z","title":"TVM: An Automated End-to-End Optimizing Compiler for Deep Learning","version":3},"cited_work":{"arxiv_id":"1802.04799","doi":"10.48550/arxiv.1802.04799","metadata_source":"pith","pith_arxiv_id":"1802.04799","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"TVM: An Automated End-to-End Optimizing Compiler for Deep Learning","venue":"cs.LG","work_id":"4cd8f361-efd3-4035-b45b-6a1cee1fed27","year":2018},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"cited_paper":"/paper/1802.04799","citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:9eb571ae1a2a10e9b92f5e3b19ce3b6282b02f8474833541bd8876bdeac94b33","observation_id":"e053ec81-961c-47f3-b64c-0d76d0e01a50","resolution":{"observed_at":"2026-07-04T20:40:07.652905Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.06731","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T20:40:07.673953Z","title":"Polyblocks: A compiler infrastructure for ai chips and programming frameworks","venue":null,"work_id":"a3f3c686-f651-4ae2-9374-c20c79af8a9c","year":2026},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:2ea506e4d5e3c855b105ff8594d4d7da954e4a804727f95dd2f5fdaf819f64fb","observation_id":"d2d2ec0a-f603-4b8b-87c4-ff9a75e73a96","resolution":{"observed_at":"2026-07-04T20:40:07.675391Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-25T19:57:12.657341Z","title":"A simple graph-based intermediate representation","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:7bf4d56d3e115401e64f743ab5cd71043c77cb0d040b32082dc12b23723731d6","observation_id":"129fe566-243c-4f87-8a69-59c970d4e300","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Abstract interpretation: A unified lattice model for static analysis of pro- grams by construction or approximation of fixpoints","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:e8fdc10d6a7227ecccf2a4034d5d690fc7828bb4ee29cb95ca05763b687fb62a","observation_id":"13f71ef5-f23c-4400-ad32-2c55e8150328","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Systematic design of program analysis frameworks","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:dfb746908afddf124168864c2e8c6d0dedc2c917801874076214c7914605c028","observation_id":"23f8820d-a171-4c3f-91c3-d31395d91db5","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"First-class verification dialects for MLIR.Proc","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:a0c715e80b363bb99dbfccf4f66bdbb745737a9b70f8d9211c53afc51d208830","observation_id":"236ee20e-f6cf-48b9-8db0-2448fa749be5","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"The best of abstract interpretations.Proc","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:b48d7f734d5ffd1f88d4206cfbed4c7d6bdf72902ac4cfd07015374ef0b7525e","observation_id":"bc9d6c0e-b677-4e57-8110-bed7a2b3c947","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.15204","last_updated":"2024-04-15T10:35:50Z","snapshot_observed_at":"2026-08-16T14:00:53.348239Z","submitted_at":"2024-04-15T10:35:50Z","title":"Towards a high-performance AI compiler with upstream MLIR","version":1},"cited_work":{"arxiv_id":"2404.15204","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2404.15204","snapshot_observed_at":"2026-07-04T20:40:07.671827Z","title":"Towards a high-performance ai compiler with upstream mlir","venue":null,"work_id":"c557ea7a-8d36-478d-a30d-0dd71369f425","year":2024},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"cited_paper":"/paper/2404.15204","citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:2de9d196149ac2b3ae99cdd129339b28647d7e6c36416e5a92df3a4f0d0b4318","observation_id":"43f637e9-2f2d-4659-a9d5-db23196ca199","resolution":{"observed_at":"2026-07-04T20:40:07.673547Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-25T19:57:12.657341Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:69e891c89e61f2827f79ed115b8a0da94092a491e91810bd8b32c1764677076c","observation_id":"0d96fffb-e11b-4a29-8b21-299911cac70c","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"IREE: Retargetable MLIR-based machine learning compiler and runtime, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:db84a180fc9e8eaf4837e3e9ab0c59ac815c83189ca5968984d80d13424fdb58","observation_id":"98237c43-1f7c-4b6e-a17a-96c3830872d3","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Knuth and Peter B","venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:84a0dd092924f16df041edfde4b24c5d19f8f714de4ea14b305b916658778a53","observation_id":"68b50cca-f064-437e-8140-a53a49f3a4f4","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"The claude c compiler: What it reveals about the future of software, February 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:9390e1c827d5f0e0660c1a642cac8190053355570e767c19d9ca5e74df491aaf","observation_id":"54d10455-b390-421c-b3f5-165ff95c94a0","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Mlir: Scaling compiler infrastructure for domain specific computation","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:533a8763d05d6beb2757a991fe7036cb55284d8389dbd562ae8c5d843fefb676","observation_id":"9dec2fda-bea2-4670-98ad-2248c181a49c","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"SSA translation is an abstract interpretation.Proc","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:c986871825f7bcaed42f6e955036082a7cf6f864df11a280703ad1586cad2032","observation_id":"1e2aa5b1-007e-4161-9fde-1b4baf8ef67b","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Formal verification of a realistic compiler.Communications of the ACM, 52(7):107–115, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:3c5f47b0a7944d91783e964a33be3d1d13a991318a35a22d2b4b7d8143526fb4","observation_id":"c39d129f-a270-4f9b-86e5-67239a335621","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.14479","last_updated":"2022-05-28T16:37:47Z","snapshot_observed_at":"2026-08-16T16:56:57.657796Z","submitted_at":"2022-05-28T16:37:47Z","title":"TinyIREE: An ML Execution Environment for Embedded Systems from Compilation to Deployment","version":1},"cited_work":{"arxiv_id":"2205.14479","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.14479","snapshot_observed_at":"2026-07-04T20:40:07.665303Z","title":"Tinyiree: An ml execution environment for embedded systems from compilation to deployment","venue":null,"work_id":"38b79767-47f9-4d52-9b37-36dfd4d6cdf6","year":2022},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"cited_paper":"/paper/2205.14479","citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:a5ed65abf9469d61f484d639a7c7fd7f4f890bc69408c0dced4751f586f2f8a4","observation_id":"99294c96-05b5-4ac7-9511-187366a3adca","resolution":{"observed_at":"2026-07-04T20:40:07.667349Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-25T19:57:12.657341Z","title":"Mlir lighthouse project.https://github.com/llvm/lighthouse, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:07d19b59a66bc1d7362e22f403cde290e4a37d766e5fc4ec65545de508fb5114","observation_id":"9c0dbc5e-6099-4146-bb5f-f7305ca111fe","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.03864","last_updated":"2024-09-09T09:42:31Z","snapshot_observed_at":"2026-08-16T13:20:56.469508Z","submitted_at":"2024-09-05T19:01:47Z","title":"The MLIR Transform Dialect. Your compiler is more powerful than you think","version":2},"cited_work":{"arxiv_id":"2409.03864","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2409.03864","snapshot_observed_at":"2026-07-04T20:40:07.660071Z","title":"Moses, Michel Steuwer, and Albert Cohen","venue":null,"work_id":"48238c90-e266-434d-8f79-4917e271d5a3","year":2024},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"cited_paper":"/paper/2409.03864","citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:c53cfa20b844deac9ba9ac900a3527a9456bb4a7a900760339470cdf99a05e10","observation_id":"80b7f640-ab95-4991-a22a-dd3d25589e6d","resolution":{"observed_at":"2026-07-04T20:40:07.661691Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-25T19:57:12.657341Z","title":"Springer, New York, NY , USA, 1971","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:f11503fc785c7b02a5c8934407ebecd4ca114c8c7bf341c4dd8a1f8b648d936e","observation_id":"e1a8d52b-9097-4cb5-b601-b51b459b2be5","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Bibliopolis, Naples, Italy, 1984","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:2d3d13d542a284951b313ecbe6d18adf6f3ef0b34a612e4250ca37732cbbfba8","observation_id":"26d780d4-f298-4099-85f0-d7a82075a71d","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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":"2601.20886","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T20:40:07.668498Z","title":"Ide-bench: Evaluating large language models as ide agents on real-world software engineering tasks","venue":null,"work_id":"8c7b66f1-07ee-4efa-95e9-993f1317f70c","year":2026},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:713eb535ee70e20a1d7cfce5a9d8fb35fb87883916b7c37050643474e7b3c5e3","observation_id":"6e135e92-6975-4615-9870-b3118296e70f","resolution":{"observed_at":"2026-07-04T20:40:07.670015Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.16707","last_updated":"2026-08-03T10:05:07Z","snapshot_observed_at":"2026-08-16T14:56:48.194564Z","submitted_at":"2026-02-18T18:56:52Z","title":"E-Graphs as a Persistent Compiler Abstraction","version":2},"cited_work":{"arxiv_id":"2602.16707","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2602.16707","snapshot_observed_at":"2026-08-04T02:40:09.452937Z","title":"E-graphs as a persistent compiler abstraction","venue":null,"work_id":"6293a096-b483-4ecc-9391-9269cc191122","year":2026},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"cited_paper":"/paper/2602.16707","citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:cb18cd640ef69f13a96de3bf077a49c5295a8cfa7d8de62aad6cd7be0a3ba2d2","observation_id":"2db2fdfa-a8eb-45cb-8976-d20d3c31f713","resolution":{"observed_at":"2026-08-04T02:40:09.452937Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-25T19:57:12.657341Z","title":"Twenty years of rewriting logic.Journal of Logic and Algebraic Programming, 81(7-8):721–781, 2012","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:92ed11d6cea5e862952d19f3ef4f31f43831b59e1854475a0162695fb1101375","observation_id":"886e6e83-7774-44ec-a018-d068059010e8","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Prentice Hall, Hemel Hempstead, UK, 1990","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:6ca08fed6be76b38c3d40927bbfd03b9e7fd00ee65be5b42812a96bc2f7821b1","observation_id":"a24ed12b-ef94-4aaa-8841-1e2bcc06f7c5","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":null,"venue":null,"work_id":null,"year":1942},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:e05de4de60a657ecbed2d5161f8143dba91eebaff5f98ed1d5ef237824e86786","observation_id":"8095b687-b5a4-4213-a198-e8d0b9b7cd8c","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Cuda tile: A tile-based programming model and mlir-based compiler infrastructure for nvidia gpus.https://github.com/NVIDIA/cuda-tile, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:ec3915720a692eda9ccefc868fce67c3befdecca212951827bd2d6179ab7ef93","observation_id":"974f6867-236e-4873-9de4-dd5c819e9b0a","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Pierce.Types and Programming Languages","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:442e07d853dffc1028cf0523d20e3e8f2a077a4ac746e92211dd6a5ab493fb63","observation_id":"0f58eb37-dd64-4c4e-84cc-52549d3a41e6","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:926506396fa8634512c3c3d8cd6b55d477a1a0b54c1a81fd58fc4e2f169959ce","observation_id":"b9d6613d-753f-4c00-9ca7-2122cc172936","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Halide: A language and compiler for optimizing parallelism, locality, and recomputation","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:a0cbbc37e64c6c4a385ee6de92bc2a2a1f424b5c6c189058b261a95b415fe49f","observation_id":"7401d219-6cfe-4577-950b-1346874e8533","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.09268","last_updated":"2026-05-25T12:10:32Z","snapshot_observed_at":"2026-08-05T09:00:22.676271Z","submitted_at":"2025-11-12T12:28:57Z","title":"Decoding the Configuration of AI Coding Agents: Insights from Claude Code Projects","version":2},"cited_work":{"arxiv_id":"2511.09268","doi":"10.48550/arxiv.2511.09268","metadata_source":"pith","pith_arxiv_id":"2511.09268","snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"Santos, Vitor Costa, João Eduardo Montandon, and Marco Túlio Valente","venue":"cs.SE","work_id":"72994d8c-16dc-4c57-9db9-cb718232cc0e","year":2025},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"cited_paper":"/paper/2511.09268","citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:3cd3a69f51367759c88047df491eb7522f5bd2f810a7b7ff7982834afe6f3745","observation_id":"e802b7a4-159a-4c5d-82e2-34f60f0eb2b3","resolution":{"observed_at":"2026-07-04T20:40:07.664389Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-25T19:57:12.657341Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:3482c2a953766ed16631d1bd83b38938b58175dd71fbcf141397e93eb04b8787","observation_id":"01ed394b-5bf4-41b7-add0-0be050c7144f","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Scott and Christopher Strachey","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:57b0a8ea5f11549e3f549529e6f169cda499c4c6fea251417d248b310d0d4ab4","observation_id":"a44cd14d-ea1e-46c0-807a-95b74a443b46","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":"Aster: Mlir c++ tool for programmable and highly-controllable assembly production on amd gpus.https://github.com/iree-org/aster/tree/main, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:e7f48c6be617b21fcea51f38876a54e0bb1f793f383837d7daa8439d058927a3","observation_id":"4f5a4273-0538-461c-98c2-15c910a790a3","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","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-06-25T19:57:12.657341Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-25T19:57:12.657341Z"},"links":{"citing_paper":"/paper/2606.25244"},"observation_digest":"sha256:139a9f0f802f6b71d9b776797aad6030fd529b504c9014a5266a51284fa234c2","observation_id":"78168b1c-ec82-44c9-8735-43d5aa702698","resolution":{"observed_at":"2026-06-25T19:57:12.657341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.25244","last_updated":"2026-06-24T00:02:38Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-17T16:31:02.661708Z","submitted_at":"2026-06-24T00:02:38Z","title":"Reading AI Model Compilation in MLIR Through the Lens of Formal Theories"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":40},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2606.25244."}