{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:VONJ76KJOHYWSDTYEGVTUSUDNR","short_pith_number":"pith:VONJ76KJ","schema_version":"1.0","canonical_sha256":"ab9a9ff94971f1690e7821ab3a4a836c6548f62c8c1c429108bfd767eda7b6e7","source":{"kind":"arxiv","id":"2605.17926","version":1},"attestation_state":"computed","paper":{"title":"LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dave Towey, Tsong Yueh Chen, Zhi Quan Zhou","submitted_at":"2026-05-18T06:34:03Z","abstract_excerpt":"Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given to a more difficult assurance problem: statically verifying whether implemented code satisfies requirements written in natural language. Conventional static analysis tools are effective at detecting coding defects and known vulnerability patterns, but they cannot determine whether program behavior matches intended business logic. Detecting such defects requires reasoning over the specification rather than the code al"},"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":"2605.17926","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-18T06:34:03Z","cross_cats_sorted":[],"title_canon_sha256":"5f070b284dd518449b2947d98e8eda20789bdaab31aa0ae95308bf8233807d1f","abstract_canon_sha256":"538bdaa4f986e6cf41aee9c05ce9a01d2d6a82984440c9d20a4ebce4a4a0a672"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:06.402083Z","signature_b64":"0mkswrJY9FRZ+eIN0LyfPAAcQHV2A1cbi9P163y92xPhV7CqKPPoVkCh3zWhuA2NLqwgCuBpUYCpAQJqjpCTDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab9a9ff94971f1690e7821ab3a4a836c6548f62c8c1c429108bfd767eda7b6e7","last_reissued_at":"2026-05-20T00:05:06.401223Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:06.401223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dave Towey, Tsong Yueh Chen, Zhi Quan Zhou","submitted_at":"2026-05-18T06:34:03Z","abstract_excerpt":"Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given to a more difficult assurance problem: statically verifying whether implemented code satisfies requirements written in natural language. Conventional static analysis tools are effective at detecting coding defects and known vulnerability patterns, but they cannot determine whether program behavior matches intended business logic. Detecting such defects requires reasoning over the specification rather than the code al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17926","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/2605.17926/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":"2605.17926","created_at":"2026-05-20T00:05:06.401372+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.17926v1","created_at":"2026-05-20T00:05:06.401372+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17926","created_at":"2026-05-20T00:05:06.401372+00:00"},{"alias_kind":"pith_short_12","alias_value":"VONJ76KJOHYW","created_at":"2026-05-20T00:05:06.401372+00:00"},{"alias_kind":"pith_short_16","alias_value":"VONJ76KJOHYWSDTY","created_at":"2026-05-20T00:05:06.401372+00:00"},{"alias_kind":"pith_short_8","alias_value":"VONJ76KJ","created_at":"2026-05-20T00:05:06.401372+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR","json":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR.json","graph_json":"https://pith.science/api/pith-number/VONJ76KJOHYWSDTYEGVTUSUDNR/graph.json","events_json":"https://pith.science/api/pith-number/VONJ76KJOHYWSDTYEGVTUSUDNR/events.json","paper":"https://pith.science/paper/VONJ76KJ"},"agent_actions":{"view_html":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR","download_json":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR.json","view_paper":"https://pith.science/paper/VONJ76KJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.17926&json=true","fetch_graph":"https://pith.science/api/pith-number/VONJ76KJOHYWSDTYEGVTUSUDNR/graph.json","fetch_events":"https://pith.science/api/pith-number/VONJ76KJOHYWSDTYEGVTUSUDNR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/action/storage_attestation","attest_author":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/action/author_attestation","sign_citation":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/action/citation_signature","submit_replication":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/action/replication_record"}},"created_at":"2026-05-20T00:05:06.401372+00:00","updated_at":"2026-05-20T00:05:06.401372+00:00"}