{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:MHES3U7YD4UGPV6IHW7PJHDUV2","short_pith_number":"pith:MHES3U7Y","canonical_record":{"source":{"id":"2411.07112","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T16:39:13Z","cross_cats_sorted":[],"title_canon_sha256":"9b79bbed62427523f17b014411a19fabcfd319faab82b750c7d87a78eb655d90","abstract_canon_sha256":"5e3e05014a3893c7f1f7a470f3e1a02070fc867e3aaf0b12d7dc116e31706d0b"},"schema_version":"1.0"},"canonical_sha256":"61c92dd3f81f2867d7c83dbef49c74aea232c1248ea028ee9088a54008a9889f","source":{"kind":"arxiv","id":"2411.07112","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.07112","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"2411.07112v2","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.07112","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"MHES3U7YD4UG","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"pith_short_16","alias_value":"MHES3U7YD4UGPV6I","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"pith_short_8","alias_value":"MHES3U7Y","created_at":"2026-07-05T10:37:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:MHES3U7YD4UGPV6IHW7PJHDUV2","target":"record","payload":{"canonical_record":{"source":{"id":"2411.07112","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T16:39:13Z","cross_cats_sorted":[],"title_canon_sha256":"9b79bbed62427523f17b014411a19fabcfd319faab82b750c7d87a78eb655d90","abstract_canon_sha256":"5e3e05014a3893c7f1f7a470f3e1a02070fc867e3aaf0b12d7dc116e31706d0b"},"schema_version":"1.0"},"canonical_sha256":"61c92dd3f81f2867d7c83dbef49c74aea232c1248ea028ee9088a54008a9889f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:37:36.864247Z","signature_b64":"vFsg8ZQJAaOi0n4OR5X43G4jIFZYMjtlXRcp2YhGhfXrCsborJQI7eTsrMqgNrYuQLn/nNsV1DBLyvv8x0edAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61c92dd3f81f2867d7c83dbef49c74aea232c1248ea028ee9088a54008a9889f","last_reissued_at":"2026-07-05T10:37:36.862367Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:37:36.862367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.07112","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-05T10:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9AxPVdKC0oOIPNJNTQr0yzd6X73yfRG9YfJJHbKA3xLR2CbZzPbC3QkYSsRNRbziH7AyX25YCcGQVo58YljABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T08:14:18.419870Z"},"content_sha256":"bc738eacfdc51214a95f4b7a5798a107187b2a0fb38673a07ffc8c874a636682","schema_version":"1.0","event_id":"sha256:bc738eacfdc51214a95f4b7a5798a107187b2a0fb38673a07ffc8c874a636682"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:MHES3U7YD4UGPV6IHW7PJHDUV2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ge Li, Huanyu Liu, Wenpin Jiao, Xue Jiang, Yihong Dong, Yongding Tao, Zhi Jin","submitted_at":"2024-11-11T16:39:13Z","abstract_excerpt":"Large language models (LLMs) have achieved impressive performance in code generation recently, offering programmers revolutionary assistance in software development. However, due to the auto-regressive nature of LLMs, they are susceptible to error accumulation during code generation. Once an error is produced, LLMs can merely continue to generate the subsequent code conditioned on it, given their inability to adjust previous outputs. Existing LLM-based approaches typically consider post-revising after code generation, leading to the challenging resolution of accumulated errors and the signific"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.07112","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/2411.07112/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-05T10:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TKn9uvMd2ZxKDDepYYMohNdfSs3YxUtXwfXcXojrLVtOD8Xz+ryuprDdXa21W0fs2V3N3rK8OcWJ1GpmgLrJDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T08:14:18.420254Z"},"content_sha256":"bf4d26a2c8d282d7aadcc0049722993303ae666cf32297c3da6fb5e4ad6928f4","schema_version":"1.0","event_id":"sha256:bf4d26a2c8d282d7aadcc0049722993303ae666cf32297c3da6fb5e4ad6928f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MHES3U7YD4UGPV6IHW7PJHDUV2/bundle.json","state_url":"https://pith.science/pith/MHES3U7YD4UGPV6IHW7PJHDUV2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MHES3U7YD4UGPV6IHW7PJHDUV2/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-07-06T08:14:18Z","links":{"resolver":"https://pith.science/pith/MHES3U7YD4UGPV6IHW7PJHDUV2","bundle":"https://pith.science/pith/MHES3U7YD4UGPV6IHW7PJHDUV2/bundle.json","state":"https://pith.science/pith/MHES3U7YD4UGPV6IHW7PJHDUV2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MHES3U7YD4UGPV6IHW7PJHDUV2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:MHES3U7YD4UGPV6IHW7PJHDUV2","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":"5e3e05014a3893c7f1f7a470f3e1a02070fc867e3aaf0b12d7dc116e31706d0b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T16:39:13Z","title_canon_sha256":"9b79bbed62427523f17b014411a19fabcfd319faab82b750c7d87a78eb655d90"},"schema_version":"1.0","source":{"id":"2411.07112","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.07112","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"2411.07112v2","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.07112","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"MHES3U7YD4UG","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"pith_short_16","alias_value":"MHES3U7YD4UGPV6I","created_at":"2026-07-05T10:37:36Z"},{"alias_kind":"pith_short_8","alias_value":"MHES3U7Y","created_at":"2026-07-05T10:37:36Z"}],"graph_snapshots":[{"event_id":"sha256:bf4d26a2c8d282d7aadcc0049722993303ae666cf32297c3da6fb5e4ad6928f4","target":"graph","created_at":"2026-07-05T10:37:36Z","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/2411.07112/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have achieved impressive performance in code generation recently, offering programmers revolutionary assistance in software development. However, due to the auto-regressive nature of LLMs, they are susceptible to error accumulation during code generation. Once an error is produced, LLMs can merely continue to generate the subsequent code conditioned on it, given their inability to adjust previous outputs. Existing LLM-based approaches typically consider post-revising after code generation, leading to the challenging resolution of accumulated errors and the signific","authors_text":"Ge Li, Huanyu Liu, Wenpin Jiao, Xue Jiang, Yihong Dong, Yongding Tao, Zhi Jin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T16:39:13Z","title":"ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.07112","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:bc738eacfdc51214a95f4b7a5798a107187b2a0fb38673a07ffc8c874a636682","target":"record","created_at":"2026-07-05T10:37:36Z","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":"5e3e05014a3893c7f1f7a470f3e1a02070fc867e3aaf0b12d7dc116e31706d0b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-11T16:39:13Z","title_canon_sha256":"9b79bbed62427523f17b014411a19fabcfd319faab82b750c7d87a78eb655d90"},"schema_version":"1.0","source":{"id":"2411.07112","kind":"arxiv","version":2}},"canonical_sha256":"61c92dd3f81f2867d7c83dbef49c74aea232c1248ea028ee9088a54008a9889f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61c92dd3f81f2867d7c83dbef49c74aea232c1248ea028ee9088a54008a9889f","first_computed_at":"2026-07-05T10:37:36.862367Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:37:36.862367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vFsg8ZQJAaOi0n4OR5X43G4jIFZYMjtlXRcp2YhGhfXrCsborJQI7eTsrMqgNrYuQLn/nNsV1DBLyvv8x0edAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:37:36.864247Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.07112","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc738eacfdc51214a95f4b7a5798a107187b2a0fb38673a07ffc8c874a636682","sha256:bf4d26a2c8d282d7aadcc0049722993303ae666cf32297c3da6fb5e4ad6928f4"],"state_sha256":"cd2e96223d69871b0bbf6ef97f06a616e5f95972b2694320e384d85541037241"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ulqwe2P1/C+1crL/AkMeXzM2S88QTau03k4LeWIvX9uM+tou0bTIQ9f8PaBXTiYJQFjAPVo0HEBpSfZ+jqtrDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T08:14:18.422573Z","bundle_sha256":"da7ac4098daacd1d2d4f5b25d6162f3e4f77271bc804a453668d1a678e92c21e"}}