{"as_of":"2026-08-22T19:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:620c2740d9ae8f4bb636af5a1705a93b88b080b41142d321b35d189b0c119d49","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T13:16:54.556331Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2412.13398/citation-record","integrity":"/paper/2412.13398/integrity","json":"/paper/2412.13398/citation-record.json","paper":"/paper/2412.13398"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:16:54.402924Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.402924Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:a407fc292f9911bff4d3eb790728ffc787fdda50fa11ee21cad318271b3ef39a","observation_id":"db8b9632-0363-40de-a209-389530a25a0e","resolution":{"observed_at":"2026-08-11T13:16:54.402924Z","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-11T13:16:54.408606Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.408606Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:ee791e083dbe184e3e5532a656115932dbc905b00eb7e93968d0c801c0ceab7d","observation_id":"23bc16ab-d593-48e5-b8ae-209edc8a640e","resolution":{"observed_at":"2026-08-11T13:16:54.408606Z","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-11T13:16:55.564277Z","title":null,"venue":null,"work_id":"bd52c8ab-9e33-42f9-84e8-917086dda98c","year":2018},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.413814Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:46c74498b49850a1ab747054076758df2c159dce0be329507bd658139bbaa3f4","observation_id":"9a49986a-11d7-481a-bf25-9ca1efa14bb8","resolution":{"observed_at":"2026-08-11T13:16:55.569973Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:54.419428Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.419428Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:13de446242e3be08a4c8ad0ffbdc87f9dc9ba60d9777639a004960099d037a82","observation_id":"8df72cec-de8e-4d86-acbe-a2398bbaefc2","resolution":{"observed_at":"2026-08-11T13:16:54.419428Z","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-11T13:16:54.429645Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.429645Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:b144110f3b0c9f2249641a849aa4ffa1f44ad8f572c9ad5dabbf440be96e36e1","observation_id":"34b199b2-7791-41e9-a0ad-f9565c80f6ec","resolution":{"observed_at":"2026-08-11T13:16:54.429645Z","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-11T13:16:55.526096Z","title":null,"venue":null,"work_id":"533367d5-3e26-4a1f-94ea-aa920afb1d2e","year":2004},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.434605Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:2d5bb89f425fde46cbb3123203857051e0f9e52b773d4d6bbd136ad9b32b9d8f","observation_id":"68bf2532-dc08-42c4-95d9-007f9994d42c","resolution":{"observed_at":"2026-08-11T13:16:55.531119Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2002.06176","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:16:55.370112Z","title":null,"venue":null,"work_id":"f5915213-df75-4a5d-a754-a60f60bd1227","year":2020},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.440138Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:8da3e3bce3b1b44ef6e6dd2edaa5d7cf049eced61aa80ceabaaf6b41bdc847dc","observation_id":"d86f6d27-1422-4326-8b3e-5d4acfbdc278","resolution":{"observed_at":"2026-08-11T13:16:55.379109Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:55.510370Z","title":null,"venue":null,"work_id":"c7e623ca-b86c-4de7-ac54-5de7676e47fa","year":2018},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.445722Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:3f38ee6ab7c661545fe0c9c40a391505cb41141ff9807a04e27ed4589d1669f1","observation_id":"8634c229-9076-4f09-9475-0630d8fea216","resolution":{"observed_at":"2026-08-11T13:16:55.515460Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:54.450544Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.450544Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:c6f3b1c6f9df994075209016e43d46a96561ae27a70af31439378c2726cf80bc","observation_id":"6ed4d572-2ab9-41ef-be0d-f2beff34aece","resolution":{"observed_at":"2026-08-11T13:16:54.450544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1606.08415","last_updated":"2023-06-06T01:53:32Z","snapshot_observed_at":"2026-08-13T19:48:28.322536Z","submitted_at":"2016-06-27T19:20:40Z","title":"Gaussian Error Linear Units (GELUs)","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.08415","snapshot_observed_at":"2026-08-11T13:16:54.455387Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.455387Z"},"links":{"cited_paper":"/paper/1606.08415","citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:225be3ed8a1b9aaa8d3171a4b0e4c66e2e64e4f454ce964c97b7b89810052bf2","observation_id":"f003ac6e-0b4e-4b1e-a301-80c04bc88243","resolution":{"observed_at":"2026-08-11T13:16:54.455387Z","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-11T13:16:54.461135Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.461135Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:6c957d4d819ad001a9f18953c813d205e59094bc48b2d75e61600facb64587bb","observation_id":"4b582d03-b099-4ba5-aab6-b665c6dec230","resolution":{"observed_at":"2026-08-11T13:16:54.461135Z","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.1016/b978-0-444-51624-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:16:54.628070Z","title":null,"venue":null,"work_id":"c471f947-1e90-4955-8db1-a015f5e06e6d","year":2014},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.466130Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:205af9647e85689cee730167dc10fa15363bfec4776c4b6d4d01426820a9010e","observation_id":"050f16cf-b1bb-4cf2-8a03-62e989b42a9b","resolution":{"observed_at":"2026-08-11T13:16:54.634085Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5937.10059","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:16:55.202281Z","title":null,"venue":null,"work_id":"b45f5fb5-b5a0-4204-af74-f6e644315eda","year":1982},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.470931Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:3c83124cff233cde5a068ac9b3e97b3e00433b5f61ae208a2199c0ff9b072c5a","observation_id":"cdc66929-b3d7-4b18-9c6b-3ae542177fab","resolution":{"observed_at":"2026-08-11T13:16:55.210518Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:55.494457Z","title":"Miller and G","venue":null,"work_id":"8848629d-05fb-429e-80ab-910288185ff3","year":2012},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.476391Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:b9081d9f4cc54de719890538473bc97e73a6d975c7b2a1db2cf4a2432d3b69c6","observation_id":"6c81c8c3-4f86-4c3d-ab7d-18b85417d888","resolution":{"observed_at":"2026-08-11T13:16:55.499700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:54.481083Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.481083Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:15e78559c2b643d6e31d639eef2614839cfecc3b4772ec7044c72c0ca4fe30a3","observation_id":"69151ab7-e19c-440e-bfa7-5ddca8bde8e4","resolution":{"observed_at":"2026-08-11T13:16:54.481083Z","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-11T13:16:55.478459Z","title":null,"venue":null,"work_id":"c890de81-054a-4f33-9bb6-463980fb29d8","year":2014},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.486286Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:5a7430a36484e154b7a15990ca2b538b55c2316c54086296dceab28fa5db3fa6","observation_id":"0c06b511-7f32-40a8-ab20-8c0c072c4452","resolution":{"observed_at":"2026-08-11T13:16:55.483406Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:55.462731Z","title":null,"venue":null,"work_id":"5654844c-0b33-4907-bda3-ac1a74c51a75","year":2019},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.491354Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:fa2286e6dbbd15a5ec7a9467de98f168f39bfdbf7e04aea0c007d20a269ab6cf","observation_id":"b49c5f77-85b9-4041-8a90-ab116a2dc399","resolution":{"observed_at":"2026-08-11T13:16:55.467568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:54.496363Z","title":"Kaufman, Vinod Grover, Emina Torlak, and Rastislav Bodik","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.496363Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:41af9bf3977ff72fb257aeab38867943cd55a840a403aef1a01d2dd8758ac866","observation_id":"f0ea1600-aebd-48b5-b76e-111bc7f09f81","resolution":{"observed_at":"2026-08-11T13:16:54.496363Z","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-11T13:16:54.501935Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.501935Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:2f3873106ad163cb99b340912f9876ec47614efeb178000603a50e43f9ee4539","observation_id":"3cb929c3-7918-4a4f-afaa-a65ddca28031","resolution":{"observed_at":"2026-08-11T13:16:54.501935Z","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-11T13:16:54.506878Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.506878Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:c1fc9dd112dd3edf5181e454b6d14660d48733c63977e28bf3267bbbc8367308","observation_id":"2191326f-5b00-4dda-90c3-92614c1e9eec","resolution":{"observed_at":"2026-08-11T13:16:54.506878Z","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":"8455.29685","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:16:54.939066Z","title":null,"venue":null,"work_id":"cea6a7b9-8977-404c-a382-ab95df2d04b0","year":2016},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.512119Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:d6616197e82f94819e7cc9d34892d9444ef9c39aa767a01d2141aebb4f5662d2","observation_id":"68c07c07-3f87-4da3-9cd9-401818dad975","resolution":{"observed_at":"2026-08-11T13:16:54.948376Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:54.516804Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.516804Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:e921ded05770da558ba1b8b694e3bcb8f1229d969c94f7f674d5204cdbc99fdc","observation_id":"530564b5-5633-4aad-9980-212a46c54947","resolution":{"observed_at":"2026-08-11T13:16:54.516804Z","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-11T13:16:54.522486Z","title":"Lee, James Bornholt, and Adrian Sampson","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.522486Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:7b0d75f2ac874bd461cc78a01aed65793b8ac646ea15e30fb15eaf4457e0fb0d","observation_id":"fe375c4d-67ac-4dac-85c4-5e56735b4240","resolution":{"observed_at":"2026-08-11T13:16:54.522486Z","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-11T13:16:55.435978Z","title":"Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N","venue":null,"work_id":"78f48eb5-0ace-4c0c-9486-f2b869d23399","year":2017},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.527416Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:d028a6e77c1f30a045daf5251f984d1724b20d77969c337f1ec5f3b7ef2705b7","observation_id":"ac3bdfe6-3346-4662-85c7-051e9438269f","resolution":{"observed_at":"2026-08-11T13:16:55.442090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:55.419209Z","title":null,"venue":null,"work_id":"887de958-ba09-4631-a3c7-1d6f0415dee7","year":null},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.531938Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:dcc64df89f61c44e76396b48867c596b49eac5e913a990d83b76cd025e96b215","observation_id":"a046aafc-2693-40ab-afd3-e9008d585bd8","resolution":{"observed_at":"2026-08-11T13:16:55.424484Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:54.541905Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.541905Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:8243947d67cacf3e850fdb95ed73de6b0ce58f59a9edfd7b2a9cb9e6d6c7b66d","observation_id":"c4468b4a-5d47-43f6-87bf-8cafe32c556b","resolution":{"observed_at":"2026-08-11T13:16:54.541905Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.03771","last_updated":"2020-07-14T03:42:34Z","snapshot_observed_at":"2026-07-06T08:27:58.343233Z","submitted_at":"2019-10-09T03:23:22Z","title":"HuggingFace's Transformers: State-of-the-art Natural Language Processing","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.03771","snapshot_observed_at":"2026-08-11T13:16:54.546532Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.546532Z"},"links":{"cited_paper":"/paper/1910.03771","citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:50bda78c65d9d6294f1b05139a6dc42a449bb57ec691ca64b92d64855ea79ec5","observation_id":"ddfcd1d5-4187-4fd8-9a54-f1cc4e723d01","resolution":{"observed_at":"2026-08-11T13:16:54.546532Z","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-11T13:16:54.551755Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.551755Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:0eb753b5a1378d3518fb9efe2470379e3dc270d3fc340427caf104a66dbca2e4","observation_id":"58daeea7-78c9-47d6-8830-4e5f8ed578af","resolution":{"observed_at":"2026-08-11T13:16:54.551755Z","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-11T13:16:54.556331Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.556331Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:9ac76aa56fb9d660a520c4f50e6974af8dfc12e5b550d46112461c9a1c890ed7","observation_id":"024c8a08-6f6d-4195-93d6-51b750a60333","resolution":{"observed_at":"2026-08-11T13:16:54.556331Z","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-11T13:16:55.401567Z","title":"Theory and Practice of Logic Programming 12, 1-2 (2012), 67–96","venue":null,"work_id":"ad3b7cc7-ba86-478d-8092-db8e942b0ac5","year":2012},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.536826Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:029e3cdb24810ad4a0d8a3f4155a3dad8c064ce188b7f3971e9d55c43559d960","observation_id":"09ed168e-98b3-4344-a792-9aa3e56a5c46","resolution":{"observed_at":"2026-08-11T13:16:55.407373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T13:16:54.424649Z","title":"Advances in Neural Information Processing Systems 35 (2022), 16344–16359","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-11T13:16:54.424649Z"},"links":{"citing_paper":"/paper/2412.13398"},"observation_digest":"sha256:273960a872aecab68c0e41f3bc4e45f04374b41009980cea44dada9937f2b4c3","observation_id":"04b78611-de3d-4728-b0de-c360eaab2398","resolution":{"observed_at":"2026-08-11T13:16:54.424649Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.13398","last_updated":"2024-12-18T00:29:09Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-13T22:51:28.672952Z","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":24,"verified_exact":1,"verified_fuzzy":3},"total_outbound_references":31},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2412.13398."}