{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EWAPPLTEAGVPB7VLA4DMHATZ5W","short_pith_number":"pith:EWAPPLTE","canonical_record":{"source":{"id":"2503.19599","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-25T12:30:30Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"7f324666c320615dc08fe413d18cfd7198e6add2f27bb2c887a136112bf55d95","abstract_canon_sha256":"e3d1310a64ed99967e9b8f1b0bcabd51d454591da55e9e5ea6747c1ee4a69582"},"schema_version":"1.0"},"canonical_sha256":"2580f7ae6401aaf0feab0706c38279ed800a29c51cdf4530b5fba7a39086bc72","source":{"kind":"arxiv","id":"2503.19599","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.19599","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"arxiv_version","alias_value":"2503.19599v2","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.19599","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"pith_short_12","alias_value":"EWAPPLTEAGVP","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"pith_short_16","alias_value":"EWAPPLTEAGVPB7VL","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"pith_short_8","alias_value":"EWAPPLTE","created_at":"2026-07-05T11:57:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EWAPPLTEAGVPB7VLA4DMHATZ5W","target":"record","payload":{"canonical_record":{"source":{"id":"2503.19599","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-25T12:30:30Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"7f324666c320615dc08fe413d18cfd7198e6add2f27bb2c887a136112bf55d95","abstract_canon_sha256":"e3d1310a64ed99967e9b8f1b0bcabd51d454591da55e9e5ea6747c1ee4a69582"},"schema_version":"1.0"},"canonical_sha256":"2580f7ae6401aaf0feab0706c38279ed800a29c51cdf4530b5fba7a39086bc72","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:57:55.462859Z","signature_b64":"OiK6N2jvzWF85cULDbhNHHtYfshAwaR6PFw7EsO9VxpkmqSHAj1SbcDt7JxvOrzJSaey3VlfXJFPLSJ2tj6wDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2580f7ae6401aaf0feab0706c38279ed800a29c51cdf4530b5fba7a39086bc72","last_reissued_at":"2026-07-05T11:57:55.462377Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:57:55.462377Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.19599","source_version":2,"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:57:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SD1uSJ5cTDNJeh9ZV4zxVjDOqPkU5oBFr4lGgS1HOb9exDCaMbR3Fw2rz8MSb79Rr1b8WSdRbPtP6ihZJavXBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T07:03:16.085221Z"},"content_sha256":"3850764fff082966a95ff7ad708405abca6a96ddd69910d49be8863a63791d48","schema_version":"1.0","event_id":"sha256:3850764fff082966a95ff7ad708405abca6a96ddd69910d49be8863a63791d48"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EWAPPLTEAGVPB7VLA4DMHATZ5W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Dimitrios Stamatios Bouras, Sergey Mechtaev, Tairan Wang, Yihan Dai, Yingfei Xiong","submitted_at":"2025-03-25T12:30:30Z","abstract_excerpt":"While software requirements are often expressed in natural language, verifying the correctness of a program against such requirements is a hard and underexplored problem. Large language models (LLMs) are promising candidates for addressing this challenge, however our experience shows that they are ineffective in this task, often failing to detect even straightforward bugs. To address this gap, we introduce HoarePrompt, a novel approach that adapts fundamental ideas from program verification to natural language artifacts. Inspired from the strongest postcondition calculus, HoarePrompt employs a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.19599","kind":"arxiv","version":2},"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/2503.19599/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:57:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hTXEHS7mGsDJlciAiT10TP1YSYiCLXRZ9JbxSh0KtByiUSJVR2t5eeLRg6cO6+lqqCPtNYlEDhM9DPwdUTaQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T07:03:16.085717Z"},"content_sha256":"68bce219b03d0a5bc2b84927435d6de9da0805c7fcb791c88c33ee45a4d8db45","schema_version":"1.0","event_id":"sha256:68bce219b03d0a5bc2b84927435d6de9da0805c7fcb791c88c33ee45a4d8db45"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EWAPPLTEAGVPB7VLA4DMHATZ5W/bundle.json","state_url":"https://pith.science/pith/EWAPPLTEAGVPB7VLA4DMHATZ5W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EWAPPLTEAGVPB7VLA4DMHATZ5W/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-22T07:03:16Z","links":{"resolver":"https://pith.science/pith/EWAPPLTEAGVPB7VLA4DMHATZ5W","bundle":"https://pith.science/pith/EWAPPLTEAGVPB7VLA4DMHATZ5W/bundle.json","state":"https://pith.science/pith/EWAPPLTEAGVPB7VLA4DMHATZ5W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EWAPPLTEAGVPB7VLA4DMHATZ5W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EWAPPLTEAGVPB7VLA4DMHATZ5W","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":"e3d1310a64ed99967e9b8f1b0bcabd51d454591da55e9e5ea6747c1ee4a69582","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-25T12:30:30Z","title_canon_sha256":"7f324666c320615dc08fe413d18cfd7198e6add2f27bb2c887a136112bf55d95"},"schema_version":"1.0","source":{"id":"2503.19599","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.19599","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"arxiv_version","alias_value":"2503.19599v2","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.19599","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"pith_short_12","alias_value":"EWAPPLTEAGVP","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"pith_short_16","alias_value":"EWAPPLTEAGVPB7VL","created_at":"2026-07-05T11:57:55Z"},{"alias_kind":"pith_short_8","alias_value":"EWAPPLTE","created_at":"2026-07-05T11:57:55Z"}],"graph_snapshots":[{"event_id":"sha256:68bce219b03d0a5bc2b84927435d6de9da0805c7fcb791c88c33ee45a4d8db45","target":"graph","created_at":"2026-07-05T11:57:55Z","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/2503.19599/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While software requirements are often expressed in natural language, verifying the correctness of a program against such requirements is a hard and underexplored problem. Large language models (LLMs) are promising candidates for addressing this challenge, however our experience shows that they are ineffective in this task, often failing to detect even straightforward bugs. To address this gap, we introduce HoarePrompt, a novel approach that adapts fundamental ideas from program verification to natural language artifacts. Inspired from the strongest postcondition calculus, HoarePrompt employs a","authors_text":"Dimitrios Stamatios Bouras, Sergey Mechtaev, Tairan Wang, Yihan Dai, Yingfei Xiong","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.19599","kind":"arxiv","version":2},"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:3850764fff082966a95ff7ad708405abca6a96ddd69910d49be8863a63791d48","target":"record","created_at":"2026-07-05T11:57:55Z","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":"e3d1310a64ed99967e9b8f1b0bcabd51d454591da55e9e5ea6747c1ee4a69582","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-25T12:30:30Z","title_canon_sha256":"7f324666c320615dc08fe413d18cfd7198e6add2f27bb2c887a136112bf55d95"},"schema_version":"1.0","source":{"id":"2503.19599","kind":"arxiv","version":2}},"canonical_sha256":"2580f7ae6401aaf0feab0706c38279ed800a29c51cdf4530b5fba7a39086bc72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2580f7ae6401aaf0feab0706c38279ed800a29c51cdf4530b5fba7a39086bc72","first_computed_at":"2026-07-05T11:57:55.462377Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:57:55.462377Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OiK6N2jvzWF85cULDbhNHHtYfshAwaR6PFw7EsO9VxpkmqSHAj1SbcDt7JxvOrzJSaey3VlfXJFPLSJ2tj6wDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:57:55.462859Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.19599","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3850764fff082966a95ff7ad708405abca6a96ddd69910d49be8863a63791d48","sha256:68bce219b03d0a5bc2b84927435d6de9da0805c7fcb791c88c33ee45a4d8db45"],"state_sha256":"3eada64b20f4356f87c973b0a3f3dc07aef913619b0735bb4b7caa1a3e6b9feb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zjd4HctUSOCm/CwpeqaHnU5wmtoydrfPGPGLh1XzkaCPIGkAFmAI3MEiKbKNsXX5zzeZhTVViX6hmssZC9jiDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T07:03:16.089405Z","bundle_sha256":"b5b3cde479277ca4b8fa61c0cea88de54a3a92f10f513ac8fe28add30a9b1500"}}