{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ABKZO2SROJEUIJQ6TKZKZSSY5M","short_pith_number":"pith:ABKZO2SR","canonical_record":{"source":{"id":"2405.12450","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-21T02:00:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f9e1f15400adef446741a884d2d22ad20b9ccfc2c08b25a0e36d6b57a7f6445b","abstract_canon_sha256":"b458787b6609e4b903fb01b5ad1aed241a478bf6ecaa64b98a73f35a6813d5b5"},"schema_version":"1.0"},"canonical_sha256":"0055976a51724944261e9ab2acca58eb23f24f9e42c06aeb8ac126b8a9565006","source":{"kind":"arxiv","id":"2405.12450","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.12450","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"arxiv_version","alias_value":"2405.12450v2","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12450","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"pith_short_12","alias_value":"ABKZO2SROJEU","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"ABKZO2SROJEUIJQ6","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"ABKZO2SR","created_at":"2026-07-05T08:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ABKZO2SROJEUIJQ6TKZKZSSY5M","target":"record","payload":{"canonical_record":{"source":{"id":"2405.12450","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-21T02:00:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f9e1f15400adef446741a884d2d22ad20b9ccfc2c08b25a0e36d6b57a7f6445b","abstract_canon_sha256":"b458787b6609e4b903fb01b5ad1aed241a478bf6ecaa64b98a73f35a6813d5b5"},"schema_version":"1.0"},"canonical_sha256":"0055976a51724944261e9ab2acca58eb23f24f9e42c06aeb8ac126b8a9565006","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:28:41.203814Z","signature_b64":"RyCC8W0X9SOrZ3ollc3ZmL/Gwl1XvhrHf0+xARUp9BPvR71SMKKK0XMITXKx2kxCAsLBFdEZ75SPK9uD+Sd/Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0055976a51724944261e9ab2acca58eb23f24f9e42c06aeb8ac126b8a9565006","last_reissued_at":"2026-07-05T08:28:41.203427Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:28:41.203427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.12450","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-05T08:28:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zNUMBm2HT+DZQzF8wsZVLwxdDJoZ9c9JkQM78toQbULEcEsVrMyJ2sohxfbQT7CXNP8UcYh5XilyptPPwyttCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:57:32.566572Z"},"content_sha256":"154b6c69c43aab0a00496a04273e5f70f329b25f85e5f490ae48ea37c49635fb","schema_version":"1.0","event_id":"sha256:154b6c69c43aab0a00496a04273e5f70f329b25f85e5f490ae48ea37c49635fb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ABKZO2SROJEUIJQ6TKZKZSSY5M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Foutse Khomh, Mohammad Hamdaqa, Seif Abukhalaf","submitted_at":"2024-05-21T02:00:54Z","abstract_excerpt":"The rapid progress of AI-powered programming assistants, such as GitHub Copilot, has facilitated the development of software applications. These assistants rely on large language models (LLMs), which are foundation models (FMs) that support a wide range of tasks related to understanding and generating language. LLMs have demonstrated their ability to express UML model specifications using formal languages like the Object Constraint Language (OCL). However, the context size of the prompt is limited by the number of tokens an LLM can process. This limitation becomes significant as the size of UM"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12450","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/2405.12450/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-05T08:28:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UZdYTHAiSKvluZa4Om/O/4FgbVTPpr8aUZM0VHZBi9EQ8sj5fygjSlTk5GGfLTP+He152XfniPnJLd3e0epGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:57:32.566939Z"},"content_sha256":"5845414a818131a8ef20fe62e62b3f17ad148ad3cdcab1001c8e0978316a0e63","schema_version":"1.0","event_id":"sha256:5845414a818131a8ef20fe62e62b3f17ad148ad3cdcab1001c8e0978316a0e63"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ABKZO2SROJEUIJQ6TKZKZSSY5M/bundle.json","state_url":"https://pith.science/pith/ABKZO2SROJEUIJQ6TKZKZSSY5M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ABKZO2SROJEUIJQ6TKZKZSSY5M/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-07-06T17:57:32Z","links":{"resolver":"https://pith.science/pith/ABKZO2SROJEUIJQ6TKZKZSSY5M","bundle":"https://pith.science/pith/ABKZO2SROJEUIJQ6TKZKZSSY5M/bundle.json","state":"https://pith.science/pith/ABKZO2SROJEUIJQ6TKZKZSSY5M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ABKZO2SROJEUIJQ6TKZKZSSY5M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ABKZO2SROJEUIJQ6TKZKZSSY5M","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":"b458787b6609e4b903fb01b5ad1aed241a478bf6ecaa64b98a73f35a6813d5b5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-21T02:00:54Z","title_canon_sha256":"f9e1f15400adef446741a884d2d22ad20b9ccfc2c08b25a0e36d6b57a7f6445b"},"schema_version":"1.0","source":{"id":"2405.12450","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.12450","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"arxiv_version","alias_value":"2405.12450v2","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12450","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"pith_short_12","alias_value":"ABKZO2SROJEU","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"ABKZO2SROJEUIJQ6","created_at":"2026-07-05T08:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"ABKZO2SR","created_at":"2026-07-05T08:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:5845414a818131a8ef20fe62e62b3f17ad148ad3cdcab1001c8e0978316a0e63","target":"graph","created_at":"2026-07-05T08:28:41Z","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/2405.12450/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rapid progress of AI-powered programming assistants, such as GitHub Copilot, has facilitated the development of software applications. These assistants rely on large language models (LLMs), which are foundation models (FMs) that support a wide range of tasks related to understanding and generating language. LLMs have demonstrated their ability to express UML model specifications using formal languages like the Object Constraint Language (OCL). However, the context size of the prompt is limited by the number of tokens an LLM can process. This limitation becomes significant as the size of UM","authors_text":"Foutse Khomh, Mohammad Hamdaqa, Seif Abukhalaf","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-21T02:00:54Z","title":"PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12450","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:154b6c69c43aab0a00496a04273e5f70f329b25f85e5f490ae48ea37c49635fb","target":"record","created_at":"2026-07-05T08:28:41Z","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":"b458787b6609e4b903fb01b5ad1aed241a478bf6ecaa64b98a73f35a6813d5b5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-21T02:00:54Z","title_canon_sha256":"f9e1f15400adef446741a884d2d22ad20b9ccfc2c08b25a0e36d6b57a7f6445b"},"schema_version":"1.0","source":{"id":"2405.12450","kind":"arxiv","version":2}},"canonical_sha256":"0055976a51724944261e9ab2acca58eb23f24f9e42c06aeb8ac126b8a9565006","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0055976a51724944261e9ab2acca58eb23f24f9e42c06aeb8ac126b8a9565006","first_computed_at":"2026-07-05T08:28:41.203427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:28:41.203427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RyCC8W0X9SOrZ3ollc3ZmL/Gwl1XvhrHf0+xARUp9BPvR71SMKKK0XMITXKx2kxCAsLBFdEZ75SPK9uD+Sd/Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:28:41.203814Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.12450","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:154b6c69c43aab0a00496a04273e5f70f329b25f85e5f490ae48ea37c49635fb","sha256:5845414a818131a8ef20fe62e62b3f17ad148ad3cdcab1001c8e0978316a0e63"],"state_sha256":"383100efd0b4bda01b0e91b3080ec9bbbecb11d4bb54bc77f3136f9b30bfc659"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vVbjPIsTUJXvfbirH1IDwlKUN8Q9UKWgINTaW4mJglO/qWvaRP9XvSjuWBZnP7mDyNH5lPAAd6tZUx8L/TZpDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T17:57:32.568904Z","bundle_sha256":"f778bc22837f8de434bf25efec71e09ee33a11e4683ec44b0ce2ecfc81df4b4d"}}