{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:YEFOYDBHQ3R4MC5WO3RPTTEW5B","short_pith_number":"pith:YEFOYDBH","canonical_record":{"source":{"id":"2408.11081","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-20T11:19:06Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"title_canon_sha256":"b6e15cc49fa0490bef6cc1d97b3c817f38abdf48e83d0171fc6cb58d40f5c488","abstract_canon_sha256":"59a0f8f38ed02ddba5b1eb534159c157e239c8e45badaf8d7180e8a5cef2c79c"},"schema_version":"1.0"},"canonical_sha256":"c10aec0c2786e3c60bb676e2f9cc96e87d3dc5abda2379994b4f4639ce1e174c","source":{"kind":"arxiv","id":"2408.11081","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.11081","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"arxiv_version","alias_value":"2408.11081v2","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11081","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"pith_short_12","alias_value":"YEFOYDBHQ3R4","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"pith_short_16","alias_value":"YEFOYDBHQ3R4MC5W","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"pith_short_8","alias_value":"YEFOYDBH","created_at":"2026-07-05T10:13:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:YEFOYDBHQ3R4MC5WO3RPTTEW5B","target":"record","payload":{"canonical_record":{"source":{"id":"2408.11081","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-20T11:19:06Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"title_canon_sha256":"b6e15cc49fa0490bef6cc1d97b3c817f38abdf48e83d0171fc6cb58d40f5c488","abstract_canon_sha256":"59a0f8f38ed02ddba5b1eb534159c157e239c8e45badaf8d7180e8a5cef2c79c"},"schema_version":"1.0"},"canonical_sha256":"c10aec0c2786e3c60bb676e2f9cc96e87d3dc5abda2379994b4f4639ce1e174c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:26.836690Z","signature_b64":"8m5z7kVZqHJvPQD8zzo4ymC/P4CVvbEFZDcihS+icmBG9hhd4nr/Qv4n04gvSgHeyNzNfO0JDaOJtI6f+hZNAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c10aec0c2786e3c60bb676e2f9cc96e87d3dc5abda2379994b4f4639ce1e174c","last_reissued_at":"2026-07-05T10:13:26.836133Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:26.836133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.11081","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-05T10:13:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/0Kr5myYCLQafUn4J0S6OuHUyRWvY/09IcXmxHKEJTSrkgmzKXd1r+SG0KTbICpXYCQI+eKRpHM5UUIR4HlQCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T02:39:49.811216Z"},"content_sha256":"09eccfceffa3b8451dd55261ae43c1bce3996df6aeec7d1a3fba5f8db1647c5c","schema_version":"1.0","event_id":"sha256:09eccfceffa3b8451dd55261ae43c1bce3996df6aeec7d1a3fba5f8db1647c5c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:YEFOYDBHQ3R4MC5WO3RPTTEW5B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What can Large Language Models Capture about Code Functional Equivalence?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.LG"],"primary_cat":"cs.SE","authors_text":"Antonio Vergari, Nickil Maveli, Shay B. Cohen","submitted_at":"2024-08-20T11:19:06Z","abstract_excerpt":"Code-LLMs, LLMs pre-trained on large code corpora, have shown great progress in learning rich representations of the structure and syntax of code, successfully using it to generate or classify code fragments. At the same time, understanding if they are able to do so because they capture code semantics, and how well, is still an open question. In this paper, we tackle this problem by introducing SeqCoBench, a benchmark for systematically assessing how Code-LLMs can capture code functional equivalence. SeqCoBench contains over 20 code transformations that either preserve or alter the semantics o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.11081","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/2408.11081/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-05T10:13:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ghDxTfmLstL+QMg3LCJBTJSa23e+G3DwQCHCSP4Pzcxjx1P6JzM5EUAV+ILNxxG/efhmq+3G+6d9bygOzMcCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T02:39:49.811778Z"},"content_sha256":"eadd7e3ed78549687b84ff04b6ad3f18bfff6d2c0174d71483819e628ae341ae","schema_version":"1.0","event_id":"sha256:eadd7e3ed78549687b84ff04b6ad3f18bfff6d2c0174d71483819e628ae341ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YEFOYDBHQ3R4MC5WO3RPTTEW5B/bundle.json","state_url":"https://pith.science/pith/YEFOYDBHQ3R4MC5WO3RPTTEW5B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YEFOYDBHQ3R4MC5WO3RPTTEW5B/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-10T02:39:49Z","links":{"resolver":"https://pith.science/pith/YEFOYDBHQ3R4MC5WO3RPTTEW5B","bundle":"https://pith.science/pith/YEFOYDBHQ3R4MC5WO3RPTTEW5B/bundle.json","state":"https://pith.science/pith/YEFOYDBHQ3R4MC5WO3RPTTEW5B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YEFOYDBHQ3R4MC5WO3RPTTEW5B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:YEFOYDBHQ3R4MC5WO3RPTTEW5B","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":"59a0f8f38ed02ddba5b1eb534159c157e239c8e45badaf8d7180e8a5cef2c79c","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-20T11:19:06Z","title_canon_sha256":"b6e15cc49fa0490bef6cc1d97b3c817f38abdf48e83d0171fc6cb58d40f5c488"},"schema_version":"1.0","source":{"id":"2408.11081","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.11081","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"arxiv_version","alias_value":"2408.11081v2","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11081","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"pith_short_12","alias_value":"YEFOYDBHQ3R4","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"pith_short_16","alias_value":"YEFOYDBHQ3R4MC5W","created_at":"2026-07-05T10:13:26Z"},{"alias_kind":"pith_short_8","alias_value":"YEFOYDBH","created_at":"2026-07-05T10:13:26Z"}],"graph_snapshots":[{"event_id":"sha256:eadd7e3ed78549687b84ff04b6ad3f18bfff6d2c0174d71483819e628ae341ae","target":"graph","created_at":"2026-07-05T10:13:26Z","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/2408.11081/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code-LLMs, LLMs pre-trained on large code corpora, have shown great progress in learning rich representations of the structure and syntax of code, successfully using it to generate or classify code fragments. At the same time, understanding if they are able to do so because they capture code semantics, and how well, is still an open question. In this paper, we tackle this problem by introducing SeqCoBench, a benchmark for systematically assessing how Code-LLMs can capture code functional equivalence. SeqCoBench contains over 20 code transformations that either preserve or alter the semantics o","authors_text":"Antonio Vergari, Nickil Maveli, Shay B. Cohen","cross_cats":["cs.AI","cs.CL","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-20T11:19:06Z","title":"What can Large Language Models Capture about Code Functional Equivalence?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.11081","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:09eccfceffa3b8451dd55261ae43c1bce3996df6aeec7d1a3fba5f8db1647c5c","target":"record","created_at":"2026-07-05T10:13:26Z","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":"59a0f8f38ed02ddba5b1eb534159c157e239c8e45badaf8d7180e8a5cef2c79c","cross_cats_sorted":["cs.AI","cs.CL","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-20T11:19:06Z","title_canon_sha256":"b6e15cc49fa0490bef6cc1d97b3c817f38abdf48e83d0171fc6cb58d40f5c488"},"schema_version":"1.0","source":{"id":"2408.11081","kind":"arxiv","version":2}},"canonical_sha256":"c10aec0c2786e3c60bb676e2f9cc96e87d3dc5abda2379994b4f4639ce1e174c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c10aec0c2786e3c60bb676e2f9cc96e87d3dc5abda2379994b4f4639ce1e174c","first_computed_at":"2026-07-05T10:13:26.836133Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:26.836133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8m5z7kVZqHJvPQD8zzo4ymC/P4CVvbEFZDcihS+icmBG9hhd4nr/Qv4n04gvSgHeyNzNfO0JDaOJtI6f+hZNAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:26.836690Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.11081","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09eccfceffa3b8451dd55261ae43c1bce3996df6aeec7d1a3fba5f8db1647c5c","sha256:eadd7e3ed78549687b84ff04b6ad3f18bfff6d2c0174d71483819e628ae341ae"],"state_sha256":"9ce27a8b005d53b36ac3b5de15f9a72ec7d048376cca4268b78b0bd81033792d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uMIXXoF0xTVkvKc8Q1wGGnsfOEfTjy9Mw3FulbNhuLA/AaUgNl3271cuvO8Whq7UJUHeKhH1DS5SiTJGa56JAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T02:39:49.816875Z","bundle_sha256":"058a90b91f6206cec7ee72f3c8d49a68061d89bf946c43406c2d10446196652d"}}