{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZB3GV6CNCMYXGGASRRAKSFUMOT","short_pith_number":"pith:ZB3GV6CN","canonical_record":{"source":{"id":"2406.06835","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-06-10T22:44:25Z","cross_cats_sorted":[],"title_canon_sha256":"a33a607c419ded15ec09facf98f6423e72d468c1d51f150b54582f1a0e8df982","abstract_canon_sha256":"d3be86eed25dae9aef37c5af62d0922212be4b1720dbd8942737e96d02dfda71"},"schema_version":"1.0"},"canonical_sha256":"c8766af84d13317318128c40a9168c74edf9c1d5a1e3b98c89d03ae19e5974e9","source":{"kind":"arxiv","id":"2406.06835","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.06835","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"arxiv_version","alias_value":"2406.06835v1","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.06835","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"pith_short_12","alias_value":"ZB3GV6CNCMYX","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"pith_short_16","alias_value":"ZB3GV6CNCMYXGGAS","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"pith_short_8","alias_value":"ZB3GV6CN","created_at":"2026-07-05T08:29:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZB3GV6CNCMYXGGASRRAKSFUMOT","target":"record","payload":{"canonical_record":{"source":{"id":"2406.06835","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-06-10T22:44:25Z","cross_cats_sorted":[],"title_canon_sha256":"a33a607c419ded15ec09facf98f6423e72d468c1d51f150b54582f1a0e8df982","abstract_canon_sha256":"d3be86eed25dae9aef37c5af62d0922212be4b1720dbd8942737e96d02dfda71"},"schema_version":"1.0"},"canonical_sha256":"c8766af84d13317318128c40a9168c74edf9c1d5a1e3b98c89d03ae19e5974e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:29:51.019377Z","signature_b64":"lSGDhsUyTs4/09pp12b0xS6C30gGwSiYTBv8i9Feks5ytPmDwiUTjJhpHkQTvYnEKspHyJ5oxhutzrDzX4aIDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8766af84d13317318128c40a9168c74edf9c1d5a1e3b98c89d03ae19e5974e9","last_reissued_at":"2026-07-05T08:29:51.018891Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:29:51.018891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.06835","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-05T08:29:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aCDjEZ3prArttpFgHgQ+YReuWOnh9SLGT9eWx02Zf69E5H7VUAndDKFX25D6eEaB/bRKV7WKl3pKxS3sxOLeBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T09:13:05.200708Z"},"content_sha256":"e8e981e6500aaac4df84f9fc52972663d02f3053e3a9ecd0bbd33170a036b049","schema_version":"1.0","event_id":"sha256:e8e981e6500aaac4df84f9fc52972663d02f3053e3a9ecd0bbd33170a036b049"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZB3GV6CNCMYXGGASRRAKSFUMOT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Large language models for generating rules, yay or nay?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Mohamed Abdelrazek, Rena Logothetis, Scott Barnett, Shangeetha Sivasothy, Srikanth Thudumu, Zac Brannelly, Zafaryab Rasool","submitted_at":"2024-06-10T22:44:25Z","abstract_excerpt":"Engineering safety-critical systems such as medical devices and digital health intervention systems is complex, where long-term engagement with subject-matter experts (SMEs) is needed to capture the systems' expected behaviour. In this paper, we present a novel approach that leverages Large Language Models (LLMs), such as GPT-3.5 and GPT-4, as a potential world model to accelerate the engineering of software systems. This approach involves using LLMs to generate logic rules, which can then be reviewed and informed by SMEs before deployment. We evaluate our approach using a medical rule set, cr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.06835","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/2406.06835/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:29:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RKUb/HiqAttdfUmYgJBo8YECB1F9RTHdQ/ZSaiOHS4Q6Tcp31EQfP5h3qEc27oEMayHsQeBHQe70bjUIEnCnDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T09:13:05.201342Z"},"content_sha256":"bb28e0890613d0b85cbea6b62c4cd0870afbeaf176bd55da8802326dbd5fd1ad","schema_version":"1.0","event_id":"sha256:bb28e0890613d0b85cbea6b62c4cd0870afbeaf176bd55da8802326dbd5fd1ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZB3GV6CNCMYXGGASRRAKSFUMOT/bundle.json","state_url":"https://pith.science/pith/ZB3GV6CNCMYXGGASRRAKSFUMOT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZB3GV6CNCMYXGGASRRAKSFUMOT/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-11T09:13:05Z","links":{"resolver":"https://pith.science/pith/ZB3GV6CNCMYXGGASRRAKSFUMOT","bundle":"https://pith.science/pith/ZB3GV6CNCMYXGGASRRAKSFUMOT/bundle.json","state":"https://pith.science/pith/ZB3GV6CNCMYXGGASRRAKSFUMOT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZB3GV6CNCMYXGGASRRAKSFUMOT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZB3GV6CNCMYXGGASRRAKSFUMOT","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":"d3be86eed25dae9aef37c5af62d0922212be4b1720dbd8942737e96d02dfda71","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-06-10T22:44:25Z","title_canon_sha256":"a33a607c419ded15ec09facf98f6423e72d468c1d51f150b54582f1a0e8df982"},"schema_version":"1.0","source":{"id":"2406.06835","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.06835","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"arxiv_version","alias_value":"2406.06835v1","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.06835","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"pith_short_12","alias_value":"ZB3GV6CNCMYX","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"pith_short_16","alias_value":"ZB3GV6CNCMYXGGAS","created_at":"2026-07-05T08:29:51Z"},{"alias_kind":"pith_short_8","alias_value":"ZB3GV6CN","created_at":"2026-07-05T08:29:51Z"}],"graph_snapshots":[{"event_id":"sha256:bb28e0890613d0b85cbea6b62c4cd0870afbeaf176bd55da8802326dbd5fd1ad","target":"graph","created_at":"2026-07-05T08:29:51Z","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/2406.06835/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Engineering safety-critical systems such as medical devices and digital health intervention systems is complex, where long-term engagement with subject-matter experts (SMEs) is needed to capture the systems' expected behaviour. In this paper, we present a novel approach that leverages Large Language Models (LLMs), such as GPT-3.5 and GPT-4, as a potential world model to accelerate the engineering of software systems. This approach involves using LLMs to generate logic rules, which can then be reviewed and informed by SMEs before deployment. We evaluate our approach using a medical rule set, cr","authors_text":"Mohamed Abdelrazek, Rena Logothetis, Scott Barnett, Shangeetha Sivasothy, Srikanth Thudumu, Zac Brannelly, Zafaryab Rasool","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-06-10T22:44:25Z","title":"Large language models for generating rules, yay or nay?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.06835","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:e8e981e6500aaac4df84f9fc52972663d02f3053e3a9ecd0bbd33170a036b049","target":"record","created_at":"2026-07-05T08:29:51Z","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":"d3be86eed25dae9aef37c5af62d0922212be4b1720dbd8942737e96d02dfda71","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-06-10T22:44:25Z","title_canon_sha256":"a33a607c419ded15ec09facf98f6423e72d468c1d51f150b54582f1a0e8df982"},"schema_version":"1.0","source":{"id":"2406.06835","kind":"arxiv","version":1}},"canonical_sha256":"c8766af84d13317318128c40a9168c74edf9c1d5a1e3b98c89d03ae19e5974e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8766af84d13317318128c40a9168c74edf9c1d5a1e3b98c89d03ae19e5974e9","first_computed_at":"2026-07-05T08:29:51.018891Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:29:51.018891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lSGDhsUyTs4/09pp12b0xS6C30gGwSiYTBv8i9Feks5ytPmDwiUTjJhpHkQTvYnEKspHyJ5oxhutzrDzX4aIDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:29:51.019377Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.06835","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8e981e6500aaac4df84f9fc52972663d02f3053e3a9ecd0bbd33170a036b049","sha256:bb28e0890613d0b85cbea6b62c4cd0870afbeaf176bd55da8802326dbd5fd1ad"],"state_sha256":"d6e54dc5ae8eb4b8ab3949b2a2d8d7059deaca4f4c53fc20ee1056655b2337c2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8cktVoOha9qBnBG/2ZehUxkLjpYYzKz4XQz2oKrHpREPfpwoAkBnVQA68/h3mVdR/PmI7cWMFtj+SLuqFNZHAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T09:13:05.206299Z","bundle_sha256":"9364dda1db23a8ad040f4ed1f1ccb4d65b72200e1678a8547a3ab35d8f65b7cf"}}