{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:G6W6CTJDVMVO25NSGD7HMZ73Q2","short_pith_number":"pith:G6W6CTJD","canonical_record":{"source":{"id":"2506.10704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T13:55:01Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"dfe5e5726e0540a4179d21fc9792981d95b8368e7deb4b04e018061c9d70daef","abstract_canon_sha256":"48e8176b27ecc840c0ba98cb0c8fa5230cff6108d8511d84cd22e509ab75a83d"},"schema_version":"1.0"},"canonical_sha256":"37ade14d23ab2aed75b230fe7667fb86a7aff4cc5fae32f0380ffc5b6835a3d7","source":{"kind":"arxiv","id":"2506.10704","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.10704","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.10704v1","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.10704","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"pith_short_12","alias_value":"G6W6CTJDVMVO","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"pith_short_16","alias_value":"G6W6CTJDVMVO25NS","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"pith_short_8","alias_value":"G6W6CTJD","created_at":"2026-07-05T11:20:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:G6W6CTJDVMVO25NSGD7HMZ73Q2","target":"record","payload":{"canonical_record":{"source":{"id":"2506.10704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T13:55:01Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"dfe5e5726e0540a4179d21fc9792981d95b8368e7deb4b04e018061c9d70daef","abstract_canon_sha256":"48e8176b27ecc840c0ba98cb0c8fa5230cff6108d8511d84cd22e509ab75a83d"},"schema_version":"1.0"},"canonical_sha256":"37ade14d23ab2aed75b230fe7667fb86a7aff4cc5fae32f0380ffc5b6835a3d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:20:28.800552Z","signature_b64":"3454ZQwGpyDuRQ2MmLmII4kfBrnGggsb+m7ER6aMLncZiSzRHaoXyspAWocECaMj5G8m7XkUeVDJIkbrHdeuCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37ade14d23ab2aed75b230fe7667fb86a7aff4cc5fae32f0380ffc5b6835a3d7","last_reissued_at":"2026-07-05T11:20:28.800084Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:20:28.800084Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.10704","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:20:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ccNc56yi7R6f4C7/Z8ljYp1yoc5mL4TGraxtYQbP/YcR9/haFYixuNGhWAfpklmjQw9cYEDnm+XRbnPtU47CBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T13:17:50.799370Z"},"content_sha256":"bfd644ad4fe85d4ceb3c0c8529f81fd0900a9c271625fc276ef321aa5afd369f","schema_version":"1.0","event_id":"sha256:bfd644ad4fe85d4ceb3c0c8529f81fd0900a9c271625fc276ef321aa5afd369f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:G6W6CTJDVMVO25NSGD7HMZ73Q2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalising Software Requirements using Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan","submitted_at":"2025-06-12T13:55:01Z","abstract_excerpt":"This paper is a brief introduction to our recently initiated project named VERIFAI: Traceability and verification of natural language requirements. The project addresses the challenges in the traceability and verification of formal specifications through providing support for the automatic generation of the formal specifications and the traceability of the requirements from the initial software design stage through the systems implementation and verification. Approaches explored in this project include Natural Language Processing, use of ontologies to describe the software system domain, reuse"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.10704","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.10704/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:20:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tv1g93GCLwuDxazvsWEdoyiwILJ8bqMhns+ynz73s8TiouxxedZYWms8QRwpwfSbj8hqo9A3jEo3H1vlPxzUDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T13:17:50.800430Z"},"content_sha256":"0435bf19fe88c78bca55ed221e3b166487249f56ef3fc3b3efc4011ec133caa0","schema_version":"1.0","event_id":"sha256:0435bf19fe88c78bca55ed221e3b166487249f56ef3fc3b3efc4011ec133caa0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/bundle.json","state_url":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/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-07T13:17:50Z","links":{"resolver":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2","bundle":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/bundle.json","state":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:G6W6CTJDVMVO25NSGD7HMZ73Q2","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":"48e8176b27ecc840c0ba98cb0c8fa5230cff6108d8511d84cd22e509ab75a83d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T13:55:01Z","title_canon_sha256":"dfe5e5726e0540a4179d21fc9792981d95b8368e7deb4b04e018061c9d70daef"},"schema_version":"1.0","source":{"id":"2506.10704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.10704","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.10704v1","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.10704","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"pith_short_12","alias_value":"G6W6CTJDVMVO","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"pith_short_16","alias_value":"G6W6CTJDVMVO25NS","created_at":"2026-07-05T11:20:28Z"},{"alias_kind":"pith_short_8","alias_value":"G6W6CTJD","created_at":"2026-07-05T11:20:28Z"}],"graph_snapshots":[{"event_id":"sha256:0435bf19fe88c78bca55ed221e3b166487249f56ef3fc3b3efc4011ec133caa0","target":"graph","created_at":"2026-07-05T11:20:28Z","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.10704/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper is a brief introduction to our recently initiated project named VERIFAI: Traceability and verification of natural language requirements. The project addresses the challenges in the traceability and verification of formal specifications through providing support for the automatic generation of the formal specifications and the traceability of the requirements from the initial software design stage through the systems implementation and verification. Approaches explored in this project include Natural Language Processing, use of ontologies to describe the software system domain, reuse","authors_text":"Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.10704","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:bfd644ad4fe85d4ceb3c0c8529f81fd0900a9c271625fc276ef321aa5afd369f","target":"record","created_at":"2026-07-05T11:20:28Z","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":"48e8176b27ecc840c0ba98cb0c8fa5230cff6108d8511d84cd22e509ab75a83d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-12T13:55:01Z","title_canon_sha256":"dfe5e5726e0540a4179d21fc9792981d95b8368e7deb4b04e018061c9d70daef"},"schema_version":"1.0","source":{"id":"2506.10704","kind":"arxiv","version":1}},"canonical_sha256":"37ade14d23ab2aed75b230fe7667fb86a7aff4cc5fae32f0380ffc5b6835a3d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37ade14d23ab2aed75b230fe7667fb86a7aff4cc5fae32f0380ffc5b6835a3d7","first_computed_at":"2026-07-05T11:20:28.800084Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:20:28.800084Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3454ZQwGpyDuRQ2MmLmII4kfBrnGggsb+m7ER6aMLncZiSzRHaoXyspAWocECaMj5G8m7XkUeVDJIkbrHdeuCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:20:28.800552Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.10704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bfd644ad4fe85d4ceb3c0c8529f81fd0900a9c271625fc276ef321aa5afd369f","sha256:0435bf19fe88c78bca55ed221e3b166487249f56ef3fc3b3efc4011ec133caa0"],"state_sha256":"311503f05307d947635fd885338ef8c8f8b871f48dc87fdcc61ed02e58cf008b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bXzOdtE/+GD5p8uF5mSBdvCepCEgUjvVDOOKkBPCIjnk5CfwEs7syU8mgmARBoXDoPzH4J8GGa0gZ43B5nQ9Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T13:17:50.811792Z","bundle_sha256":"3f006b89f4c729800ab47120cff9af95ed845d9d2e379980ab070c271ceec419"}}