{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:CHDOOTR4VB6SD6JOLGBZ35QEQB","short_pith_number":"pith:CHDOOTR4","schema_version":"1.0","canonical_sha256":"11c6e74e3ca87d21f92e59839df604806e8f6798c4b3daa539c43539f7164d0e","source":{"kind":"arxiv","id":"2412.08593","version":1},"attestation_state":"computed","paper":{"title":"Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.IR"],"primary_cat":"cs.SE","authors_text":"Arsalan Masoudifard, Elahe Habibi, Moein Madadi, Mohammad Mowlavi Sorond, Mohammad Sabokrou","submitted_at":"2024-12-11T18:11:39Z","abstract_excerpt":"Ensuring that Software Requirements Specifications (SRS) align with higher-level organizational or national requirements is vital, particularly in regulated environments such as finance and aerospace. In these domains, maintaining consistency, adhering to regulatory frameworks, minimizing errors, and meeting critical expectations are essential for the reliable functioning of systems. The widespread adoption of large language models (LLMs) highlights their immense potential, yet there remains considerable scope for improvement in retrieving relevant information and enhancing reasoning capabilit"},"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":"2412.08593","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-11T18:11:39Z","cross_cats_sorted":["cs.IR"],"title_canon_sha256":"7a486cda67348c6ff3da915f24875fa91adfa61ffed609b88c6fd78efbaa0a38","abstract_canon_sha256":"db9d27be873281eaebb2827887b4cb923fc447512aa9f7117088e833e1d53249"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:47:52.331791Z","signature_b64":"bTjEC+cY3+bNay3kNFrzR97d2RqRMkhUCNk2/6CDbm16zg7CO4woLxJg829dcckPqNeT9srNKqu4ivQgTwB0BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"11c6e74e3ca87d21f92e59839df604806e8f6798c4b3daa539c43539f7164d0e","last_reissued_at":"2026-07-05T09:47:52.331342Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:47:52.331342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.IR"],"primary_cat":"cs.SE","authors_text":"Arsalan Masoudifard, Elahe Habibi, Moein Madadi, Mohammad Mowlavi Sorond, Mohammad Sabokrou","submitted_at":"2024-12-11T18:11:39Z","abstract_excerpt":"Ensuring that Software Requirements Specifications (SRS) align with higher-level organizational or national requirements is vital, particularly in regulated environments such as finance and aerospace. In these domains, maintaining consistency, adhering to regulatory frameworks, minimizing errors, and meeting critical expectations are essential for the reliable functioning of systems. The widespread adoption of large language models (LLMs) highlights their immense potential, yet there remains considerable scope for improvement in retrieving relevant information and enhancing reasoning capabilit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.08593","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/2412.08593/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":"2412.08593","created_at":"2026-07-05T09:47:52.331402+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.08593v1","created_at":"2026-07-05T09:47:52.331402+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.08593","created_at":"2026-07-05T09:47:52.331402+00:00"},{"alias_kind":"pith_short_12","alias_value":"CHDOOTR4VB6S","created_at":"2026-07-05T09:47:52.331402+00:00"},{"alias_kind":"pith_short_16","alias_value":"CHDOOTR4VB6SD6JO","created_at":"2026-07-05T09:47:52.331402+00:00"},{"alias_kind":"pith_short_8","alias_value":"CHDOOTR4","created_at":"2026-07-05T09:47:52.331402+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2412.02408","citing_title":"Leveraging Ensemble-Based Semi-Supervised Learning for Illicit Account Detection in Ethereum DeFi Transactions","ref_index":20,"is_internal_anchor":false},{"citing_arxiv_id":"2605.01562","citing_title":"Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse","ref_index":13,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB","json":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB.json","graph_json":"https://pith.science/api/pith-number/CHDOOTR4VB6SD6JOLGBZ35QEQB/graph.json","events_json":"https://pith.science/api/pith-number/CHDOOTR4VB6SD6JOLGBZ35QEQB/events.json","paper":"https://pith.science/paper/CHDOOTR4"},"agent_actions":{"view_html":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB","download_json":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB.json","view_paper":"https://pith.science/paper/CHDOOTR4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.08593&json=true","fetch_graph":"https://pith.science/api/pith-number/CHDOOTR4VB6SD6JOLGBZ35QEQB/graph.json","fetch_events":"https://pith.science/api/pith-number/CHDOOTR4VB6SD6JOLGBZ35QEQB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB/action/storage_attestation","attest_author":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB/action/author_attestation","sign_citation":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB/action/citation_signature","submit_replication":"https://pith.science/pith/CHDOOTR4VB6SD6JOLGBZ35QEQB/action/replication_record"}},"created_at":"2026-07-05T09:47:52.331402+00:00","updated_at":"2026-07-05T09:47:52.331402+00:00"}