{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:NNJJUVMYXBNPQLA3TGXO7REXKG","short_pith_number":"pith:NNJJUVMY","canonical_record":{"source":{"id":"2304.09181","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-18T01:22:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1c0afcf0049cc504caa4c898a6a1335d91923633da0079686952623ec26b7c80","abstract_canon_sha256":"93062e568a76dff809167d451f4bee71deaf75c0cf175495c63bde49f35d0631"},"schema_version":"1.0"},"canonical_sha256":"6b529a5598b85af82c1b99aeefc49751bf13b8ea6545d729fe61fe4ed00cc2d6","source":{"kind":"arxiv","id":"2304.09181","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.09181","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"arxiv_version","alias_value":"2304.09181v1","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.09181","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"pith_short_12","alias_value":"NNJJUVMYXBNP","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"pith_short_16","alias_value":"NNJJUVMYXBNPQLA3","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"pith_short_8","alias_value":"NNJJUVMY","created_at":"2026-07-05T06:02:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:NNJJUVMYXBNPQLA3TGXO7REXKG","target":"record","payload":{"canonical_record":{"source":{"id":"2304.09181","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-18T01:22:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1c0afcf0049cc504caa4c898a6a1335d91923633da0079686952623ec26b7c80","abstract_canon_sha256":"93062e568a76dff809167d451f4bee71deaf75c0cf175495c63bde49f35d0631"},"schema_version":"1.0"},"canonical_sha256":"6b529a5598b85af82c1b99aeefc49751bf13b8ea6545d729fe61fe4ed00cc2d6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:02:34.690616Z","signature_b64":"5Boc7AAaL6q7PSDODiWvXGvM31t2sNKeOqLNaNnRXcHCVd8opRDv86OsU+M4nhv9IwEuw8FCGWP/IoDxbaTQCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6b529a5598b85af82c1b99aeefc49751bf13b8ea6545d729fe61fe4ed00cc2d6","last_reissued_at":"2026-07-05T06:02:34.690100Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:02:34.690100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.09181","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-05T06:02:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vlEIeBumpkEb1OkiQ0WHHWxivE0JI5dFo9xeFowwcbR26bW4vvISrxbZiGfg/T5LeVhlu7RRmpkLJpVH/DXCBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T11:47:30.356620Z"},"content_sha256":"8f3d673deba41020fa682c5f4d92dafc5190e072e21075e64feacb5708783236","schema_version":"1.0","event_id":"sha256:8f3d673deba41020fa682c5f4d92dafc5190e072e21075e64feacb5708783236"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:NNJJUVMYXBNPQLA3TGXO7REXKG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Large Language Models Based Automatic Synthesis of Software Specifications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Abdullah Muzahid, Adhrik Chethan, Javier Turek, Jesmin Jahan Tithi, Shantanu Mandal, S M Farabi Mahmud, Todd A Anderson, Vahid Janfaza","submitted_at":"2023-04-18T01:22:44Z","abstract_excerpt":"Software configurations play a crucial role in determining the behavior of software systems. In order to ensure safe and error-free operation, it is necessary to identify the correct configuration, along with their valid bounds and rules, which are commonly referred to as software specifications. As software systems grow in complexity and scale, the number of configurations and associated specifications required to ensure the correct operation can become large and prohibitively difficult to manipulate manually. Due to the fast pace of software development, it is often the case that correct sof"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.09181","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/2304.09181/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-05T06:02:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ghvhE8hT1YMlSlrJ1t7tbT8zHR2vOt3odQp3YpY5tUAELTtfQ5YelW6F88GxbjkQGbUoSyck0nj0Bn1cXJKDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T11:47:30.357366Z"},"content_sha256":"72f86a4003067625c698792e9b174699e2712a04a51af8d011bd77c714c73a53","schema_version":"1.0","event_id":"sha256:72f86a4003067625c698792e9b174699e2712a04a51af8d011bd77c714c73a53"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NNJJUVMYXBNPQLA3TGXO7REXKG/bundle.json","state_url":"https://pith.science/pith/NNJJUVMYXBNPQLA3TGXO7REXKG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NNJJUVMYXBNPQLA3TGXO7REXKG/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-09T11:47:30Z","links":{"resolver":"https://pith.science/pith/NNJJUVMYXBNPQLA3TGXO7REXKG","bundle":"https://pith.science/pith/NNJJUVMYXBNPQLA3TGXO7REXKG/bundle.json","state":"https://pith.science/pith/NNJJUVMYXBNPQLA3TGXO7REXKG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NNJJUVMYXBNPQLA3TGXO7REXKG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:NNJJUVMYXBNPQLA3TGXO7REXKG","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":"93062e568a76dff809167d451f4bee71deaf75c0cf175495c63bde49f35d0631","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-18T01:22:44Z","title_canon_sha256":"1c0afcf0049cc504caa4c898a6a1335d91923633da0079686952623ec26b7c80"},"schema_version":"1.0","source":{"id":"2304.09181","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.09181","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"arxiv_version","alias_value":"2304.09181v1","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.09181","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"pith_short_12","alias_value":"NNJJUVMYXBNP","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"pith_short_16","alias_value":"NNJJUVMYXBNPQLA3","created_at":"2026-07-05T06:02:34Z"},{"alias_kind":"pith_short_8","alias_value":"NNJJUVMY","created_at":"2026-07-05T06:02:34Z"}],"graph_snapshots":[{"event_id":"sha256:72f86a4003067625c698792e9b174699e2712a04a51af8d011bd77c714c73a53","target":"graph","created_at":"2026-07-05T06:02:34Z","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/2304.09181/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software configurations play a crucial role in determining the behavior of software systems. In order to ensure safe and error-free operation, it is necessary to identify the correct configuration, along with their valid bounds and rules, which are commonly referred to as software specifications. As software systems grow in complexity and scale, the number of configurations and associated specifications required to ensure the correct operation can become large and prohibitively difficult to manipulate manually. Due to the fast pace of software development, it is often the case that correct sof","authors_text":"Abdullah Muzahid, Adhrik Chethan, Javier Turek, Jesmin Jahan Tithi, Shantanu Mandal, S M Farabi Mahmud, Todd A Anderson, Vahid Janfaza","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-18T01:22:44Z","title":"Large Language Models Based Automatic Synthesis of Software Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.09181","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:8f3d673deba41020fa682c5f4d92dafc5190e072e21075e64feacb5708783236","target":"record","created_at":"2026-07-05T06:02:34Z","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":"93062e568a76dff809167d451f4bee71deaf75c0cf175495c63bde49f35d0631","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-18T01:22:44Z","title_canon_sha256":"1c0afcf0049cc504caa4c898a6a1335d91923633da0079686952623ec26b7c80"},"schema_version":"1.0","source":{"id":"2304.09181","kind":"arxiv","version":1}},"canonical_sha256":"6b529a5598b85af82c1b99aeefc49751bf13b8ea6545d729fe61fe4ed00cc2d6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b529a5598b85af82c1b99aeefc49751bf13b8ea6545d729fe61fe4ed00cc2d6","first_computed_at":"2026-07-05T06:02:34.690100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:02:34.690100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Boc7AAaL6q7PSDODiWvXGvM31t2sNKeOqLNaNnRXcHCVd8opRDv86OsU+M4nhv9IwEuw8FCGWP/IoDxbaTQCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:02:34.690616Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.09181","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f3d673deba41020fa682c5f4d92dafc5190e072e21075e64feacb5708783236","sha256:72f86a4003067625c698792e9b174699e2712a04a51af8d011bd77c714c73a53"],"state_sha256":"c5e20a5937220666a28353c26d3f7456ae13edef33818dc15192f5672f9c06a6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KkkHPU/ftopiGGBFqfMM/x29/Ab+GuKZjz71KLYHoOqI0wpP8axEHiK5Zu4hQK4dYyccaErtL2uOkHzigK+4AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T11:47:30.362924Z","bundle_sha256":"18223b6566416f30e26f0bfa8918420ee8649efc9bf6be987b92d4265a60ae72"}}