{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:KFF6RH7F5FL36O2R5LARWA3D2Z","short_pith_number":"pith:KFF6RH7F","canonical_record":{"source":{"id":"2411.11582","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-18T13:59:29Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"28d33568a29c7a0723b02a08999abc4c2ec8753b052ec6db0134bc905d82fea1","abstract_canon_sha256":"49fc3b97e39ea90d4c4201a126c24c2228627c6c07b32c27d0a41cad67b29f50"},"schema_version":"1.0"},"canonical_sha256":"514be89fe5e957bf3b51eac11b0363d650ac17fb4c07159fbc5ee4a546d665de","source":{"kind":"arxiv","id":"2411.11582","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.11582","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"arxiv_version","alias_value":"2411.11582v1","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.11582","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"pith_short_12","alias_value":"KFF6RH7F5FL3","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"pith_short_16","alias_value":"KFF6RH7F5FL36O2R","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"pith_short_8","alias_value":"KFF6RH7F","created_at":"2026-07-05T09:36:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:KFF6RH7F5FL36O2R5LARWA3D2Z","target":"record","payload":{"canonical_record":{"source":{"id":"2411.11582","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-18T13:59:29Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"28d33568a29c7a0723b02a08999abc4c2ec8753b052ec6db0134bc905d82fea1","abstract_canon_sha256":"49fc3b97e39ea90d4c4201a126c24c2228627c6c07b32c27d0a41cad67b29f50"},"schema_version":"1.0"},"canonical_sha256":"514be89fe5e957bf3b51eac11b0363d650ac17fb4c07159fbc5ee4a546d665de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:36:58.159682Z","signature_b64":"/mT29ZyXlrByTeP7vJN7BELwiKfG1ciyJUW4YWvwp67htqKkf7e16Pkzri+/c35GycOa3vhywplXj8OQmyeyAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"514be89fe5e957bf3b51eac11b0363d650ac17fb4c07159fbc5ee4a546d665de","last_reissued_at":"2026-07-05T09:36:58.159258Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:36:58.159258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.11582","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-05T09:36:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nyvyO0HN6dhd6XuucR0oHbv7ewG+Uti5jcC5yy4qHuCtAbTwBbYs7NGe8ade0lk0GVNArkLhku37GL8I0GCmBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:47:50.211209Z"},"content_sha256":"a000380d390d3ebb5fd7d116aae823322102df63bac6aacad6b22627f157102a","schema_version":"1.0","event_id":"sha256:a000380d390d3ebb5fd7d116aae823322102df63bac6aacad6b22627f157102a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:KFF6RH7F5FL36O2R5LARWA3D2Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploring LLMs for Verifying Technical System Specifications Against Requirements","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Alexander Fay, Felix Gehlhoff, Lasse M. Reinpold, Lukas P. Wagner, Marvin Schieseck","submitted_at":"2024-11-18T13:59:29Z","abstract_excerpt":"Requirements engineering is a knowledge intensive process and crucial for the success of engineering projects. The field of knowledge-based requirements engineering (KBRE) aims to support engineers by providing knowledge to assist in the elicitation, validation, and management of system requirements. The advent of large language models (LLMs) opens new opportunities in the field of KBRE. This work experimentally investigates the potential of LLMs in requirements verification. Therein, LLMs are provided with a set of requirements and a textual system specification and are prompted to assess whi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.11582","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/2411.11582/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-05T09:36:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3OUa/TJNdk12juIkLmpFVs1sCdKFHI4QhInbheGXIb27VErgmXxjzeRIchA2CDA5NAv24hxiBsrndMjc53fvAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:47:50.211747Z"},"content_sha256":"062dadbd27ace5ff81abe695a41b1646b5d47fa3529cba2ad00b3ae4e100ec7a","schema_version":"1.0","event_id":"sha256:062dadbd27ace5ff81abe695a41b1646b5d47fa3529cba2ad00b3ae4e100ec7a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KFF6RH7F5FL36O2R5LARWA3D2Z/bundle.json","state_url":"https://pith.science/pith/KFF6RH7F5FL36O2R5LARWA3D2Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KFF6RH7F5FL36O2R5LARWA3D2Z/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-07T21:47:50Z","links":{"resolver":"https://pith.science/pith/KFF6RH7F5FL36O2R5LARWA3D2Z","bundle":"https://pith.science/pith/KFF6RH7F5FL36O2R5LARWA3D2Z/bundle.json","state":"https://pith.science/pith/KFF6RH7F5FL36O2R5LARWA3D2Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KFF6RH7F5FL36O2R5LARWA3D2Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:KFF6RH7F5FL36O2R5LARWA3D2Z","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":"49fc3b97e39ea90d4c4201a126c24c2228627c6c07b32c27d0a41cad67b29f50","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-18T13:59:29Z","title_canon_sha256":"28d33568a29c7a0723b02a08999abc4c2ec8753b052ec6db0134bc905d82fea1"},"schema_version":"1.0","source":{"id":"2411.11582","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.11582","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"arxiv_version","alias_value":"2411.11582v1","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.11582","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"pith_short_12","alias_value":"KFF6RH7F5FL3","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"pith_short_16","alias_value":"KFF6RH7F5FL36O2R","created_at":"2026-07-05T09:36:58Z"},{"alias_kind":"pith_short_8","alias_value":"KFF6RH7F","created_at":"2026-07-05T09:36:58Z"}],"graph_snapshots":[{"event_id":"sha256:062dadbd27ace5ff81abe695a41b1646b5d47fa3529cba2ad00b3ae4e100ec7a","target":"graph","created_at":"2026-07-05T09:36:58Z","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/2411.11582/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Requirements engineering is a knowledge intensive process and crucial for the success of engineering projects. The field of knowledge-based requirements engineering (KBRE) aims to support engineers by providing knowledge to assist in the elicitation, validation, and management of system requirements. The advent of large language models (LLMs) opens new opportunities in the field of KBRE. This work experimentally investigates the potential of LLMs in requirements verification. Therein, LLMs are provided with a set of requirements and a textual system specification and are prompted to assess whi","authors_text":"Alexander Fay, Felix Gehlhoff, Lasse M. Reinpold, Lukas P. Wagner, Marvin Schieseck","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-18T13:59:29Z","title":"Exploring LLMs for Verifying Technical System Specifications Against Requirements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.11582","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:a000380d390d3ebb5fd7d116aae823322102df63bac6aacad6b22627f157102a","target":"record","created_at":"2026-07-05T09:36:58Z","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":"49fc3b97e39ea90d4c4201a126c24c2228627c6c07b32c27d0a41cad67b29f50","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-18T13:59:29Z","title_canon_sha256":"28d33568a29c7a0723b02a08999abc4c2ec8753b052ec6db0134bc905d82fea1"},"schema_version":"1.0","source":{"id":"2411.11582","kind":"arxiv","version":1}},"canonical_sha256":"514be89fe5e957bf3b51eac11b0363d650ac17fb4c07159fbc5ee4a546d665de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"514be89fe5e957bf3b51eac11b0363d650ac17fb4c07159fbc5ee4a546d665de","first_computed_at":"2026-07-05T09:36:58.159258Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:36:58.159258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/mT29ZyXlrByTeP7vJN7BELwiKfG1ciyJUW4YWvwp67htqKkf7e16Pkzri+/c35GycOa3vhywplXj8OQmyeyAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:36:58.159682Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.11582","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a000380d390d3ebb5fd7d116aae823322102df63bac6aacad6b22627f157102a","sha256:062dadbd27ace5ff81abe695a41b1646b5d47fa3529cba2ad00b3ae4e100ec7a"],"state_sha256":"76b3680350dfd869dba7474dac7115a12d88dfa413cf5b665657bddce512385f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pTD0L1Mq7Fa7wlsP2CJPFzhAgXnFH9mOgAE5flPmTh88oHsFkL9WYmMD+RiiTTLEB2uMibtOgjAjH3ZZ7xv/Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T21:47:50.216739Z","bundle_sha256":"bb09a183ac4b8c507ca6093f891aad5f0b5da64c8276b458c64e85ae0d50f7a0"}}