{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UHY4OOFKM5MWVIMLZ5EMATCTR5","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":"7e6de96f5b2733b00272522bad55eb69d14770eba6a66c7a2958a764eb2e8971","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-28T12:00:10Z","title_canon_sha256":"ecd47ef4147227ee99954465db1c3fb61adcfdf655d6556b24b182737e76eaf4"},"schema_version":"1.0","source":{"id":"2504.19705","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.19705","created_at":"2026-07-05T10:55:01Z"},{"alias_kind":"arxiv_version","alias_value":"2504.19705v1","created_at":"2026-07-05T10:55:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.19705","created_at":"2026-07-05T10:55:01Z"},{"alias_kind":"pith_short_12","alias_value":"UHY4OOFKM5MW","created_at":"2026-07-05T10:55:01Z"},{"alias_kind":"pith_short_16","alias_value":"UHY4OOFKM5MWVIML","created_at":"2026-07-05T10:55:01Z"},{"alias_kind":"pith_short_8","alias_value":"UHY4OOFK","created_at":"2026-07-05T10:55:01Z"}],"graph_snapshots":[{"event_id":"sha256:3d40c381df7ef7b66069f2d1be833825ae94db1f5a70fbd946f11dc20492cefe","target":"graph","created_at":"2026-07-05T10:55: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/2504.19705/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Domain-specific languages (DSLs) for machine learning are revolutionizing the speed and efficiency of machine learning workloads as they enable users easy access to high-performance compiler optimizations and accelerators. However, to take advantage of these capabilities, a user must first translate their legacy code from the language it is currently written in, into the new DSL. The process of automatically lifting code into these DSLs has been identified by several recent works, which propose program synthesis as a solution. However, synthesis is expensive and struggles to scale without care","authors_text":"Alexander Brauckmann, Elizabeth Polgreen, Jos\\'e Wesley de Souza Magalh\\~aes, Michael F. P. O'Boyle, Yixuan Li","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-28T12:00:10Z","title":"Guided Tensor Lifting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.19705","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:4bff02b5958e3a2a24f7daebe9a61dea4272084f55d5182e5c6bb6e50295d7c8","target":"record","created_at":"2026-07-05T10:55: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":"7e6de96f5b2733b00272522bad55eb69d14770eba6a66c7a2958a764eb2e8971","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-28T12:00:10Z","title_canon_sha256":"ecd47ef4147227ee99954465db1c3fb61adcfdf655d6556b24b182737e76eaf4"},"schema_version":"1.0","source":{"id":"2504.19705","kind":"arxiv","version":1}},"canonical_sha256":"a1f1c738aa67596aa18bcf48c04c538f64c745003df0eb6ea902350969cb7435","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1f1c738aa67596aa18bcf48c04c538f64c745003df0eb6ea902350969cb7435","first_computed_at":"2026-07-05T10:55:01.686326Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:55:01.686326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xUu5jz+9d/bZq6QcLBdYnDHaMfzRoR0l5WCbLL7H7AzK5vIw9lou8/HqsBKOqQhn/bvFq2Gq9tOcLqCZhrXgCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:55:01.686803Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.19705","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4bff02b5958e3a2a24f7daebe9a61dea4272084f55d5182e5c6bb6e50295d7c8","sha256:3d40c381df7ef7b66069f2d1be833825ae94db1f5a70fbd946f11dc20492cefe"],"state_sha256":"109951e4a597d1afeefe6f688815ca8c23f20196cd48f1fd0afb19c68023a583"}