{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:K2UV4K2LCNZIDFFPCO7EZGRXTS","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":"f6ee9861c1a1b8191e2d7efa6bf9de20251337946dfe6e28f3a1662a770f2336","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-11-27T17:28:33Z","title_canon_sha256":"5a0c04d127c575ee91d899650b9e18b49fc2deb167ed93e97677c1ccf0f7d86a"},"schema_version":"1.0","source":{"id":"2311.16017","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.16017","created_at":"2026-07-05T07:17:12Z"},{"alias_kind":"arxiv_version","alias_value":"2311.16017v1","created_at":"2026-07-05T07:17:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.16017","created_at":"2026-07-05T07:17:12Z"},{"alias_kind":"pith_short_12","alias_value":"K2UV4K2LCNZI","created_at":"2026-07-05T07:17:12Z"},{"alias_kind":"pith_short_16","alias_value":"K2UV4K2LCNZIDFFP","created_at":"2026-07-05T07:17:12Z"},{"alias_kind":"pith_short_8","alias_value":"K2UV4K2L","created_at":"2026-07-05T07:17:12Z"}],"graph_snapshots":[{"event_id":"sha256:a425910cee57a6915aca6e7c6524777e2da0d84db686b9416c2de718438ff6ca","target":"graph","created_at":"2026-07-05T07:17:12Z","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/2311.16017/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Identifying and resolving logic errors can be one of the most frustrating challenges for novices programmers. Unlike syntax errors, for which a compiler or interpreter can issue a message, logic errors can be subtle. In certain conditions, buggy code may even exhibit correct behavior -- in other cases, the issue might be about how a problem statement has been interpreted. Such errors can be hard to spot when reading the code, and they can also at times be missed by automated tests. There is great educational potential in automatically detecting logic errors, especially when paired with suitabl","authors_text":"Andrew Tran, Arto Hellas, Joanne Kim, Juho Leinonen, Paul Denny, Sami Sarsa, Seth Bernstein, Stephen MacNeil","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-11-27T17:28:33Z","title":"Decoding Logic Errors: A Comparative Study on Bug Detection by Students and Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.16017","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:d4a5fa6d492081acf60a7ab60b5cdd351b14a27ae2e7744b684efcebbda0c6c2","target":"record","created_at":"2026-07-05T07:17:12Z","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":"f6ee9861c1a1b8191e2d7efa6bf9de20251337946dfe6e28f3a1662a770f2336","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-11-27T17:28:33Z","title_canon_sha256":"5a0c04d127c575ee91d899650b9e18b49fc2deb167ed93e97677c1ccf0f7d86a"},"schema_version":"1.0","source":{"id":"2311.16017","kind":"arxiv","version":1}},"canonical_sha256":"56a95e2b4b13728194af13be4c9a379cb092ef924349861a7cef479bbefa730b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56a95e2b4b13728194af13be4c9a379cb092ef924349861a7cef479bbefa730b","first_computed_at":"2026-07-05T07:17:12.558677Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:17:12.558677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"93wuLpev/ZZOxIm+tdt65NVHu3GsNQl1WJR4PMD4SlAt/yoSPgAA4jllGQH9Z4ibhysH1OTRlm4SYrNF33EuDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:17:12.559177Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.16017","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d4a5fa6d492081acf60a7ab60b5cdd351b14a27ae2e7744b684efcebbda0c6c2","sha256:a425910cee57a6915aca6e7c6524777e2da0d84db686b9416c2de718438ff6ca"],"state_sha256":"dc3b5b9b5baa4c4015e573654e82c3afc4420cf98a0a10507565ba9cad34e272"}