{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:UJF5LAXSEBXPQO7BKJQR6GTJLG","short_pith_number":"pith:UJF5LAXS","canonical_record":{"source":{"id":"2410.24117","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-31T16:46:52Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3cf5e46850a1cae9fde1d244f82d4e8ebd2d8a6811161590af2ed285dd5680aa","abstract_canon_sha256":"228e1574287b3581af54602f2f56eed5e871dfaa449e61b26bb339d1fb3cab8e"},"schema_version":"1.0"},"canonical_sha256":"a24bd582f2206ef83be152611f1a6959bed22babfa0d9c33eab75ec8ea5b84d3","source":{"kind":"arxiv","id":"2410.24117","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.24117","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"arxiv_version","alias_value":"2410.24117v5","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.24117","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"pith_short_12","alias_value":"UJF5LAXSEBXP","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"pith_short_16","alias_value":"UJF5LAXSEBXPQO7B","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"pith_short_8","alias_value":"UJF5LAXS","created_at":"2026-07-05T11:24:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:UJF5LAXSEBXPQO7BKJQR6GTJLG","target":"record","payload":{"canonical_record":{"source":{"id":"2410.24117","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-31T16:46:52Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3cf5e46850a1cae9fde1d244f82d4e8ebd2d8a6811161590af2ed285dd5680aa","abstract_canon_sha256":"228e1574287b3581af54602f2f56eed5e871dfaa449e61b26bb339d1fb3cab8e"},"schema_version":"1.0"},"canonical_sha256":"a24bd582f2206ef83be152611f1a6959bed22babfa0d9c33eab75ec8ea5b84d3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:07.871929Z","signature_b64":"U4/c272bYosXJHfo2mfYrgs9UpB3zaZH63hx+sY6KZqiwvkxY6xkhzyl0/FftfybkOR2+EceupQvpgiRGeaACw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a24bd582f2206ef83be152611f1a6959bed22babfa0d9c33eab75ec8ea5b84d3","last_reissued_at":"2026-07-05T11:24:07.871421Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:07.871421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.24117","source_version":5,"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:24:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tEue/UnlNN0WV0OP3j5Yph8e1b6syvYdNw7WWCx+bbCAeZbcGLKj/Y9C2ulf1dUAbn+OQgZhzxCN+Ql87MDBAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T03:51:56.914218Z"},"content_sha256":"163116ef46b56d78b88bc268c38f340466b71ea2897792b694fc37a4c0c3b84b","schema_version":"1.0","event_id":"sha256:163116ef46b56d78b88bc268c38f340466b71ea2897792b694fc37a4c0c3b84b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:UJF5LAXSEBXPQO7BKJQR6GTJLG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi, Muhammad Salman Abid, Rangeet Pan, Reyhaneh Jabbarvand, Saurabh Sinha","submitted_at":"2024-10-31T16:46:52Z","abstract_excerpt":"Code translation transforms programs from one programming language (PL) to another. Several rule-based transpilers have been designed to automate code translation between different pairs of PLs. However, the rules can become obsolete as the PLs evolve and cannot generalize to other PLs. Recent studies have explored the automation of code translation using Large Language Models (LLMs). One key observation is that such techniques may work well for crafted benchmarks but fail to generalize to the scale and complexity of real-world projects with dependencies, custom types, PL-specific features, et"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.24117","kind":"arxiv","version":5},"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/2410.24117/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:24:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pq/6znn5v3Gzl7kuE5V4dwCGQC3Xzjqk09uPHISBYJbAxM/OunVDB4swTCxqoZyoRj8Rjl3Z5L8VijkSoJn3AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T03:51:56.914961Z"},"content_sha256":"04a9d59d9e66592c56610cc2153d7dae97c58c71865bb984c91e6fc391632b09","schema_version":"1.0","event_id":"sha256:04a9d59d9e66592c56610cc2153d7dae97c58c71865bb984c91e6fc391632b09"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UJF5LAXSEBXPQO7BKJQR6GTJLG/bundle.json","state_url":"https://pith.science/pith/UJF5LAXSEBXPQO7BKJQR6GTJLG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UJF5LAXSEBXPQO7BKJQR6GTJLG/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-18T03:51:56Z","links":{"resolver":"https://pith.science/pith/UJF5LAXSEBXPQO7BKJQR6GTJLG","bundle":"https://pith.science/pith/UJF5LAXSEBXPQO7BKJQR6GTJLG/bundle.json","state":"https://pith.science/pith/UJF5LAXSEBXPQO7BKJQR6GTJLG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UJF5LAXSEBXPQO7BKJQR6GTJLG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:UJF5LAXSEBXPQO7BKJQR6GTJLG","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":"228e1574287b3581af54602f2f56eed5e871dfaa449e61b26bb339d1fb3cab8e","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-31T16:46:52Z","title_canon_sha256":"3cf5e46850a1cae9fde1d244f82d4e8ebd2d8a6811161590af2ed285dd5680aa"},"schema_version":"1.0","source":{"id":"2410.24117","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.24117","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"arxiv_version","alias_value":"2410.24117v5","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.24117","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"pith_short_12","alias_value":"UJF5LAXSEBXP","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"pith_short_16","alias_value":"UJF5LAXSEBXPQO7B","created_at":"2026-07-05T11:24:07Z"},{"alias_kind":"pith_short_8","alias_value":"UJF5LAXS","created_at":"2026-07-05T11:24:07Z"}],"graph_snapshots":[{"event_id":"sha256:04a9d59d9e66592c56610cc2153d7dae97c58c71865bb984c91e6fc391632b09","target":"graph","created_at":"2026-07-05T11:24:07Z","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/2410.24117/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code translation transforms programs from one programming language (PL) to another. Several rule-based transpilers have been designed to automate code translation between different pairs of PLs. However, the rules can become obsolete as the PLs evolve and cannot generalize to other PLs. Recent studies have explored the automation of code translation using Large Language Models (LLMs). One key observation is that such techniques may work well for crafted benchmarks but fail to generalize to the scale and complexity of real-world projects with dependencies, custom types, PL-specific features, et","authors_text":"Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi, Muhammad Salman Abid, Rangeet Pan, Reyhaneh Jabbarvand, Saurabh Sinha","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-31T16:46:52Z","title":"AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.24117","kind":"arxiv","version":5},"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:163116ef46b56d78b88bc268c38f340466b71ea2897792b694fc37a4c0c3b84b","target":"record","created_at":"2026-07-05T11:24:07Z","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":"228e1574287b3581af54602f2f56eed5e871dfaa449e61b26bb339d1fb3cab8e","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-31T16:46:52Z","title_canon_sha256":"3cf5e46850a1cae9fde1d244f82d4e8ebd2d8a6811161590af2ed285dd5680aa"},"schema_version":"1.0","source":{"id":"2410.24117","kind":"arxiv","version":5}},"canonical_sha256":"a24bd582f2206ef83be152611f1a6959bed22babfa0d9c33eab75ec8ea5b84d3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a24bd582f2206ef83be152611f1a6959bed22babfa0d9c33eab75ec8ea5b84d3","first_computed_at":"2026-07-05T11:24:07.871421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:07.871421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U4/c272bYosXJHfo2mfYrgs9UpB3zaZH63hx+sY6KZqiwvkxY6xkhzyl0/FftfybkOR2+EceupQvpgiRGeaACw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:07.871929Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.24117","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:163116ef46b56d78b88bc268c38f340466b71ea2897792b694fc37a4c0c3b84b","sha256:04a9d59d9e66592c56610cc2153d7dae97c58c71865bb984c91e6fc391632b09"],"state_sha256":"778bd10c3f761da7aba0cc411ddcf71b0d2017242956304b272211d556ae88e8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EgSHxcfEHxB3te8qqTbRUR+QVIfh6qQJICXjDLHsN5YzDkYP5gcSMOMPMZnVrtxDFSFu+PG+MTqWtXtnm3X6Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T03:51:56.920528Z","bundle_sha256":"562e3ba556af1c393265c7f104e353525f813c1ba69ddc88234776f8199ff015"}}