{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:J6EXYNCLG3JKKJLVH3GEI3F6OM","short_pith_number":"pith:J6EXYNCL","canonical_record":{"source":{"id":"2310.01831","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T06:55:45Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"6603dbe04fb9532ecf03b20547b3df7b8b50190e7b2fbaf7eaf6a30607236d69","abstract_canon_sha256":"674763ab8ff02d9ae0e340876cd97d962eede5b21128cf77045f8c5d50ae853d"},"schema_version":"1.0"},"canonical_sha256":"4f897c344b36d2a525753ecc446cbe730995af0549c52fc1e3d3ab94f9f28a5f","source":{"kind":"arxiv","id":"2310.01831","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.01831","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"arxiv_version","alias_value":"2310.01831v2","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.01831","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"pith_short_12","alias_value":"J6EXYNCLG3JK","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"pith_short_16","alias_value":"J6EXYNCLG3JKKJLV","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"pith_short_8","alias_value":"J6EXYNCL","created_at":"2026-07-05T08:08:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:J6EXYNCLG3JKKJLVH3GEI3F6OM","target":"record","payload":{"canonical_record":{"source":{"id":"2310.01831","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T06:55:45Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"6603dbe04fb9532ecf03b20547b3df7b8b50190e7b2fbaf7eaf6a30607236d69","abstract_canon_sha256":"674763ab8ff02d9ae0e340876cd97d962eede5b21128cf77045f8c5d50ae853d"},"schema_version":"1.0"},"canonical_sha256":"4f897c344b36d2a525753ecc446cbe730995af0549c52fc1e3d3ab94f9f28a5f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:08:18.256579Z","signature_b64":"xccfvpcCFqSoUTfhTXFx/iJ73yDbQn/NbqxyL//01N2F+uiYUNeyk9yYv8srTRyzC7hC4lgK1dKmqgHuzKfICA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f897c344b36d2a525753ecc446cbe730995af0549c52fc1e3d3ab94f9f28a5f","last_reissued_at":"2026-07-05T08:08:18.256136Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:08:18.256136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.01831","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-05T08:08:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MszcdmEVkmrwV4kj9hhMNrTsSZbE/wRu5HulQH7g7gFrsqXdw05hvj8R8mw/hSRPZFItSVFu6QT5eBESGN6sBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:57:41.536332Z"},"content_sha256":"f6f4680d90eb594d84098c5ecc8c28319ff2fb3fef6fda3675f16092d3db92a9","schema_version":"1.0","event_id":"sha256:f6f4680d90eb594d84098c5ecc8c28319ff2fb3fef6fda3675f16092d3db92a9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:J6EXYNCLG3JKKJLVH3GEI3F6OM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.SE","authors_text":"Madeline Endres, Saikat Chakraborty, Sarah Fakhoury, Shuvendu K. Lahiri","submitted_at":"2023-10-03T06:55:45Z","abstract_excerpt":"Informal natural language that describes code functionality, such as code comments or function documentation, may contain substantial information about a programs intent. However, there is typically no guarantee that a programs implementation and natural language documentation are aligned. In the case of a conflict, leveraging information in code-adjacent natural language has the potential to enhance fault localization, debugging, and code trustworthiness. In practice, however, this information is often underutilized due to the inherent ambiguity of natural language which makes natural languag"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.01831","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/2310.01831/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-05T08:08:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8JFpkRhgvWrJEGiMM2VMvegietJvmqrxm0ntAVJmyq0O1lWQqS3BhL9pDHSWPZGEkFZnvSvvAOnq6zTXi8l1CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:57:41.536839Z"},"content_sha256":"d8ecfe99f89e038d3af2ed171a31563f2b1219a967619d5b0926140922f1bc3d","schema_version":"1.0","event_id":"sha256:d8ecfe99f89e038d3af2ed171a31563f2b1219a967619d5b0926140922f1bc3d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J6EXYNCLG3JKKJLVH3GEI3F6OM/bundle.json","state_url":"https://pith.science/pith/J6EXYNCLG3JKKJLVH3GEI3F6OM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J6EXYNCLG3JKKJLVH3GEI3F6OM/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-12T14:57:41Z","links":{"resolver":"https://pith.science/pith/J6EXYNCLG3JKKJLVH3GEI3F6OM","bundle":"https://pith.science/pith/J6EXYNCLG3JKKJLVH3GEI3F6OM/bundle.json","state":"https://pith.science/pith/J6EXYNCLG3JKKJLVH3GEI3F6OM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J6EXYNCLG3JKKJLVH3GEI3F6OM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:J6EXYNCLG3JKKJLVH3GEI3F6OM","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":"674763ab8ff02d9ae0e340876cd97d962eede5b21128cf77045f8c5d50ae853d","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T06:55:45Z","title_canon_sha256":"6603dbe04fb9532ecf03b20547b3df7b8b50190e7b2fbaf7eaf6a30607236d69"},"schema_version":"1.0","source":{"id":"2310.01831","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.01831","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"arxiv_version","alias_value":"2310.01831v2","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.01831","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"pith_short_12","alias_value":"J6EXYNCLG3JK","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"pith_short_16","alias_value":"J6EXYNCLG3JKKJLV","created_at":"2026-07-05T08:08:18Z"},{"alias_kind":"pith_short_8","alias_value":"J6EXYNCL","created_at":"2026-07-05T08:08:18Z"}],"graph_snapshots":[{"event_id":"sha256:d8ecfe99f89e038d3af2ed171a31563f2b1219a967619d5b0926140922f1bc3d","target":"graph","created_at":"2026-07-05T08:08:18Z","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/2310.01831/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Informal natural language that describes code functionality, such as code comments or function documentation, may contain substantial information about a programs intent. However, there is typically no guarantee that a programs implementation and natural language documentation are aligned. In the case of a conflict, leveraging information in code-adjacent natural language has the potential to enhance fault localization, debugging, and code trustworthiness. In practice, however, this information is often underutilized due to the inherent ambiguity of natural language which makes natural languag","authors_text":"Madeline Endres, Saikat Chakraborty, Sarah Fakhoury, Shuvendu K. Lahiri","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T06:55:45Z","title":"Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.01831","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:f6f4680d90eb594d84098c5ecc8c28319ff2fb3fef6fda3675f16092d3db92a9","target":"record","created_at":"2026-07-05T08:08:18Z","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":"674763ab8ff02d9ae0e340876cd97d962eede5b21128cf77045f8c5d50ae853d","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T06:55:45Z","title_canon_sha256":"6603dbe04fb9532ecf03b20547b3df7b8b50190e7b2fbaf7eaf6a30607236d69"},"schema_version":"1.0","source":{"id":"2310.01831","kind":"arxiv","version":2}},"canonical_sha256":"4f897c344b36d2a525753ecc446cbe730995af0549c52fc1e3d3ab94f9f28a5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f897c344b36d2a525753ecc446cbe730995af0549c52fc1e3d3ab94f9f28a5f","first_computed_at":"2026-07-05T08:08:18.256136Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:08:18.256136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xccfvpcCFqSoUTfhTXFx/iJ73yDbQn/NbqxyL//01N2F+uiYUNeyk9yYv8srTRyzC7hC4lgK1dKmqgHuzKfICA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:08:18.256579Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.01831","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6f4680d90eb594d84098c5ecc8c28319ff2fb3fef6fda3675f16092d3db92a9","sha256:d8ecfe99f89e038d3af2ed171a31563f2b1219a967619d5b0926140922f1bc3d"],"state_sha256":"483e8fbe100f6cab0d13655bf9ff9f3b33d644126aa961cbaca7856c184a3315"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3f/XSd3SgSnxq37JPAGtQBDefwZqlNPIqg9UZrrXWEFXjLxJTX2ZSwsWRaHDtNt4v4TNWdVDsYDmoTcnNT/pBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T14:57:41.542086Z","bundle_sha256":"a21872b5ec0bed2c007c90993b0a0d68ce8c824758c3bd05f8829dab8f8a7e50"}}