{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:UTK7ZIKRHKGSJLQ5A524FTVDLJ","short_pith_number":"pith:UTK7ZIKR","canonical_record":{"source":{"id":"2502.01806","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-03T20:38:58Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"0a10859cc8ec1a6c5e186e8f8a51b08180d6989fe546f8ee5d3e706d12305581","abstract_canon_sha256":"4f866c29c434dcdb131824a567b567e78ca4d266bbfa419e1b249928445e534f"},"schema_version":"1.0"},"canonical_sha256":"a4d5fca1513a8d24ae1d0775c2cea35a473b3d2bbfcf719a705a37bac21d13e0","source":{"kind":"arxiv","id":"2502.01806","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.01806","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"arxiv_version","alias_value":"2502.01806v1","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.01806","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"pith_short_12","alias_value":"UTK7ZIKRHKGS","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"pith_short_16","alias_value":"UTK7ZIKRHKGSJLQ5","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"pith_short_8","alias_value":"UTK7ZIKR","created_at":"2026-07-05T10:09:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:UTK7ZIKRHKGSJLQ5A524FTVDLJ","target":"record","payload":{"canonical_record":{"source":{"id":"2502.01806","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-03T20:38:58Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"0a10859cc8ec1a6c5e186e8f8a51b08180d6989fe546f8ee5d3e706d12305581","abstract_canon_sha256":"4f866c29c434dcdb131824a567b567e78ca4d266bbfa419e1b249928445e534f"},"schema_version":"1.0"},"canonical_sha256":"a4d5fca1513a8d24ae1d0775c2cea35a473b3d2bbfcf719a705a37bac21d13e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:09:19.481330Z","signature_b64":"rIn/xkU4utzWPd0mKJWoucyotuBX1GNoy7X7oVk7AFlQ2ll7H9JnIB7q8R228z233OjkM9tDMm8jMdJ4SRVCBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a4d5fca1513a8d24ae1d0775c2cea35a473b3d2bbfcf719a705a37bac21d13e0","last_reissued_at":"2026-07-05T10:09:19.480804Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:09:19.480804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.01806","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-05T10:09:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3KRaLz90genFETV5eVBqEr8o34qdbAnp9s7viZytPOgNfb57Adt5p3Pai+Osn4ntrGvBka6NPSIsrhUDEB+SDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T07:20:26.648174Z"},"content_sha256":"5c23d03687ec2dbbdbe50a90cb57db9e53d2e5fb17d7aa0cd2afaebe47d5f367","schema_version":"1.0","event_id":"sha256:5c23d03687ec2dbbdbe50a90cb57db9e53d2e5fb17d7aa0cd2afaebe47d5f367"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:UTK7ZIKRHKGSJLQ5A524FTVDLJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Toward Neurosymbolic Program Comprehension","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Alejandro Velasco, Antonio Mastropaolo, Aya Garryyeva, David N. Palacio, Denys Poshyvanyk","submitted_at":"2025-02-03T20:38:58Z","abstract_excerpt":"Recent advancements in Large Language Models (LLMs) have paved the way for Large Code Models (LCMs), enabling automation in complex software engineering tasks, such as code generation, software testing, and program comprehension, among others. Tools like GitHub Copilot and ChatGPT have shown substantial benefits in supporting developers across various practices. However, the ambition to scale these models to trillion-parameter sizes, exemplified by GPT-4, poses significant challenges that limit the usage of Artificial Intelligence (AI)-based systems powered by large Deep Learning (DL) models. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.01806","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/2502.01806/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:09:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+1L5v/X6w6HKLkoHvzAwgNBAC/yGh2PRGkcKRC4+hb8y5gWTFh9sGic7L2QZmeF2DkwkUSRGBfKUNfCawXG+Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T07:20:26.648597Z"},"content_sha256":"494bc74e5384c917b000b8d7f819b8bca863c9081a6156def519fc4c840988bb","schema_version":"1.0","event_id":"sha256:494bc74e5384c917b000b8d7f819b8bca863c9081a6156def519fc4c840988bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UTK7ZIKRHKGSJLQ5A524FTVDLJ/bundle.json","state_url":"https://pith.science/pith/UTK7ZIKRHKGSJLQ5A524FTVDLJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UTK7ZIKRHKGSJLQ5A524FTVDLJ/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-04T07:20:26Z","links":{"resolver":"https://pith.science/pith/UTK7ZIKRHKGSJLQ5A524FTVDLJ","bundle":"https://pith.science/pith/UTK7ZIKRHKGSJLQ5A524FTVDLJ/bundle.json","state":"https://pith.science/pith/UTK7ZIKRHKGSJLQ5A524FTVDLJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UTK7ZIKRHKGSJLQ5A524FTVDLJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UTK7ZIKRHKGSJLQ5A524FTVDLJ","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":"4f866c29c434dcdb131824a567b567e78ca4d266bbfa419e1b249928445e534f","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-03T20:38:58Z","title_canon_sha256":"0a10859cc8ec1a6c5e186e8f8a51b08180d6989fe546f8ee5d3e706d12305581"},"schema_version":"1.0","source":{"id":"2502.01806","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.01806","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"arxiv_version","alias_value":"2502.01806v1","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.01806","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"pith_short_12","alias_value":"UTK7ZIKRHKGS","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"pith_short_16","alias_value":"UTK7ZIKRHKGSJLQ5","created_at":"2026-07-05T10:09:19Z"},{"alias_kind":"pith_short_8","alias_value":"UTK7ZIKR","created_at":"2026-07-05T10:09:19Z"}],"graph_snapshots":[{"event_id":"sha256:494bc74e5384c917b000b8d7f819b8bca863c9081a6156def519fc4c840988bb","target":"graph","created_at":"2026-07-05T10:09:19Z","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/2502.01806/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advancements in Large Language Models (LLMs) have paved the way for Large Code Models (LCMs), enabling automation in complex software engineering tasks, such as code generation, software testing, and program comprehension, among others. Tools like GitHub Copilot and ChatGPT have shown substantial benefits in supporting developers across various practices. However, the ambition to scale these models to trillion-parameter sizes, exemplified by GPT-4, poses significant challenges that limit the usage of Artificial Intelligence (AI)-based systems powered by large Deep Learning (DL) models. ","authors_text":"Alejandro Velasco, Antonio Mastropaolo, Aya Garryyeva, David N. Palacio, Denys Poshyvanyk","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-03T20:38:58Z","title":"Toward Neurosymbolic Program Comprehension"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.01806","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:5c23d03687ec2dbbdbe50a90cb57db9e53d2e5fb17d7aa0cd2afaebe47d5f367","target":"record","created_at":"2026-07-05T10:09:19Z","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":"4f866c29c434dcdb131824a567b567e78ca4d266bbfa419e1b249928445e534f","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-03T20:38:58Z","title_canon_sha256":"0a10859cc8ec1a6c5e186e8f8a51b08180d6989fe546f8ee5d3e706d12305581"},"schema_version":"1.0","source":{"id":"2502.01806","kind":"arxiv","version":1}},"canonical_sha256":"a4d5fca1513a8d24ae1d0775c2cea35a473b3d2bbfcf719a705a37bac21d13e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a4d5fca1513a8d24ae1d0775c2cea35a473b3d2bbfcf719a705a37bac21d13e0","first_computed_at":"2026-07-05T10:09:19.480804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:09:19.480804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rIn/xkU4utzWPd0mKJWoucyotuBX1GNoy7X7oVk7AFlQ2ll7H9JnIB7q8R228z233OjkM9tDMm8jMdJ4SRVCBw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:09:19.481330Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.01806","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5c23d03687ec2dbbdbe50a90cb57db9e53d2e5fb17d7aa0cd2afaebe47d5f367","sha256:494bc74e5384c917b000b8d7f819b8bca863c9081a6156def519fc4c840988bb"],"state_sha256":"cdcd137f37330e7138fa55b381717b92ba78a7ec7fac1868fe1a45274e4bbb14"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e7qAPu6U0el7sXlQS1d+3f1FI9r4+lrKUWfnjtPTki11PA3K3fpiJQI3x+Lx+W+GXZGk3qqeVGvtqHJ8Ok0/Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T07:20:26.651286Z","bundle_sha256":"2889301f094c66150df4994b5668366b3cde70b22d3712704b0af31e05ac2008"}}