{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:2WUC5XOWDFVHXIQXBVSNB2527V","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":"7b97350a00fbad1a70f436bc39d46bbe289f15f8c9469f3a6ffb8d79b6979139","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T01:56:04Z","title_canon_sha256":"b2b6e534907111dde24cfa28126a33ba33a771852bdb5596f8588f1a30238289"},"schema_version":"1.0","source":{"id":"2410.08241","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.08241","created_at":"2026-07-05T09:18:55Z"},{"alias_kind":"arxiv_version","alias_value":"2410.08241v1","created_at":"2026-07-05T09:18:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.08241","created_at":"2026-07-05T09:18:55Z"},{"alias_kind":"pith_short_12","alias_value":"2WUC5XOWDFVH","created_at":"2026-07-05T09:18:55Z"},{"alias_kind":"pith_short_16","alias_value":"2WUC5XOWDFVHXIQX","created_at":"2026-07-05T09:18:55Z"},{"alias_kind":"pith_short_8","alias_value":"2WUC5XOW","created_at":"2026-07-05T09:18:55Z"}],"graph_snapshots":[{"event_id":"sha256:0e068636aa2021e8d6005cf3e5d00b50d554fa274e8eafd1fb42955989d94b7e","target":"graph","created_at":"2026-07-05T09:18: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/2410.08241/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logical errors in programming don't raise compiler alerts, making them hard to detect. These silent errors can disrupt a program's function or cause run-time issues. Their correction requires deep insight into the program's logic, highlighting the importance of automated detection and repair. In this paper, we introduce LecPrompt to localize and repair logical errors, an prompt-based approach that harnesses the capabilities of CodeBERT, a transformer-based large language model trained on code. First, LecPrompt leverages a large language model to calculate perplexity and log probability metrics","authors_text":"Victor S. Sheng, Zhenyu Xu","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T01:56:04Z","title":"LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.08241","kind":"arxiv","version":1},"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:6badad400f2d1e9253419f87f426106482fafb2bf88cf1e52031f56b3347d12d","target":"record","created_at":"2026-07-05T09:18: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":"7b97350a00fbad1a70f436bc39d46bbe289f15f8c9469f3a6ffb8d79b6979139","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T01:56:04Z","title_canon_sha256":"b2b6e534907111dde24cfa28126a33ba33a771852bdb5596f8588f1a30238289"},"schema_version":"1.0","source":{"id":"2410.08241","kind":"arxiv","version":1}},"canonical_sha256":"d5a82eddd6196a7ba2170d64d0ebbafd5b7e3a7b5df245cfeccd1840bf54809a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d5a82eddd6196a7ba2170d64d0ebbafd5b7e3a7b5df245cfeccd1840bf54809a","first_computed_at":"2026-07-05T09:18:55.036540Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:18:55.036540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u8JweXm9XlAWXPq9jnf6BOFEvpd162FW8DhU4s5o0LyHBFdRVXorqvTmxIEc+FcImymMvA5pkrAykGSjCOabDA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:18:55.036969Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.08241","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6badad400f2d1e9253419f87f426106482fafb2bf88cf1e52031f56b3347d12d","sha256:0e068636aa2021e8d6005cf3e5d00b50d554fa274e8eafd1fb42955989d94b7e"],"state_sha256":"6ccda686ce010f8900a1fca5422179450bd82f75226f3c7a3d8f99974b610576"}