{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:AH72FUNYTXIO77RL2PEHHWLIVE","short_pith_number":"pith:AH72FUNY","schema_version":"1.0","canonical_sha256":"01ffa2d1b89dd0effe2bd3c873d968a92e68104ab434fe6ab8a7759d75c1ea30","source":{"kind":"arxiv","id":"2509.09194","version":1},"attestation_state":"computed","paper":{"title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Ayelet Berzack, Guy Katz","submitted_at":"2025-09-11T07:10:25Z","abstract_excerpt":"Large Language Models (LLMs) are fast becoming indispensable tools for software developers, assisting or even partnering with them in crafting complex programs. The advantages are evident -- LLMs can significantly reduce development time, generate well-organized and comprehensible code, and occasionally suggest innovative ideas that developers might not conceive on their own. However, despite their strengths, LLMs will often introduce significant errors and present incorrect code with persuasive confidence, potentially misleading developers into accepting flawed solutions.\n  In order to bring "},"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":"2509.09194","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-11T07:10:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5cbc84a4f3dd3efa9d33370e688a372a617ac251eb41856187b696ef34d413e7","abstract_canon_sha256":"4acd06c616be3d2a39a88d6a5bf4e6a2d609e726d193900c1775b80d00d1cacf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:09:31.390932Z","signature_b64":"VpYOcpVLe8FWCt+XwnTqibFs0dVoSVJyzjHS+eE6CTWqUszpe7Iv3npx1g36fFZN19NGjpVchJeAGUOHtQ5cBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01ffa2d1b89dd0effe2bd3c873d968a92e68104ab434fe6ab8a7759d75c1ea30","last_reissued_at":"2026-07-05T12:09:31.390394Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:09:31.390394Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Ayelet Berzack, Guy Katz","submitted_at":"2025-09-11T07:10:25Z","abstract_excerpt":"Large Language Models (LLMs) are fast becoming indispensable tools for software developers, assisting or even partnering with them in crafting complex programs. The advantages are evident -- LLMs can significantly reduce development time, generate well-organized and comprehensible code, and occasionally suggest innovative ideas that developers might not conceive on their own. However, despite their strengths, LLMs will often introduce significant errors and present incorrect code with persuasive confidence, potentially misleading developers into accepting flawed solutions.\n  In order to bring "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.09194","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/2509.09194/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":"2509.09194","created_at":"2026-07-05T12:09:31.390454+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.09194v1","created_at":"2026-07-05T12:09:31.390454+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.09194","created_at":"2026-07-05T12:09:31.390454+00:00"},{"alias_kind":"pith_short_12","alias_value":"AH72FUNYTXIO","created_at":"2026-07-05T12:09:31.390454+00:00"},{"alias_kind":"pith_short_16","alias_value":"AH72FUNYTXIO77RL","created_at":"2026-07-05T12:09:31.390454+00:00"},{"alias_kind":"pith_short_8","alias_value":"AH72FUNY","created_at":"2026-07-05T12:09:31.390454+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/AH72FUNYTXIO77RL2PEHHWLIVE","json":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE.json","graph_json":"https://pith.science/api/pith-number/AH72FUNYTXIO77RL2PEHHWLIVE/graph.json","events_json":"https://pith.science/api/pith-number/AH72FUNYTXIO77RL2PEHHWLIVE/events.json","paper":"https://pith.science/paper/AH72FUNY"},"agent_actions":{"view_html":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE","download_json":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE.json","view_paper":"https://pith.science/paper/AH72FUNY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.09194&json=true","fetch_graph":"https://pith.science/api/pith-number/AH72FUNYTXIO77RL2PEHHWLIVE/graph.json","fetch_events":"https://pith.science/api/pith-number/AH72FUNYTXIO77RL2PEHHWLIVE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE/action/storage_attestation","attest_author":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE/action/author_attestation","sign_citation":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE/action/citation_signature","submit_replication":"https://pith.science/pith/AH72FUNYTXIO77RL2PEHHWLIVE/action/replication_record"}},"created_at":"2026-07-05T12:09:31.390454+00:00","updated_at":"2026-07-05T12:09:31.390454+00:00"}