{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:GY5FXJIDKIWTETDH4Q6BNWBKOQ","short_pith_number":"pith:GY5FXJID","canonical_record":{"source":{"id":"2606.06747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-04T22:01:30Z","cross_cats_sorted":[],"title_canon_sha256":"d5102ca6b81ea46d1d0f741b8d97e71d92b29281285730bad1846584059ebe8a","abstract_canon_sha256":"1d8e0034b267230ab2f00ec112004698aaf510bec884942e5f9676c8603de984"},"schema_version":"1.0"},"canonical_sha256":"363a5ba503522d324c67e43c16d82a7423e5d63286e099a00c2bcb4530a67169","source":{"kind":"arxiv","id":"2606.06747","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.06747","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.06747v1","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.06747","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"GY5FXJIDKIWT","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"GY5FXJIDKIWTETDH","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"GY5FXJID","created_at":"2026-06-08T01:04:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:GY5FXJIDKIWTETDH4Q6BNWBKOQ","target":"record","payload":{"canonical_record":{"source":{"id":"2606.06747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-04T22:01:30Z","cross_cats_sorted":[],"title_canon_sha256":"d5102ca6b81ea46d1d0f741b8d97e71d92b29281285730bad1846584059ebe8a","abstract_canon_sha256":"1d8e0034b267230ab2f00ec112004698aaf510bec884942e5f9676c8603de984"},"schema_version":"1.0"},"canonical_sha256":"363a5ba503522d324c67e43c16d82a7423e5d63286e099a00c2bcb4530a67169","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:04:25.906518Z","signature_b64":"gNht0FU0365rT0Cw/VBewCgIy6QvXfJT4D9kQZGZiTgJfxV5XfsZi9O0NnGenRn7jrrcfNL6FBG3M0op4/R6Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"363a5ba503522d324c67e43c16d82a7423e5d63286e099a00c2bcb4530a67169","last_reissued_at":"2026-06-08T01:04:25.905710Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:04:25.905710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.06747","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-06-08T01:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y1p35l2TkVOhaDjNKmYO64ZNoeBQpXmFjgbiIoE3y+gwDv+VcdUzZ3N6oB68+vzPD1PTMt5oysoJ5Wc/swSCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T21:53:39.633195Z"},"content_sha256":"d7fe4c2c48150e553847812760c6f2fe28acc92b425486415daaf8c680374f8e","schema_version":"1.0","event_id":"sha256:d7fe4c2c48150e553847812760c6f2fe28acc92b425486415daaf8c680374f8e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:GY5FXJIDKIWTETDH4Q6BNWBKOQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ben Limpanukorn, Jiyuan Wang, Miryung Kim, Qian Zhang, Seongmin Lee, Yuxin Qiu","submitted_at":"2026-06-04T22:01:30Z","abstract_excerpt":"Deep learning (DL) compilers such as TVM and ONNX-MLIR lower tensor computation graphs into optimized executables for target backends. Testing these AI compilers has made substantial progress in generating well-formed inputs in the context of fuzzing; however, such generation alone does not catch semantic drifts from algebraic invariants that graph transformations and optimizations are expected to preserve. While tensor algebra has been studied for decades, it has not been transformed into executable property-based tests (PBTs) for DL compilers because doing so requires jointly constructing op"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.06747","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/2606.06747/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-06-08T01:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fjHJp4/Q1/q4eqbsHLUcR0fa6MdgkePA4C9bXAs7d8t8BwbfFCZztwVHYNR5fjRU+8xTFCei/RmclYKPFRxsBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T21:53:39.633569Z"},"content_sha256":"8d72b2b1de7c1f1a398a8e40ea6a33e5e8bcb7eaef551c68b5859da9a638efd5","schema_version":"1.0","event_id":"sha256:8d72b2b1de7c1f1a398a8e40ea6a33e5e8bcb7eaef551c68b5859da9a638efd5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GY5FXJIDKIWTETDH4Q6BNWBKOQ/bundle.json","state_url":"https://pith.science/pith/GY5FXJIDKIWTETDH4Q6BNWBKOQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GY5FXJIDKIWTETDH4Q6BNWBKOQ/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-06-08T21:53:39Z","links":{"resolver":"https://pith.science/pith/GY5FXJIDKIWTETDH4Q6BNWBKOQ","bundle":"https://pith.science/pith/GY5FXJIDKIWTETDH4Q6BNWBKOQ/bundle.json","state":"https://pith.science/pith/GY5FXJIDKIWTETDH4Q6BNWBKOQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GY5FXJIDKIWTETDH4Q6BNWBKOQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GY5FXJIDKIWTETDH4Q6BNWBKOQ","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":"1d8e0034b267230ab2f00ec112004698aaf510bec884942e5f9676c8603de984","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-04T22:01:30Z","title_canon_sha256":"d5102ca6b81ea46d1d0f741b8d97e71d92b29281285730bad1846584059ebe8a"},"schema_version":"1.0","source":{"id":"2606.06747","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.06747","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.06747v1","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.06747","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"GY5FXJIDKIWT","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"GY5FXJIDKIWTETDH","created_at":"2026-06-08T01:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"GY5FXJID","created_at":"2026-06-08T01:04:25Z"}],"graph_snapshots":[{"event_id":"sha256:8d72b2b1de7c1f1a398a8e40ea6a33e5e8bcb7eaef551c68b5859da9a638efd5","target":"graph","created_at":"2026-06-08T01:04:25Z","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/2606.06747/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep learning (DL) compilers such as TVM and ONNX-MLIR lower tensor computation graphs into optimized executables for target backends. Testing these AI compilers has made substantial progress in generating well-formed inputs in the context of fuzzing; however, such generation alone does not catch semantic drifts from algebraic invariants that graph transformations and optimizations are expected to preserve. While tensor algebra has been studied for decades, it has not been transformed into executable property-based tests (PBTs) for DL compilers because doing so requires jointly constructing op","authors_text":"Ben Limpanukorn, Jiyuan Wang, Miryung Kim, Qian Zhang, Seongmin Lee, Yuxin Qiu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-04T22:01:30Z","title":"Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.06747","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:d7fe4c2c48150e553847812760c6f2fe28acc92b425486415daaf8c680374f8e","target":"record","created_at":"2026-06-08T01:04:25Z","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":"1d8e0034b267230ab2f00ec112004698aaf510bec884942e5f9676c8603de984","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-04T22:01:30Z","title_canon_sha256":"d5102ca6b81ea46d1d0f741b8d97e71d92b29281285730bad1846584059ebe8a"},"schema_version":"1.0","source":{"id":"2606.06747","kind":"arxiv","version":1}},"canonical_sha256":"363a5ba503522d324c67e43c16d82a7423e5d63286e099a00c2bcb4530a67169","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"363a5ba503522d324c67e43c16d82a7423e5d63286e099a00c2bcb4530a67169","first_computed_at":"2026-06-08T01:04:25.905710Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-08T01:04:25.905710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gNht0FU0365rT0Cw/VBewCgIy6QvXfJT4D9kQZGZiTgJfxV5XfsZi9O0NnGenRn7jrrcfNL6FBG3M0op4/R6Bg==","signature_status":"signed_v1","signed_at":"2026-06-08T01:04:25.906518Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.06747","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7fe4c2c48150e553847812760c6f2fe28acc92b425486415daaf8c680374f8e","sha256:8d72b2b1de7c1f1a398a8e40ea6a33e5e8bcb7eaef551c68b5859da9a638efd5"],"state_sha256":"85b5d2c7354d49d258e89fecf8741480c3d61afeff9ab8064d2d4e21663c5d2d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9ZDDbhilhQbuW3+d6IRqwVdSShfGnD98smJ9Tzt6gN22VmSonVR4CUlDHpkrFODoWvpOjWBpPoBJkRtF+sQUDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T21:53:39.635478Z","bundle_sha256":"c958f61334e5089a5e87d4cd84999e525c01addf4681f6e5ae345819447bc79b"}}