{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YIINZT7YEPVWR4V7HWXVOQLSVZ","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":"296ec1be4cc816a29b45e9fe3c0bf420a2f13c96274070eee5d4e34f1ef2ecc1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-16T19:15:17Z","title_canon_sha256":"d0a09509c990f99d90129f45119536e19ef7b3ec051e70af3b88fd1a63d645e1"},"schema_version":"1.0","source":{"id":"2606.18421","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.18421","created_at":"2026-06-19T16:11:00Z"},{"alias_kind":"arxiv_version","alias_value":"2606.18421v1","created_at":"2026-06-19T16:11:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.18421","created_at":"2026-06-19T16:11:00Z"},{"alias_kind":"pith_short_12","alias_value":"YIINZT7YEPVW","created_at":"2026-06-19T16:11:00Z"},{"alias_kind":"pith_short_16","alias_value":"YIINZT7YEPVWR4V7","created_at":"2026-06-19T16:11:00Z"},{"alias_kind":"pith_short_8","alias_value":"YIINZT7Y","created_at":"2026-06-19T16:11:00Z"}],"graph_snapshots":[{"event_id":"sha256:05d60f6178f22e3711190b7ddb663a4dc41ab5c11c78c02c3c4090cdad06f6d6","target":"graph","created_at":"2026-06-19T16:11: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/2606.18421/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The growing deployment of artificial intelligence (AI) necessitates robust deep learning (DL) compilers, such as TVM and ONNX-MLIR. These compilers take as input high-level AI models, lower them through multi-layer transformations, and specialize them to diverse hardware. Testing such compilers is uniquely challenging as correctness depends on implicit constraints embedded throughout the compilation stack. Existing testing approaches largely take type constraints to restrict input model generation and therefore emphasize type validation and monitor compilation crashes or coverage gains. This f","authors_text":"Ben Limpanukorn, Jiyuan Wang, Miryung Kim, Qian Zhang, Ronak Badhe, Yuxin Qiu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-16T19:15:17Z","title":"Finding Compiler-Platform Interaction Bugs in Deep Learning Pipelines via Cross-Layer Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.18421","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:aaf9ac898477f434402147bd563efa6cbaf158b01a7127e821fafb761a5c6eb1","target":"record","created_at":"2026-06-19T16:11: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":"296ec1be4cc816a29b45e9fe3c0bf420a2f13c96274070eee5d4e34f1ef2ecc1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-16T19:15:17Z","title_canon_sha256":"d0a09509c990f99d90129f45119536e19ef7b3ec051e70af3b88fd1a63d645e1"},"schema_version":"1.0","source":{"id":"2606.18421","kind":"arxiv","version":1}},"canonical_sha256":"c210dccff823eb68f2bf3daf574172ae6b69ad1085471e6078ddac7f9f0e3ed2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c210dccff823eb68f2bf3daf574172ae6b69ad1085471e6078ddac7f9f0e3ed2","first_computed_at":"2026-06-19T16:11:00.858319Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:11:00.858319Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BZPDhq+kmAYUsdUPfQtuDbsHaKJp3WR7H5Sq+Xs8XhHD7zpojPPvX4jX2ObHCnHjyIWQlRY9hwgFYmmEDsoHCQ==","signature_status":"signed_v1","signed_at":"2026-06-19T16:11:00.858658Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.18421","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aaf9ac898477f434402147bd563efa6cbaf158b01a7127e821fafb761a5c6eb1","sha256:05d60f6178f22e3711190b7ddb663a4dc41ab5c11c78c02c3c4090cdad06f6d6"],"state_sha256":"260f04c5f9a4954bf00cbb2ae59dbd8b2aaa909e5b57b6aeab6e74a574e31718"}