{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:JNPQTAYUZNZQBVGG7GWH6ETMMN","short_pith_number":"pith:JNPQTAYU","canonical_record":{"source":{"id":"2506.11874","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-13T15:26:58Z","cross_cats_sorted":[],"title_canon_sha256":"6c1a5427cdf0e12b2cd6668e4eaa009a966b416add37afd41d19aaa6e73f772c","abstract_canon_sha256":"fcfbfd1c28e81b09ed70d9be70da4dc984ba1fc6c14011d43ac77c0e255675d1"},"schema_version":"1.0"},"canonical_sha256":"4b5f098314cb7300d4c6f9ac7f126c634d4247169942de7429df843963546e29","source":{"kind":"arxiv","id":"2506.11874","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.11874","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"arxiv_version","alias_value":"2506.11874v1","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.11874","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"pith_short_12","alias_value":"JNPQTAYUZNZQ","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"pith_short_16","alias_value":"JNPQTAYUZNZQBVGG","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"pith_short_8","alias_value":"JNPQTAYU","created_at":"2026-07-05T11:21:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:JNPQTAYUZNZQBVGG7GWH6ETMMN","target":"record","payload":{"canonical_record":{"source":{"id":"2506.11874","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-13T15:26:58Z","cross_cats_sorted":[],"title_canon_sha256":"6c1a5427cdf0e12b2cd6668e4eaa009a966b416add37afd41d19aaa6e73f772c","abstract_canon_sha256":"fcfbfd1c28e81b09ed70d9be70da4dc984ba1fc6c14011d43ac77c0e255675d1"},"schema_version":"1.0"},"canonical_sha256":"4b5f098314cb7300d4c6f9ac7f126c634d4247169942de7429df843963546e29","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:21:12.076023Z","signature_b64":"qiWLcf1db5/uR/NHL8LV/9GIGasbwdmJpAZev+knht3SsOdtRBWetm/0aPGm4vLx3job+nvZy8/DSO3IYuCdCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b5f098314cb7300d4c6f9ac7f126c634d4247169942de7429df843963546e29","last_reissued_at":"2026-07-05T11:21:12.075681Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:21:12.075681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.11874","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-05T11:21:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HZneTsHsIkJrC8ash/ZU/aOfTfxITZJZJvBy/VBqVHGDn3MCEqFaJATHr2XCHtUgUnoOeR05pJnqzdw4UZTvAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T19:47:46.191041Z"},"content_sha256":"1a58b2ad0be4321e82eb52ad02db1c26bed6ec0c12cb633003554318af0e4138","schema_version":"1.0","event_id":"sha256:1a58b2ad0be4321e82eb52ad02db1c26bed6ec0c12cb633003554318af0e4138"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:JNPQTAYUZNZQBVGG7GWH6ETMMN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Short Survey on Formalising Software Requirements using Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan","submitted_at":"2025-06-13T15:26:58Z","abstract_excerpt":"This paper presents a focused literature survey on the use of large language models (LLM) to assist in writing formal specifications for software. A summary of thirty-five key papers is presented, including examples for specifying programs written in Dafny, C and Java. This paper arose from the project VERIFAI - Traceability and verification of natural language requirements that addresses the challenges in writing formal specifications from requirements that are expressed in natural language. Our methodology employed multiple academic databases to identify relevant research. The AI-assisted to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.11874","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/2506.11874/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-05T11:21:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IDI+Eilu1OBmvyfqaVfvSJGoV/Sm5jzdUwf1nZw+zd+5Y0QMjMTfsDxpuakBMA1RUjKXUIsIvYwF3CyX5q6KBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T19:47:46.191833Z"},"content_sha256":"176a73826303d77d0e96e0d6b27e90064c77889a7bc57a3ae2220e30701d54a3","schema_version":"1.0","event_id":"sha256:176a73826303d77d0e96e0d6b27e90064c77889a7bc57a3ae2220e30701d54a3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JNPQTAYUZNZQBVGG7GWH6ETMMN/bundle.json","state_url":"https://pith.science/pith/JNPQTAYUZNZQBVGG7GWH6ETMMN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JNPQTAYUZNZQBVGG7GWH6ETMMN/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-20T19:47:46Z","links":{"resolver":"https://pith.science/pith/JNPQTAYUZNZQBVGG7GWH6ETMMN","bundle":"https://pith.science/pith/JNPQTAYUZNZQBVGG7GWH6ETMMN/bundle.json","state":"https://pith.science/pith/JNPQTAYUZNZQBVGG7GWH6ETMMN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JNPQTAYUZNZQBVGG7GWH6ETMMN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:JNPQTAYUZNZQBVGG7GWH6ETMMN","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":"fcfbfd1c28e81b09ed70d9be70da4dc984ba1fc6c14011d43ac77c0e255675d1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-13T15:26:58Z","title_canon_sha256":"6c1a5427cdf0e12b2cd6668e4eaa009a966b416add37afd41d19aaa6e73f772c"},"schema_version":"1.0","source":{"id":"2506.11874","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.11874","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"arxiv_version","alias_value":"2506.11874v1","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.11874","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"pith_short_12","alias_value":"JNPQTAYUZNZQ","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"pith_short_16","alias_value":"JNPQTAYUZNZQBVGG","created_at":"2026-07-05T11:21:12Z"},{"alias_kind":"pith_short_8","alias_value":"JNPQTAYU","created_at":"2026-07-05T11:21:12Z"}],"graph_snapshots":[{"event_id":"sha256:176a73826303d77d0e96e0d6b27e90064c77889a7bc57a3ae2220e30701d54a3","target":"graph","created_at":"2026-07-05T11:21:12Z","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/2506.11874/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a focused literature survey on the use of large language models (LLM) to assist in writing formal specifications for software. A summary of thirty-five key papers is presented, including examples for specifying programs written in Dafny, C and Java. This paper arose from the project VERIFAI - Traceability and verification of natural language requirements that addresses the challenges in writing formal specifications from requirements that are expressed in natural language. Our methodology employed multiple academic databases to identify relevant research. The AI-assisted to","authors_text":"Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.11874","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:1a58b2ad0be4321e82eb52ad02db1c26bed6ec0c12cb633003554318af0e4138","target":"record","created_at":"2026-07-05T11:21:12Z","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":"fcfbfd1c28e81b09ed70d9be70da4dc984ba1fc6c14011d43ac77c0e255675d1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-13T15:26:58Z","title_canon_sha256":"6c1a5427cdf0e12b2cd6668e4eaa009a966b416add37afd41d19aaa6e73f772c"},"schema_version":"1.0","source":{"id":"2506.11874","kind":"arxiv","version":1}},"canonical_sha256":"4b5f098314cb7300d4c6f9ac7f126c634d4247169942de7429df843963546e29","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b5f098314cb7300d4c6f9ac7f126c634d4247169942de7429df843963546e29","first_computed_at":"2026-07-05T11:21:12.075681Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:21:12.075681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qiWLcf1db5/uR/NHL8LV/9GIGasbwdmJpAZev+knht3SsOdtRBWetm/0aPGm4vLx3job+nvZy8/DSO3IYuCdCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:21:12.076023Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.11874","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a58b2ad0be4321e82eb52ad02db1c26bed6ec0c12cb633003554318af0e4138","sha256:176a73826303d77d0e96e0d6b27e90064c77889a7bc57a3ae2220e30701d54a3"],"state_sha256":"d6f0326d4db1a1b8b1ab44365f46d4771e45882c25381717b161e0e8496c744d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TLMf0YrPSwQ3apz82PhROPzXjb4NuvcC1/4v4RJ4lHkYmnIcoQyOXUtey3U4qqdGroojCSYys7fm/hvE4TK2Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T19:47:46.197304Z","bundle_sha256":"c0205aba6924cb2a21b8ac6f344faf0dbb4af40952efd1f6c6439c4b4997f687"}}