{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6GKIUJ46J5HIMTCRWQYOEH4PBG","short_pith_number":"pith:6GKIUJ46","canonical_record":{"source":{"id":"2506.15961","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2025-06-19T02:10:06Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"00bf2377af6fd17c8dba0db09b472cfeacbfbcb8587b304ce55f599ce775d247","abstract_canon_sha256":"e79a1304102d39906052a1611ad9047bfeaa4aa65721a06a6c1e5497af0db639"},"schema_version":"1.0"},"canonical_sha256":"f1948a279e4f4e864c51b430e21f8f09a8661c1f623ab15fe0887b348d6d98e2","source":{"kind":"arxiv","id":"2506.15961","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.15961","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"arxiv_version","alias_value":"2506.15961v2","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.15961","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"pith_short_12","alias_value":"6GKIUJ46J5HI","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"pith_short_16","alias_value":"6GKIUJ46J5HIMTCR","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"pith_short_8","alias_value":"6GKIUJ46","created_at":"2026-07-05T11:26:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6GKIUJ46J5HIMTCRWQYOEH4PBG","target":"record","payload":{"canonical_record":{"source":{"id":"2506.15961","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2025-06-19T02:10:06Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"00bf2377af6fd17c8dba0db09b472cfeacbfbcb8587b304ce55f599ce775d247","abstract_canon_sha256":"e79a1304102d39906052a1611ad9047bfeaa4aa65721a06a6c1e5497af0db639"},"schema_version":"1.0"},"canonical_sha256":"f1948a279e4f4e864c51b430e21f8f09a8661c1f623ab15fe0887b348d6d98e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:26:05.723715Z","signature_b64":"307N6FCXFIiTJ6liDhnH2ezo6Oa3kJVN/LbiA5IE6Cu3MQHVgBlzYOcWikepi4O6pHOXyevjj6xDpefn+0JABA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1948a279e4f4e864c51b430e21f8f09a8661c1f623ab15fe0887b348d6d98e2","last_reissued_at":"2026-07-05T11:26:05.723103Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:26:05.723103Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.15961","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-05T11:26:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pjTi0rLnEaB3xAe3v9jqD9l0VhinAM4qJf5nqyMlt4bjeszIIA3XhgXdJJSn/2mUFQ/NppBPmvLxcrWOWLLLCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T18:43:06.781827Z"},"content_sha256":"c6b03a5d3386829354e8f3a7416fe916083f7b517d4caf9d4fa3331f7647c963","schema_version":"1.0","event_id":"sha256:c6b03a5d3386829354e8f3a7416fe916083f7b517d4caf9d4fa3331f7647c963"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6GKIUJ46J5HIMTCRWQYOEH4PBG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TrainVerify: Equivalence-Based Verification for Distributed LLM Training","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.DC","authors_text":"Cheng Tan, Fan Yang, Peng Huang, Xian Zhang, Yi Zhu, Youshan Miao, Yunchi Lu","submitted_at":"2025-06-19T02:10:06Z","abstract_excerpt":"Training large language models (LLMs) at scale requires parallel execution across thousands of devices, incurring enormous computational costs. Yet, these costly distributed trainings are rarely verified, leaving them prone to silent errors and potentially wasting millions of GPU hours. We introduce TrainVerify, a system for verifiable distributed training of LLMs. Given a deep learning model's logical specification as the ground truth, TrainVerify formally verifies that a distributed parallel execution plan is mathematically equivalent to it. Direct verification is notoriously difficult due t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.15961","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/2506.15961/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-05T11:26:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DDGSl6389DdHuVGTxt758RX9gDmLdv/7pK4ozycsMnocR07jbZT1NV9N3mubDahqW6osli4cyqMqt8qfP4SXAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T18:43:06.782377Z"},"content_sha256":"1b90ef8b09447e2cba465de2cee9875078d81179d99fcf0cc041890ef8d84b7b","schema_version":"1.0","event_id":"sha256:1b90ef8b09447e2cba465de2cee9875078d81179d99fcf0cc041890ef8d84b7b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6GKIUJ46J5HIMTCRWQYOEH4PBG/bundle.json","state_url":"https://pith.science/pith/6GKIUJ46J5HIMTCRWQYOEH4PBG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6GKIUJ46J5HIMTCRWQYOEH4PBG/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-19T18:43:06Z","links":{"resolver":"https://pith.science/pith/6GKIUJ46J5HIMTCRWQYOEH4PBG","bundle":"https://pith.science/pith/6GKIUJ46J5HIMTCRWQYOEH4PBG/bundle.json","state":"https://pith.science/pith/6GKIUJ46J5HIMTCRWQYOEH4PBG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6GKIUJ46J5HIMTCRWQYOEH4PBG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6GKIUJ46J5HIMTCRWQYOEH4PBG","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":"e79a1304102d39906052a1611ad9047bfeaa4aa65721a06a6c1e5497af0db639","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2025-06-19T02:10:06Z","title_canon_sha256":"00bf2377af6fd17c8dba0db09b472cfeacbfbcb8587b304ce55f599ce775d247"},"schema_version":"1.0","source":{"id":"2506.15961","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.15961","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"arxiv_version","alias_value":"2506.15961v2","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.15961","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"pith_short_12","alias_value":"6GKIUJ46J5HI","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"pith_short_16","alias_value":"6GKIUJ46J5HIMTCR","created_at":"2026-07-05T11:26:05Z"},{"alias_kind":"pith_short_8","alias_value":"6GKIUJ46","created_at":"2026-07-05T11:26:05Z"}],"graph_snapshots":[{"event_id":"sha256:1b90ef8b09447e2cba465de2cee9875078d81179d99fcf0cc041890ef8d84b7b","target":"graph","created_at":"2026-07-05T11:26:05Z","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/2506.15961/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Training large language models (LLMs) at scale requires parallel execution across thousands of devices, incurring enormous computational costs. Yet, these costly distributed trainings are rarely verified, leaving them prone to silent errors and potentially wasting millions of GPU hours. We introduce TrainVerify, a system for verifiable distributed training of LLMs. Given a deep learning model's logical specification as the ground truth, TrainVerify formally verifies that a distributed parallel execution plan is mathematically equivalent to it. Direct verification is notoriously difficult due t","authors_text":"Cheng Tan, Fan Yang, Peng Huang, Xian Zhang, Yi Zhu, Youshan Miao, Yunchi Lu","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2025-06-19T02:10:06Z","title":"TrainVerify: Equivalence-Based Verification for Distributed LLM Training"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.15961","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:c6b03a5d3386829354e8f3a7416fe916083f7b517d4caf9d4fa3331f7647c963","target":"record","created_at":"2026-07-05T11:26:05Z","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":"e79a1304102d39906052a1611ad9047bfeaa4aa65721a06a6c1e5497af0db639","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2025-06-19T02:10:06Z","title_canon_sha256":"00bf2377af6fd17c8dba0db09b472cfeacbfbcb8587b304ce55f599ce775d247"},"schema_version":"1.0","source":{"id":"2506.15961","kind":"arxiv","version":2}},"canonical_sha256":"f1948a279e4f4e864c51b430e21f8f09a8661c1f623ab15fe0887b348d6d98e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1948a279e4f4e864c51b430e21f8f09a8661c1f623ab15fe0887b348d6d98e2","first_computed_at":"2026-07-05T11:26:05.723103Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:26:05.723103Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"307N6FCXFIiTJ6liDhnH2ezo6Oa3kJVN/LbiA5IE6Cu3MQHVgBlzYOcWikepi4O6pHOXyevjj6xDpefn+0JABA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:26:05.723715Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.15961","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c6b03a5d3386829354e8f3a7416fe916083f7b517d4caf9d4fa3331f7647c963","sha256:1b90ef8b09447e2cba465de2cee9875078d81179d99fcf0cc041890ef8d84b7b"],"state_sha256":"1565d5b861edea507e546e6cad4579381c0f5f392c36f48f0dd4f6cc68687e57"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JX6P1IsSDyx6lOR0r6QeIjJkGCYJzaUMUK+I7+twg9+DKbTEXDwGDdCpmEYiQU6QNjH5vPWdnuSbgE9/klDDAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T18:43:06.786329Z","bundle_sha256":"cb759ab5b074f885eeb2e8639c05cc00c7da3cc5adaa8e161d81531a839afd96"}}