{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:AC74XNPKGR37PKHSZ6KTFFPOIV","short_pith_number":"pith:AC74XNPK","canonical_record":{"source":{"id":"2101.01332","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-01-05T03:30:35Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"195e714303c3b4c308c4ce64019583201944e147bb1e483fa2d7f850374eb8be","abstract_canon_sha256":"c00067af894d479c0c0466b13aa0943e394c9e72691d43f822731386abe28c00"},"schema_version":"1.0"},"canonical_sha256":"00bfcbb5ea3477f7a8f2cf953295ee45525f7131cfd436df908dbd93a957f6fb","source":{"kind":"arxiv","id":"2101.01332","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.01332","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"arxiv_version","alias_value":"2101.01332v2","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.01332","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"pith_short_12","alias_value":"AC74XNPKGR37","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"pith_short_16","alias_value":"AC74XNPKGR37PKHS","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"pith_short_8","alias_value":"AC74XNPK","created_at":"2026-07-05T02:24:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:AC74XNPKGR37PKHSZ6KTFFPOIV","target":"record","payload":{"canonical_record":{"source":{"id":"2101.01332","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-01-05T03:30:35Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"195e714303c3b4c308c4ce64019583201944e147bb1e483fa2d7f850374eb8be","abstract_canon_sha256":"c00067af894d479c0c0466b13aa0943e394c9e72691d43f822731386abe28c00"},"schema_version":"1.0"},"canonical_sha256":"00bfcbb5ea3477f7a8f2cf953295ee45525f7131cfd436df908dbd93a957f6fb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:24:00.456492Z","signature_b64":"TWGpj+pBUtMrU1b2MieOmrWbCO8mb/2nLx9Aqmp5bURgcb4jZcBd8ZmqSjXQdxAOjQTpl+3AXQcG+CsVa1YuBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00bfcbb5ea3477f7a8f2cf953295ee45525f7131cfd436df908dbd93a957f6fb","last_reissued_at":"2026-07-05T02:24:00.456044Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:24:00.456044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2101.01332","source_version":2,"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-05T02:24:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KrtX2BMLhdG3nA4iHpsOtG6ZE5I6xFSw0Cizs1IUr/D7y9bYndUHc27DEye+x73sYN9/YO1JlxoeUsaDsO/dAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:02:50.365995Z"},"content_sha256":"417878b6ef467761175b9163f291f407bd449f931579bf740c385887b0b53f29","schema_version":"1.0","event_id":"sha256:417878b6ef467761175b9163f291f407bd449f931579bf740c385887b0b53f29"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:AC74XNPKGR37PKHSZ6KTFFPOIV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equality Saturation for Tensor Graph Superoptimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.AI","authors_text":"Jacques Pienaar, Max Willsey, Phitchaya Mangpo Phothilimtha, Sudip Roy, Yichen Yang, Yisu Remy Wang","submitted_at":"2021-01-05T03:30:35Z","abstract_excerpt":"One of the major optimizations employed in deep learning frameworks is graph rewriting. Production frameworks rely on heuristics to decide if rewrite rules should be applied and in which order. Prior research has shown that one can discover more optimal tensor computation graphs if we search for a better sequence of substitutions instead of relying on heuristics. However, we observe that existing approaches for tensor graph superoptimization both in production and research frameworks apply substitutions in a sequential manner. Such sequential search methods are sensitive to the order in which "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.01332","kind":"arxiv","version":2},"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/2101.01332/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-05T02:24:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EXs5VyQdubHJOJuv1/tH+5H6oVkoZ4UA/mrW5QjkOoqZg41SaM6UuIYVBUL7wAt686EPSzHb03bNl3RamP9GCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:02:50.366371Z"},"content_sha256":"68b9179c8880885592136e4ebb456e98ed53a674cf3b6dc15d33ca0a6ea0e4a0","schema_version":"1.0","event_id":"sha256:68b9179c8880885592136e4ebb456e98ed53a674cf3b6dc15d33ca0a6ea0e4a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AC74XNPKGR37PKHSZ6KTFFPOIV/bundle.json","state_url":"https://pith.science/pith/AC74XNPKGR37PKHSZ6KTFFPOIV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AC74XNPKGR37PKHSZ6KTFFPOIV/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-08-20T14:02:50Z","links":{"resolver":"https://pith.science/pith/AC74XNPKGR37PKHSZ6KTFFPOIV","bundle":"https://pith.science/pith/AC74XNPKGR37PKHSZ6KTFFPOIV/bundle.json","state":"https://pith.science/pith/AC74XNPKGR37PKHSZ6KTFFPOIV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AC74XNPKGR37PKHSZ6KTFFPOIV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:AC74XNPKGR37PKHSZ6KTFFPOIV","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":"c00067af894d479c0c0466b13aa0943e394c9e72691d43f822731386abe28c00","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-01-05T03:30:35Z","title_canon_sha256":"195e714303c3b4c308c4ce64019583201944e147bb1e483fa2d7f850374eb8be"},"schema_version":"1.0","source":{"id":"2101.01332","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.01332","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"arxiv_version","alias_value":"2101.01332v2","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.01332","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"pith_short_12","alias_value":"AC74XNPKGR37","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"pith_short_16","alias_value":"AC74XNPKGR37PKHS","created_at":"2026-07-05T02:24:00Z"},{"alias_kind":"pith_short_8","alias_value":"AC74XNPK","created_at":"2026-07-05T02:24:00Z"}],"graph_snapshots":[{"event_id":"sha256:68b9179c8880885592136e4ebb456e98ed53a674cf3b6dc15d33ca0a6ea0e4a0","target":"graph","created_at":"2026-07-05T02:24:00Z","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/2101.01332/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"One of the major optimizations employed in deep learning frameworks is graph rewriting. Production frameworks rely on heuristics to decide if rewrite rules should be applied and in which order. Prior research has shown that one can discover more optimal tensor computation graphs if we search for a better sequence of substitutions instead of relying on heuristics. However, we observe that existing approaches for tensor graph superoptimization both in production and research frameworks apply substitutions in a sequential manner. Such sequential search methods are sensitive to the order in which ","authors_text":"Jacques Pienaar, Max Willsey, Phitchaya Mangpo Phothilimtha, Sudip Roy, Yichen Yang, Yisu Remy Wang","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-01-05T03:30:35Z","title":"Equality Saturation for Tensor Graph Superoptimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.01332","kind":"arxiv","version":2},"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:417878b6ef467761175b9163f291f407bd449f931579bf740c385887b0b53f29","target":"record","created_at":"2026-07-05T02:24:00Z","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":"c00067af894d479c0c0466b13aa0943e394c9e72691d43f822731386abe28c00","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-01-05T03:30:35Z","title_canon_sha256":"195e714303c3b4c308c4ce64019583201944e147bb1e483fa2d7f850374eb8be"},"schema_version":"1.0","source":{"id":"2101.01332","kind":"arxiv","version":2}},"canonical_sha256":"00bfcbb5ea3477f7a8f2cf953295ee45525f7131cfd436df908dbd93a957f6fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00bfcbb5ea3477f7a8f2cf953295ee45525f7131cfd436df908dbd93a957f6fb","first_computed_at":"2026-07-05T02:24:00.456044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:24:00.456044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TWGpj+pBUtMrU1b2MieOmrWbCO8mb/2nLx9Aqmp5bURgcb4jZcBd8ZmqSjXQdxAOjQTpl+3AXQcG+CsVa1YuBg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:24:00.456492Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.01332","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:417878b6ef467761175b9163f291f407bd449f931579bf740c385887b0b53f29","sha256:68b9179c8880885592136e4ebb456e98ed53a674cf3b6dc15d33ca0a6ea0e4a0"],"state_sha256":"f5ece79a554e60f3f5842bbe2dbb52f4f4e1d3988840fb94bcb97eb5004f4d93"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h1JkEAiKLLF/hfoo7BtXQH931ZKg1i1Nd/BhB1Sbs2ZTfPawS7ONMxuNuDVolliBDeTHB+goterYRr9aKqpjCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T14:02:50.368801Z","bundle_sha256":"a884f83adced9f20272744fdaa90f5997056f437c8658c85f590a76ff9d3cae2"}}