{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:G6W6CTJDVMVO25NSGD7HMZ73Q2","short_pith_number":"pith:G6W6CTJD","schema_version":"1.0","canonical_sha256":"37ade14d23ab2aed75b230fe7667fb86a7aff4cc5fae32f0380ffc5b6835a3d7","source":{"kind":"arxiv","id":"2506.10704","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.10704","created_at":"2026-07-05T11:20:28.800144+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.10704v1","created_at":"2026-07-05T11:20:28.800144+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.10704","created_at":"2026-07-05T11:20:28.800144+00:00"},{"alias_kind":"pith_short_12","alias_value":"G6W6CTJDVMVO","created_at":"2026-07-05T11:20:28.800144+00:00"},{"alias_kind":"pith_short_16","alias_value":"G6W6CTJDVMVO25NS","created_at":"2026-07-05T11:20:28.800144+00:00"},{"alias_kind":"pith_short_8","alias_value":"G6W6CTJD","created_at":"2026-07-05T11:20:28.800144+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.14330","citing_title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","ref_index":2,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2","json":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2.json","graph_json":"https://pith.science/api/pith-number/G6W6CTJDVMVO25NSGD7HMZ73Q2/graph.json","events_json":"https://pith.science/api/pith-number/G6W6CTJDVMVO25NSGD7HMZ73Q2/events.json","paper":"https://pith.science/paper/G6W6CTJD"},"agent_actions":{"view_html":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2","download_json":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2.json","view_paper":"https://pith.science/paper/G6W6CTJD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.10704&json=true","fetch_graph":"https://pith.science/api/pith-number/G6W6CTJDVMVO25NSGD7HMZ73Q2/graph.json","fetch_events":"https://pith.science/api/pith-number/G6W6CTJDVMVO25NSGD7HMZ73Q2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/action/storage_attestation","attest_author":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/action/author_attestation","sign_citation":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/action/citation_signature","submit_replication":"https://pith.science/pith/G6W6CTJDVMVO25NSGD7HMZ73Q2/action/replication_record"}},"created_at":"2026-07-05T11:20:28.800144+00:00","updated_at":"2026-07-05T11:20:28.800144+00:00"}