{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:VEPN4425RIJSD7AFNAHTJLDERN","short_pith_number":"pith:VEPN4425","canonical_record":{"source":{"id":"2607.00555","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T07:44:25Z","cross_cats_sorted":[],"title_canon_sha256":"1ec3b14c986357890483ebc950402bd0113cd54bc8aefdb6d7a9221ac85047d6","abstract_canon_sha256":"5a15772471cbeeced85a622fd28230c8c2b260c9b8e549aa8ca469a6beed0c68"},"schema_version":"1.0"},"canonical_sha256":"a91ede735d8a1321fc05680f34ac648b78de9a71a19830c4d5ae6d59fe6ff030","source":{"kind":"arxiv","id":"2607.00555","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.00555","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.00555v1","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.00555","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"VEPN4425RIJS","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"pith_short_16","alias_value":"VEPN4425RIJSD7AF","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"pith_short_8","alias_value":"VEPN4425","created_at":"2026-07-02T01:17:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:VEPN4425RIJSD7AFNAHTJLDERN","target":"record","payload":{"canonical_record":{"source":{"id":"2607.00555","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T07:44:25Z","cross_cats_sorted":[],"title_canon_sha256":"1ec3b14c986357890483ebc950402bd0113cd54bc8aefdb6d7a9221ac85047d6","abstract_canon_sha256":"5a15772471cbeeced85a622fd28230c8c2b260c9b8e549aa8ca469a6beed0c68"},"schema_version":"1.0"},"canonical_sha256":"a91ede735d8a1321fc05680f34ac648b78de9a71a19830c4d5ae6d59fe6ff030","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-02T01:17:47.556724Z","signature_b64":"y1UP43b4kMS2D/KH8bU8jiu/hwa5uZRk0LrvxW2iwMbcPOa3sVJHwKuoviYhjxQpjER/MV65YFhUTZBAXQGUBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a91ede735d8a1321fc05680f34ac648b78de9a71a19830c4d5ae6d59fe6ff030","last_reissued_at":"2026-07-02T01:17:47.556230Z","signature_status":"signed_v1","first_computed_at":"2026-07-02T01:17:47.556230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.00555","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-02T01:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VvvPeCFx4tsmUaO+lutcWJbBasgNOJZhU1VMxwS8G3/uAv31xzyezk9dGsdB6HkZ9jPNEauMXOneXRG/R8JJDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T16:19:48.073794Z"},"content_sha256":"6bec56184f0f74e575f1320671bf02ff6cb9fe4834d0cb7b0279e98f8c905242","schema_version":"1.0","event_id":"sha256:6bec56184f0f74e575f1320671bf02ff6cb9fe4834d0cb7b0279e98f8c905242"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:VEPN4425RIJSD7AFNAHTJLDERN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rise From The Ashes: LLM-based Static Analysis for Deep Learning Framework Bugs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chunrong Fang, Haifeng Lin, Hongyu Liu, Jiawei Liu, Shaoyu Yang, Wei Cheng, Xiang Chen, Yiyu Zhang, Zhenyu Chen","submitted_at":"2026-07-01T07:44:25Z","abstract_excerpt":"Deep learning (DL) frameworks are critical AI infrastructures that often hide bugs with serious security implications. While dynamic approaches such as fuzzing are effective in uncovering these bugs, they require real test execution and incur high computational costs. Static analysis is a natural complement because it can detect bugs without runtime execution, offering fast and scalable testing. Unfortunately, there is still limited work targeting static analysis for DL frameworks due to their multilingual architectures and tensor-related program state.\n  We present Phoenix, the first LLM-base"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.00555","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/2607.00555/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-02T01:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LIueHB0IqYpYT71C8NDKc8I82YgD9wRVs0EaPT9OqI1kYZHzGu7rF09/SHIzpq+VupImSakloYjAcafC3J46CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T16:19:48.074167Z"},"content_sha256":"4803eadd9b8031ec3a917771fdc253a2a233817bc4acc1c0a67f385d65ba4f04","schema_version":"1.0","event_id":"sha256:4803eadd9b8031ec3a917771fdc253a2a233817bc4acc1c0a67f385d65ba4f04"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VEPN4425RIJSD7AFNAHTJLDERN/bundle.json","state_url":"https://pith.science/pith/VEPN4425RIJSD7AFNAHTJLDERN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VEPN4425RIJSD7AFNAHTJLDERN/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-08T16:19:48Z","links":{"resolver":"https://pith.science/pith/VEPN4425RIJSD7AFNAHTJLDERN","bundle":"https://pith.science/pith/VEPN4425RIJSD7AFNAHTJLDERN/bundle.json","state":"https://pith.science/pith/VEPN4425RIJSD7AFNAHTJLDERN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VEPN4425RIJSD7AFNAHTJLDERN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VEPN4425RIJSD7AFNAHTJLDERN","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":"5a15772471cbeeced85a622fd28230c8c2b260c9b8e549aa8ca469a6beed0c68","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T07:44:25Z","title_canon_sha256":"1ec3b14c986357890483ebc950402bd0113cd54bc8aefdb6d7a9221ac85047d6"},"schema_version":"1.0","source":{"id":"2607.00555","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.00555","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.00555v1","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.00555","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"VEPN4425RIJS","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"pith_short_16","alias_value":"VEPN4425RIJSD7AF","created_at":"2026-07-02T01:17:47Z"},{"alias_kind":"pith_short_8","alias_value":"VEPN4425","created_at":"2026-07-02T01:17:47Z"}],"graph_snapshots":[{"event_id":"sha256:4803eadd9b8031ec3a917771fdc253a2a233817bc4acc1c0a67f385d65ba4f04","target":"graph","created_at":"2026-07-02T01:17:47Z","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/2607.00555/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep learning (DL) frameworks are critical AI infrastructures that often hide bugs with serious security implications. While dynamic approaches such as fuzzing are effective in uncovering these bugs, they require real test execution and incur high computational costs. Static analysis is a natural complement because it can detect bugs without runtime execution, offering fast and scalable testing. Unfortunately, there is still limited work targeting static analysis for DL frameworks due to their multilingual architectures and tensor-related program state.\n  We present Phoenix, the first LLM-base","authors_text":"Chunrong Fang, Haifeng Lin, Hongyu Liu, Jiawei Liu, Shaoyu Yang, Wei Cheng, Xiang Chen, Yiyu Zhang, Zhenyu Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T07:44:25Z","title":"Rise From The Ashes: LLM-based Static Analysis for Deep Learning Framework Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.00555","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:6bec56184f0f74e575f1320671bf02ff6cb9fe4834d0cb7b0279e98f8c905242","target":"record","created_at":"2026-07-02T01:17:47Z","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":"5a15772471cbeeced85a622fd28230c8c2b260c9b8e549aa8ca469a6beed0c68","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T07:44:25Z","title_canon_sha256":"1ec3b14c986357890483ebc950402bd0113cd54bc8aefdb6d7a9221ac85047d6"},"schema_version":"1.0","source":{"id":"2607.00555","kind":"arxiv","version":1}},"canonical_sha256":"a91ede735d8a1321fc05680f34ac648b78de9a71a19830c4d5ae6d59fe6ff030","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a91ede735d8a1321fc05680f34ac648b78de9a71a19830c4d5ae6d59fe6ff030","first_computed_at":"2026-07-02T01:17:47.556230Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-02T01:17:47.556230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y1UP43b4kMS2D/KH8bU8jiu/hwa5uZRk0LrvxW2iwMbcPOa3sVJHwKuoviYhjxQpjER/MV65YFhUTZBAXQGUBg==","signature_status":"signed_v1","signed_at":"2026-07-02T01:17:47.556724Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.00555","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6bec56184f0f74e575f1320671bf02ff6cb9fe4834d0cb7b0279e98f8c905242","sha256:4803eadd9b8031ec3a917771fdc253a2a233817bc4acc1c0a67f385d65ba4f04"],"state_sha256":"484c0ff59af00d3c8fd598de093ec07f728b7041544b7dcb274d01e7f1d0467d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GbYNl7DqaOjo0J2JFdDtN+hcQf/otlaxezUiFwvg79vOsaQi0ymBryPiTAfzorfI6IHuqH1tSEoiMEGbhJmIDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T16:19:48.076207Z","bundle_sha256":"f4aae4f9e2513a20f9201b495d447d4e041ba1893effad11815a7363d1ba7639"}}