{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:5JWEMTX6HWARMBOTMQZBLJHYL7","short_pith_number":"pith:5JWEMTX6","canonical_record":{"source":{"id":"2303.16244","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2023-03-28T18:50:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"11c69c0400fe2e68a3d8a5025baeda83f3f5562712864118d941308427d0eeee","abstract_canon_sha256":"9d61154da53950f71710074992e0be3e822944a2fb07d211698e5c6e1ba8277a"},"schema_version":"1.0"},"canonical_sha256":"ea6c464efe3d811605d3643215a4f85ff02e1b3e8b42e086b7ad2a5f74e1c6ad","source":{"kind":"arxiv","id":"2303.16244","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.16244","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"arxiv_version","alias_value":"2303.16244v1","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.16244","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"pith_short_12","alias_value":"5JWEMTX6HWAR","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"pith_short_16","alias_value":"5JWEMTX6HWARMBOT","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"pith_short_8","alias_value":"5JWEMTX6","created_at":"2026-07-05T05:56:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:5JWEMTX6HWARMBOTMQZBLJHYL7","target":"record","payload":{"canonical_record":{"source":{"id":"2303.16244","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2023-03-28T18:50:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"11c69c0400fe2e68a3d8a5025baeda83f3f5562712864118d941308427d0eeee","abstract_canon_sha256":"9d61154da53950f71710074992e0be3e822944a2fb07d211698e5c6e1ba8277a"},"schema_version":"1.0"},"canonical_sha256":"ea6c464efe3d811605d3643215a4f85ff02e1b3e8b42e086b7ad2a5f74e1c6ad","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:56:04.856908Z","signature_b64":"QiZAHve5nA8iRjQWuGuDRn/8BdEaOFou1KS34lptUuyL/77nBxntIwoMf9/Mcht6BD9G+eO9l4mAFSbhlqXuAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea6c464efe3d811605d3643215a4f85ff02e1b3e8b42e086b7ad2a5f74e1c6ad","last_reissued_at":"2026-07-05T05:56:04.856468Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:56:04.856468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.16244","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-05T05:56:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gSL+WckW5TtqBvgCJ2NneGY3aBZ/xhi8fIUq9CiN2IfnCbEotKPJVEWTwKNJQpi9GgBjIIFgV6PR1LgFUTCQDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:11:30.354332Z"},"content_sha256":"a322bbd417be5f187129da22d0cfd637f85b3ab25dbc7bd8839c53aa62a618f5","schema_version":"1.0","event_id":"sha256:a322bbd417be5f187129da22d0cfd637f85b3ab25dbc7bd8839c53aa62a618f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:5JWEMTX6HWARMBOTMQZBLJHYL7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Codex Prompt Engineering for OCL Generation: An Empirical Study","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":"2023-03-28T18:50:51Z","abstract_excerpt":"The Object Constraint Language (OCL) is a declarative language that adds constraints and object query expressions to MOF models. Despite its potential to provide precision and conciseness to UML models, the unfamiliar syntax of OCL has hindered its adoption. Recent advancements in LLMs, such as GPT-3, have shown their capability in many NLP tasks, including semantic parsing and text generation. Codex, a GPT-3 descendant, has been fine-tuned on publicly available code from GitHub and can generate code in many programming languages. We investigate the reliability of OCL constraints generated by "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.16244","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/2303.16244/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-05T05:56:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sJpFDGIkooV4bzdkDxLNZpBxX2MIyMVZ/cb5z4hP+jDq0Hsr+qAjbD6W0eA7vXjw1AeiEuL040SoAcbTPmnBDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:11:30.355258Z"},"content_sha256":"b1f36de1c832cfda0b902a46374ff3c955db5f41aec76560b30e86b723152532","schema_version":"1.0","event_id":"sha256:b1f36de1c832cfda0b902a46374ff3c955db5f41aec76560b30e86b723152532"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5JWEMTX6HWARMBOTMQZBLJHYL7/bundle.json","state_url":"https://pith.science/pith/5JWEMTX6HWARMBOTMQZBLJHYL7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5JWEMTX6HWARMBOTMQZBLJHYL7/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-23T11:11:30Z","links":{"resolver":"https://pith.science/pith/5JWEMTX6HWARMBOTMQZBLJHYL7","bundle":"https://pith.science/pith/5JWEMTX6HWARMBOTMQZBLJHYL7/bundle.json","state":"https://pith.science/pith/5JWEMTX6HWARMBOTMQZBLJHYL7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5JWEMTX6HWARMBOTMQZBLJHYL7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:5JWEMTX6HWARMBOTMQZBLJHYL7","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":"9d61154da53950f71710074992e0be3e822944a2fb07d211698e5c6e1ba8277a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2023-03-28T18:50:51Z","title_canon_sha256":"11c69c0400fe2e68a3d8a5025baeda83f3f5562712864118d941308427d0eeee"},"schema_version":"1.0","source":{"id":"2303.16244","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.16244","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"arxiv_version","alias_value":"2303.16244v1","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.16244","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"pith_short_12","alias_value":"5JWEMTX6HWAR","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"pith_short_16","alias_value":"5JWEMTX6HWARMBOT","created_at":"2026-07-05T05:56:04Z"},{"alias_kind":"pith_short_8","alias_value":"5JWEMTX6","created_at":"2026-07-05T05:56:04Z"}],"graph_snapshots":[{"event_id":"sha256:b1f36de1c832cfda0b902a46374ff3c955db5f41aec76560b30e86b723152532","target":"graph","created_at":"2026-07-05T05:56:04Z","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/2303.16244/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Object Constraint Language (OCL) is a declarative language that adds constraints and object query expressions to MOF models. Despite its potential to provide precision and conciseness to UML models, the unfamiliar syntax of OCL has hindered its adoption. Recent advancements in LLMs, such as GPT-3, have shown their capability in many NLP tasks, including semantic parsing and text generation. Codex, a GPT-3 descendant, has been fine-tuned on publicly available code from GitHub and can generate code in many programming languages. We investigate the reliability of OCL constraints generated by ","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":"2023-03-28T18:50:51Z","title":"On Codex Prompt Engineering for OCL Generation: An Empirical Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.16244","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:a322bbd417be5f187129da22d0cfd637f85b3ab25dbc7bd8839c53aa62a618f5","target":"record","created_at":"2026-07-05T05:56:04Z","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":"9d61154da53950f71710074992e0be3e822944a2fb07d211698e5c6e1ba8277a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2023-03-28T18:50:51Z","title_canon_sha256":"11c69c0400fe2e68a3d8a5025baeda83f3f5562712864118d941308427d0eeee"},"schema_version":"1.0","source":{"id":"2303.16244","kind":"arxiv","version":1}},"canonical_sha256":"ea6c464efe3d811605d3643215a4f85ff02e1b3e8b42e086b7ad2a5f74e1c6ad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea6c464efe3d811605d3643215a4f85ff02e1b3e8b42e086b7ad2a5f74e1c6ad","first_computed_at":"2026-07-05T05:56:04.856468Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:56:04.856468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QiZAHve5nA8iRjQWuGuDRn/8BdEaOFou1KS34lptUuyL/77nBxntIwoMf9/Mcht6BD9G+eO9l4mAFSbhlqXuAw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:56:04.856908Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.16244","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a322bbd417be5f187129da22d0cfd637f85b3ab25dbc7bd8839c53aa62a618f5","sha256:b1f36de1c832cfda0b902a46374ff3c955db5f41aec76560b30e86b723152532"],"state_sha256":"798132f126375582e9544ba7116e7ae32d8025372dc8057b157b8a80160dee18"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/KH/TRJAaAFaixXTnINe2vuVEyXW8Kt+/xF6gCl4C55GfS4DqWemwJHMPkJN9e292RQatOo7rihfIhY7MTtsCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T11:11:30.365558Z","bundle_sha256":"96032d93f606d27f5791e5788f313dd49b54b5690f75380b65f83b786489d44a"}}