{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:WEOZNR6WZTAZ2AOUCLGJL2A7IE","short_pith_number":"pith:WEOZNR6W","canonical_record":{"source":{"id":"2412.13398","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-18T00:29:09Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"62bd6d15b5204bfadc2b19c8668c40856b37475f7d45409e1a6c930809e123f4","abstract_canon_sha256":"e3c4ea2930fd0188ec6f299dba9483422af6231a21215c37ff329a8e112f80ed"},"schema_version":"1.0"},"canonical_sha256":"b11d96c7d6ccc19d01d412cc95e81f41211d76cbc6c741ad5ddfaa5a42460300","source":{"kind":"arxiv","id":"2412.13398","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.13398","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"arxiv_version","alias_value":"2412.13398v1","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.13398","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"pith_short_12","alias_value":"WEOZNR6WZTAZ","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"pith_short_16","alias_value":"WEOZNR6WZTAZ2AOU","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"pith_short_8","alias_value":"WEOZNR6W","created_at":"2026-07-05T09:51:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:WEOZNR6WZTAZ2AOUCLGJL2A7IE","target":"record","payload":{"canonical_record":{"source":{"id":"2412.13398","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-18T00:29:09Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"62bd6d15b5204bfadc2b19c8668c40856b37475f7d45409e1a6c930809e123f4","abstract_canon_sha256":"e3c4ea2930fd0188ec6f299dba9483422af6231a21215c37ff329a8e112f80ed"},"schema_version":"1.0"},"canonical_sha256":"b11d96c7d6ccc19d01d412cc95e81f41211d76cbc6c741ad5ddfaa5a42460300","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:51:01.043756Z","signature_b64":"8VF2vfBiqhOdtNXnGKJILuCqksA40kfVE2pRy+uFtOatWipAgN/ARBGOGxdk6BVc7Rv5wzr7pecQTaCHKy67Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b11d96c7d6ccc19d01d412cc95e81f41211d76cbc6c741ad5ddfaa5a42460300","last_reissued_at":"2026-07-05T09:51:01.043236Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:51:01.043236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.13398","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:51:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Xb1Goc7zozGO0IDq1lbDkkisPD6ViN9WiytB91S9FVLX/wV99QWdMy4hatwOUOJybE2mK7OT8ecJcVcRgUWDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T07:04:10.690905Z"},"content_sha256":"3f2ae5d352270ea74d02e8fd99e36f6938ae981998a85b1fa68ab8398652c4b7","schema_version":"1.0","event_id":"sha256:3f2ae5d352270ea74d02e8fd99e36f6938ae981998a85b1fa68ab8398652c4b7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:WEOZNR6WZTAZ2AOUCLGJL2A7IE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.PL","authors_text":"Alex Collins, Bin Fan, Joseph W. Cutler, Mahesh Ravishankar, Vinod Grover","submitted_at":"2024-12-18T00:29:09Z","abstract_excerpt":"PyPM is a Python-based domain specific language (DSL) for building rewrite-based optimization passes on machine learning computation graphs. Users define individual optimizations by writing (a) patterns that match subgraphs of a computation graph and (b) corresponding rules which replace a matched subgraph with an optimized kernel. PyPM is distinguished from the many other DSLs for defining rewriting passes by its complex and novel pattern language which borrows concepts from logic programming. PyPM patterns can be recursive, nondeterminstic, and can require checking domain-specific constraint"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.13398","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.13398/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:51:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y2PPbVN3ywzqa3oMprDA8fy4i4xJTB//JH/s4H+OyNK0LpCEKXpvPq6lAUYgotTZ/WPvicyXkFKh0gpWeAvXBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T07:04:10.691699Z"},"content_sha256":"30e423874a4d57f640a5f61426d2cfea3d01ecd92d597b1f7a76ff1c7324f151","schema_version":"1.0","event_id":"sha256:30e423874a4d57f640a5f61426d2cfea3d01ecd92d597b1f7a76ff1c7324f151"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WEOZNR6WZTAZ2AOUCLGJL2A7IE/bundle.json","state_url":"https://pith.science/pith/WEOZNR6WZTAZ2AOUCLGJL2A7IE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WEOZNR6WZTAZ2AOUCLGJL2A7IE/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-08T07:04:10Z","links":{"resolver":"https://pith.science/pith/WEOZNR6WZTAZ2AOUCLGJL2A7IE","bundle":"https://pith.science/pith/WEOZNR6WZTAZ2AOUCLGJL2A7IE/bundle.json","state":"https://pith.science/pith/WEOZNR6WZTAZ2AOUCLGJL2A7IE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WEOZNR6WZTAZ2AOUCLGJL2A7IE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:WEOZNR6WZTAZ2AOUCLGJL2A7IE","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e3c4ea2930fd0188ec6f299dba9483422af6231a21215c37ff329a8e112f80ed","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-18T00:29:09Z","title_canon_sha256":"62bd6d15b5204bfadc2b19c8668c40856b37475f7d45409e1a6c930809e123f4"},"schema_version":"1.0","source":{"id":"2412.13398","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.13398","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"arxiv_version","alias_value":"2412.13398v1","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.13398","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"pith_short_12","alias_value":"WEOZNR6WZTAZ","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"pith_short_16","alias_value":"WEOZNR6WZTAZ2AOU","created_at":"2026-07-05T09:51:01Z"},{"alias_kind":"pith_short_8","alias_value":"WEOZNR6W","created_at":"2026-07-05T09:51:01Z"}],"graph_snapshots":[{"event_id":"sha256:30e423874a4d57f640a5f61426d2cfea3d01ecd92d597b1f7a76ff1c7324f151","target":"graph","created_at":"2026-07-05T09:51:01Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.13398/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"PyPM is a Python-based domain specific language (DSL) for building rewrite-based optimization passes on machine learning computation graphs. Users define individual optimizations by writing (a) patterns that match subgraphs of a computation graph and (b) corresponding rules which replace a matched subgraph with an optimized kernel. PyPM is distinguished from the many other DSLs for defining rewriting passes by its complex and novel pattern language which borrows concepts from logic programming. PyPM patterns can be recursive, nondeterminstic, and can require checking domain-specific constraint","authors_text":"Alex Collins, Bin Fan, Joseph W. Cutler, Mahesh Ravishankar, Vinod Grover","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-18T00:29:09Z","title":"Pattern Matching in AI Compilers and its Formalization (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.13398","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3f2ae5d352270ea74d02e8fd99e36f6938ae981998a85b1fa68ab8398652c4b7","target":"record","created_at":"2026-07-05T09:51:01Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e3c4ea2930fd0188ec6f299dba9483422af6231a21215c37ff329a8e112f80ed","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-18T00:29:09Z","title_canon_sha256":"62bd6d15b5204bfadc2b19c8668c40856b37475f7d45409e1a6c930809e123f4"},"schema_version":"1.0","source":{"id":"2412.13398","kind":"arxiv","version":1}},"canonical_sha256":"b11d96c7d6ccc19d01d412cc95e81f41211d76cbc6c741ad5ddfaa5a42460300","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b11d96c7d6ccc19d01d412cc95e81f41211d76cbc6c741ad5ddfaa5a42460300","first_computed_at":"2026-07-05T09:51:01.043236Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:51:01.043236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8VF2vfBiqhOdtNXnGKJILuCqksA40kfVE2pRy+uFtOatWipAgN/ARBGOGxdk6BVc7Rv5wzr7pecQTaCHKy67Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:51:01.043756Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.13398","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f2ae5d352270ea74d02e8fd99e36f6938ae981998a85b1fa68ab8398652c4b7","sha256:30e423874a4d57f640a5f61426d2cfea3d01ecd92d597b1f7a76ff1c7324f151"],"state_sha256":"8a39466b80ae1b74dcebb9f29352ce3ed6dff724ab28a0999103073a8b22b1c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WkFUucmC0sLLbs74QpcK1esJV4URehSMLDTRvshN9cDZcFdXrjALOTNAEwqvOAS2hKI/xYSG65sk6fvlbcNyBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T07:04:10.696684Z","bundle_sha256":"2623c3dd93029a38190eb7da3576d44b0e5acf5fdef7ef71b39caa602068128c"}}