{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:57R4M6M4PC3NULNTPGZG7FFZS3","short_pith_number":"pith:57R4M6M4","canonical_record":{"source":{"id":"1204.1751","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-04-08T18:08:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1e281f92a818a6b2ec86c0f5c29d0d63b3f729c2547621f7475b29134bd76a46","abstract_canon_sha256":"d3a329a559a84aad15e2fe280548b61b5bbad9b0fb7be78e29c3f20799536850"},"schema_version":"1.0"},"canonical_sha256":"efe3c6799c78b6da2db379b26f94b996df1389333eac5f5879a57d4e91004990","source":{"kind":"arxiv","id":"1204.1751","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.1751","created_at":"2026-05-18T03:40:38Z"},{"alias_kind":"arxiv_version","alias_value":"1204.1751v4","created_at":"2026-05-18T03:40:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.1751","created_at":"2026-05-18T03:40:38Z"},{"alias_kind":"pith_short_12","alias_value":"57R4M6M4PC3N","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"57R4M6M4PC3NULNT","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"57R4M6M4","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:57R4M6M4PC3NULNTPGZG7FFZS3","target":"record","payload":{"canonical_record":{"source":{"id":"1204.1751","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-04-08T18:08:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1e281f92a818a6b2ec86c0f5c29d0d63b3f729c2547621f7475b29134bd76a46","abstract_canon_sha256":"d3a329a559a84aad15e2fe280548b61b5bbad9b0fb7be78e29c3f20799536850"},"schema_version":"1.0"},"canonical_sha256":"efe3c6799c78b6da2db379b26f94b996df1389333eac5f5879a57d4e91004990","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:40:38.567399Z","signature_b64":"7+eZ7wNuqx/siQ+sjObvQ86ABNrvtklm9PA+pwLktofgLgpujyW0NbFaY4r64BtLUoNKpCr2Qbfc0EZ4t80/DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efe3c6799c78b6da2db379b26f94b996df1389333eac5f5879a57d4e91004990","last_reissued_at":"2026-05-18T03:40:38.566681Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:40:38.566681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.1751","source_version":4,"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-05-18T03:40:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q4CZkbwIIHZFwQC/1tMGdPuWgz0+3y9L83tPfb8IOUqAeOd+NQAnun4WRacLwrGck+zvqxICdBNKMTIi1+HxDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T17:34:46.175594Z"},"content_sha256":"5b902582fe80521799b4018983ef2fbb3037ca6b9465823b7711e648b147ede5","schema_version":"1.0","event_id":"sha256:5b902582fe80521799b4018983ef2fbb3037ca6b9465823b7711e648b147ede5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:57R4M6M4PC3NULNTPGZG7FFZS3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Feedback Generation for Introductory Programming Assignments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Armando Solar-Lezama, Rishabh Singh, Sumit Gulwani","submitted_at":"2012-04-08T18:08:43Z","abstract_excerpt":"We present a new method for automatically providing feedback for introductory programming problems. In order to use this method, we need a reference implementation of the assignment, and an error model consisting of potential corrections to errors that students might make. Using this information, the system automatically derives minimal corrections to student's incorrect solutions, providing them with a quantifiable measure of exactly how incorrect a given solution was, as well as feedback about what they did wrong.\n  We introduce a simple language for describing error models in terms of corre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.1751","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T03:40:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fBx7E7a/m1wvxvjYqybd7Gvissv9+Anl29DMbVnm9v0tFI1IRbD9WyEbebGk8XiG34i4/ycMcoNfjw8QWuFOBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T17:34:46.176289Z"},"content_sha256":"f7200fc4e2c22001acb6c14588ed9bc1b84aedbf64a22859c0aeefabf6033659","schema_version":"1.0","event_id":"sha256:f7200fc4e2c22001acb6c14588ed9bc1b84aedbf64a22859c0aeefabf6033659"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57R4M6M4PC3NULNTPGZG7FFZS3/bundle.json","state_url":"https://pith.science/pith/57R4M6M4PC3NULNTPGZG7FFZS3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57R4M6M4PC3NULNTPGZG7FFZS3/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-05-27T17:34:46Z","links":{"resolver":"https://pith.science/pith/57R4M6M4PC3NULNTPGZG7FFZS3","bundle":"https://pith.science/pith/57R4M6M4PC3NULNTPGZG7FFZS3/bundle.json","state":"https://pith.science/pith/57R4M6M4PC3NULNTPGZG7FFZS3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57R4M6M4PC3NULNTPGZG7FFZS3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:57R4M6M4PC3NULNTPGZG7FFZS3","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":"d3a329a559a84aad15e2fe280548b61b5bbad9b0fb7be78e29c3f20799536850","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-04-08T18:08:43Z","title_canon_sha256":"1e281f92a818a6b2ec86c0f5c29d0d63b3f729c2547621f7475b29134bd76a46"},"schema_version":"1.0","source":{"id":"1204.1751","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.1751","created_at":"2026-05-18T03:40:38Z"},{"alias_kind":"arxiv_version","alias_value":"1204.1751v4","created_at":"2026-05-18T03:40:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.1751","created_at":"2026-05-18T03:40:38Z"},{"alias_kind":"pith_short_12","alias_value":"57R4M6M4PC3N","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"57R4M6M4PC3NULNT","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"57R4M6M4","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:f7200fc4e2c22001acb6c14588ed9bc1b84aedbf64a22859c0aeefabf6033659","target":"graph","created_at":"2026-05-18T03:40:38Z","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":"We present a new method for automatically providing feedback for introductory programming problems. In order to use this method, we need a reference implementation of the assignment, and an error model consisting of potential corrections to errors that students might make. Using this information, the system automatically derives minimal corrections to student's incorrect solutions, providing them with a quantifiable measure of exactly how incorrect a given solution was, as well as feedback about what they did wrong.\n  We introduce a simple language for describing error models in terms of corre","authors_text":"Armando Solar-Lezama, Rishabh Singh, Sumit Gulwani","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-04-08T18:08:43Z","title":"Automated Feedback Generation for Introductory Programming Assignments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.1751","kind":"arxiv","version":4},"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:5b902582fe80521799b4018983ef2fbb3037ca6b9465823b7711e648b147ede5","target":"record","created_at":"2026-05-18T03:40:38Z","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":"d3a329a559a84aad15e2fe280548b61b5bbad9b0fb7be78e29c3f20799536850","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-04-08T18:08:43Z","title_canon_sha256":"1e281f92a818a6b2ec86c0f5c29d0d63b3f729c2547621f7475b29134bd76a46"},"schema_version":"1.0","source":{"id":"1204.1751","kind":"arxiv","version":4}},"canonical_sha256":"efe3c6799c78b6da2db379b26f94b996df1389333eac5f5879a57d4e91004990","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efe3c6799c78b6da2db379b26f94b996df1389333eac5f5879a57d4e91004990","first_computed_at":"2026-05-18T03:40:38.566681Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:40:38.566681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7+eZ7wNuqx/siQ+sjObvQ86ABNrvtklm9PA+pwLktofgLgpujyW0NbFaY4r64BtLUoNKpCr2Qbfc0EZ4t80/DA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:40:38.567399Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.1751","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b902582fe80521799b4018983ef2fbb3037ca6b9465823b7711e648b147ede5","sha256:f7200fc4e2c22001acb6c14588ed9bc1b84aedbf64a22859c0aeefabf6033659"],"state_sha256":"96355b53a369167aaf5c77939c488d9241ee7bb7b0e5506d950fad616030a297"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"glzrCH4CW+CTseELbb+MyyV5YPLt6GpKLuIDM+MoDNhhTqTgwx49h9NvwtbCqvUoMShI8i11hog2xx8ZxCZaBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T17:34:46.180070Z","bundle_sha256":"acded70dedf71ec32ae3f22f862760e78f70fd214fdd9d34492440c97c13d181"}}