{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:35XARGOTYOBJBF37ANGZY5VFNC","short_pith_number":"pith:35XARGOT","canonical_record":{"source":{"id":"2506.07173","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-08T14:45:11Z","cross_cats_sorted":[],"title_canon_sha256":"025026530aca11f7d73390f19c1c8439b8e6fe6c9f96639514bc21fb8c4e93d0","abstract_canon_sha256":"5058e4d10455a5dda3d74ec968180c9e37cc7ddd096fa7e33d36f77b69168ba1"},"schema_version":"1.0"},"canonical_sha256":"df6e0899d3c38290977f034d9c76a568a3a70c1b16a43c44e76594f07193f23a","source":{"kind":"arxiv","id":"2506.07173","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07173","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07173v2","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07173","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"pith_short_12","alias_value":"35XARGOTYOBJ","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"pith_short_16","alias_value":"35XARGOTYOBJBF37","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"pith_short_8","alias_value":"35XARGOT","created_at":"2026-07-05T12:05:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:35XARGOTYOBJBF37ANGZY5VFNC","target":"record","payload":{"canonical_record":{"source":{"id":"2506.07173","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-08T14:45:11Z","cross_cats_sorted":[],"title_canon_sha256":"025026530aca11f7d73390f19c1c8439b8e6fe6c9f96639514bc21fb8c4e93d0","abstract_canon_sha256":"5058e4d10455a5dda3d74ec968180c9e37cc7ddd096fa7e33d36f77b69168ba1"},"schema_version":"1.0"},"canonical_sha256":"df6e0899d3c38290977f034d9c76a568a3a70c1b16a43c44e76594f07193f23a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:05:17.517735Z","signature_b64":"UB5/Q085ScDyFkp2Qq/JO6c5xk/BYVzSBuzp1KI0fMO5zM2vVtXby2c9rYSELtai4Z2HNKYdSYHfDdnyNDohCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"df6e0899d3c38290977f034d9c76a568a3a70c1b16a43c44e76594f07193f23a","last_reissued_at":"2026-07-05T12:05:17.517224Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:05:17.517224Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.07173","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-05T12:05:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uGMBK/PD5yTrKR7buHcOoLDwvpBjicvLBB7zS+cnwbmtG8v33M1Z1SP6u2XKcHUvGzTkUf4g+fQtvBoir+/oBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:30:37.666557Z"},"content_sha256":"bda26a46a770ea4b843a485d1727dfb8eeadc84835367225c850382521902447","schema_version":"1.0","event_id":"sha256:bda26a46a770ea4b843a485d1727dfb8eeadc84835367225c850382521902447"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:35XARGOTYOBJBF37ANGZY5VFNC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ilija Basicevic, Marko Popovic, Miodrag Djukic, Miroslav Popovic","submitted_at":"2025-06-08T14:45:11Z","abstract_excerpt":"The Python Testbed for Federated Learning Algorithms is a simple Python FL framework that is easy to use by ML&AI developers who do not need to be professional programmers and is also amenable to LLMs. In the previous research, generic federated learning algorithms provided by this framework were manually translated into the CSP processes and algorithms' safety and liveness properties were automatically verified by the model checker PAT. In this paper, a simple translation process is introduced wherein the ChatGPT is used to automate the translation of the mentioned federated learning algorith"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07173","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.07173/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-05T12:05:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oWxffZz+lCR986Idbw10du/L/Jfjjk8ZWN4YXJIUnJOHUO4nuLS1NORxzMm6AxVqqQ9jnd6Xzfh0dmdcU768AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:30:37.667082Z"},"content_sha256":"b764ca2c2c8703a3f65053f82f4f3dbd9f3f9d1d8b79951bd12c64ad1504b4da","schema_version":"1.0","event_id":"sha256:b764ca2c2c8703a3f65053f82f4f3dbd9f3f9d1d8b79951bd12c64ad1504b4da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/35XARGOTYOBJBF37ANGZY5VFNC/bundle.json","state_url":"https://pith.science/pith/35XARGOTYOBJBF37ANGZY5VFNC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/35XARGOTYOBJBF37ANGZY5VFNC/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-12T14:30:37Z","links":{"resolver":"https://pith.science/pith/35XARGOTYOBJBF37ANGZY5VFNC","bundle":"https://pith.science/pith/35XARGOTYOBJBF37ANGZY5VFNC/bundle.json","state":"https://pith.science/pith/35XARGOTYOBJBF37ANGZY5VFNC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/35XARGOTYOBJBF37ANGZY5VFNC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:35XARGOTYOBJBF37ANGZY5VFNC","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":"5058e4d10455a5dda3d74ec968180c9e37cc7ddd096fa7e33d36f77b69168ba1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-08T14:45:11Z","title_canon_sha256":"025026530aca11f7d73390f19c1c8439b8e6fe6c9f96639514bc21fb8c4e93d0"},"schema_version":"1.0","source":{"id":"2506.07173","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07173","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07173v2","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07173","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"pith_short_12","alias_value":"35XARGOTYOBJ","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"pith_short_16","alias_value":"35XARGOTYOBJBF37","created_at":"2026-07-05T12:05:17Z"},{"alias_kind":"pith_short_8","alias_value":"35XARGOT","created_at":"2026-07-05T12:05:17Z"}],"graph_snapshots":[{"event_id":"sha256:b764ca2c2c8703a3f65053f82f4f3dbd9f3f9d1d8b79951bd12c64ad1504b4da","target":"graph","created_at":"2026-07-05T12:05:17Z","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.07173/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Python Testbed for Federated Learning Algorithms is a simple Python FL framework that is easy to use by ML&AI developers who do not need to be professional programmers and is also amenable to LLMs. In the previous research, generic federated learning algorithms provided by this framework were manually translated into the CSP processes and algorithms' safety and liveness properties were automatically verified by the model checker PAT. In this paper, a simple translation process is introduced wherein the ChatGPT is used to automate the translation of the mentioned federated learning algorith","authors_text":"Ilija Basicevic, Marko Popovic, Miodrag Djukic, Miroslav Popovic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-08T14:45:11Z","title":"Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07173","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:bda26a46a770ea4b843a485d1727dfb8eeadc84835367225c850382521902447","target":"record","created_at":"2026-07-05T12:05:17Z","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":"5058e4d10455a5dda3d74ec968180c9e37cc7ddd096fa7e33d36f77b69168ba1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-08T14:45:11Z","title_canon_sha256":"025026530aca11f7d73390f19c1c8439b8e6fe6c9f96639514bc21fb8c4e93d0"},"schema_version":"1.0","source":{"id":"2506.07173","kind":"arxiv","version":2}},"canonical_sha256":"df6e0899d3c38290977f034d9c76a568a3a70c1b16a43c44e76594f07193f23a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df6e0899d3c38290977f034d9c76a568a3a70c1b16a43c44e76594f07193f23a","first_computed_at":"2026-07-05T12:05:17.517224Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:17.517224Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UB5/Q085ScDyFkp2Qq/JO6c5xk/BYVzSBuzp1KI0fMO5zM2vVtXby2c9rYSELtai4Z2HNKYdSYHfDdnyNDohCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:17.517735Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07173","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bda26a46a770ea4b843a485d1727dfb8eeadc84835367225c850382521902447","sha256:b764ca2c2c8703a3f65053f82f4f3dbd9f3f9d1d8b79951bd12c64ad1504b4da"],"state_sha256":"073fd67d0ef24836db259aef0459a2b033d961abf9ff0842494622a21fe5883c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GzpTWrBNXcXgGsmk7r8Tf9HDX3FMDDS6DFGsRu/6DhgtucPwyDl3NhUCueIz6CIdwkuRXL8lLDoeAsYj5TZ6BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T14:30:37.673056Z","bundle_sha256":"63a5c46b2fd390f931cd858eec1aacbd3cc039652a9e055716a971b7669a7d43"}}