{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2G7L5YSC4IBBUEMEFAX3BXP5X4","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":"d12c9464f3293c619095e631fe0267ed3bde487d24456f7fd02b00ca7632fc3b","cross_cats_sorted":["cs.CY","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-20T05:08:48Z","title_canon_sha256":"e84d6bb06912525d1d188185b42e2ffca87372fa6705fbe0b82ebf0b33e82f4a"},"schema_version":"1.0","source":{"id":"1711.07148","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.07148","created_at":"2026-05-18T00:30:12Z"},{"alias_kind":"arxiv_version","alias_value":"1711.07148v1","created_at":"2026-05-18T00:30:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.07148","created_at":"2026-05-18T00:30:12Z"},{"alias_kind":"pith_short_12","alias_value":"2G7L5YSC4IBB","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2G7L5YSC4IBBUEME","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2G7L5YSC","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:e2f02162d75960738a0fab47f67d79fdcc01e0c30f7231a3a35826fb12a42bb6","target":"graph","created_at":"2026-05-18T00:30: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"},"paper":{"abstract_excerpt":"This paper introduces the \"Search, Align, and Repair\" data-driven program repair framework to automate feedback generation for introductory programming exercises. Distinct from existing techniques, our goal is to develop an efficient, fully automated, and problem-agnostic technique for large or MOOC-scale introductory programming courses. We leverage the large amount of available student submissions in such settings and develop new algorithms for identifying similar programs, aligning correct and incorrect programs, and repairing incorrect programs by finding minimal fixes. We have implemented","authors_text":"Ke Wang, Rishabh Singh, Zhendong Su","cross_cats":["cs.CY","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-20T05:08:48Z","title":"Data-Driven Feedback Generation for Introductory Programming Exercises"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.07148","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:d133338ac2e89ce2a2100f3f0eed4e2e8fd61d9d624a18ae45329015ab6387a0","target":"record","created_at":"2026-05-18T00:30: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":"d12c9464f3293c619095e631fe0267ed3bde487d24456f7fd02b00ca7632fc3b","cross_cats_sorted":["cs.CY","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-11-20T05:08:48Z","title_canon_sha256":"e84d6bb06912525d1d188185b42e2ffca87372fa6705fbe0b82ebf0b33e82f4a"},"schema_version":"1.0","source":{"id":"1711.07148","kind":"arxiv","version":1}},"canonical_sha256":"d1bebee242e2021a1184282fb0ddfdbf02588080ecf0e30fdbdb9ee38beadf05","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d1bebee242e2021a1184282fb0ddfdbf02588080ecf0e30fdbdb9ee38beadf05","first_computed_at":"2026-05-18T00:30:12.105119Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:12.105119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SLUCrefnwJy0AY9EGnW9Jt+/KcOd93nb5cHkpbdnpJjnFmu3P/sd54KkB6G3wWh2ehlK5o+gbq7k+C2sbKTnCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:12.105951Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.07148","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d133338ac2e89ce2a2100f3f0eed4e2e8fd61d9d624a18ae45329015ab6387a0","sha256:e2f02162d75960738a0fab47f67d79fdcc01e0c30f7231a3a35826fb12a42bb6"],"state_sha256":"c10941944728b6d575383814294dd920ab69f3721e351a86927c8cbc863d5f51"}