{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:24ZZAMFVVNCERKXUX2J472KLHE","short_pith_number":"pith:24ZZAMFV","canonical_record":{"source":{"id":"2502.07786","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-19T12:08:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b48e04c403169dc1ae78eae3b36f394bcb7cee15faf738615d7cb0a417172ee9","abstract_canon_sha256":"a0e2e3bcce7e6ce829922d60d1dc23c2b5458e5c88716e6cdbe68cbcb4f2793d"},"schema_version":"1.0"},"canonical_sha256":"d7339030b5ab4448aaf4be93cfe94b39055dbc125fdff822c8f45213ff649042","source":{"kind":"arxiv","id":"2502.07786","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.07786","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"arxiv_version","alias_value":"2502.07786v1","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.07786","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"pith_short_12","alias_value":"24ZZAMFVVNCE","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"pith_short_16","alias_value":"24ZZAMFVVNCERKXU","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"pith_short_8","alias_value":"24ZZAMFV","created_at":"2026-07-05T10:13:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:24ZZAMFVVNCERKXUX2J472KLHE","target":"record","payload":{"canonical_record":{"source":{"id":"2502.07786","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-19T12:08:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b48e04c403169dc1ae78eae3b36f394bcb7cee15faf738615d7cb0a417172ee9","abstract_canon_sha256":"a0e2e3bcce7e6ce829922d60d1dc23c2b5458e5c88716e6cdbe68cbcb4f2793d"},"schema_version":"1.0"},"canonical_sha256":"d7339030b5ab4448aaf4be93cfe94b39055dbc125fdff822c8f45213ff649042","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:09.764530Z","signature_b64":"XUrUNLxeIwwQZz7ASpk0mrVD/z2PbnUJiww8Gxpyh366uQV6NbNInTINMQqSqyRXaPclYmkQf5yBOqzNrfQ4DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7339030b5ab4448aaf4be93cfe94b39055dbc125fdff822c8f45213ff649042","last_reissued_at":"2026-07-05T10:13:09.763966Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:09.763966Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.07786","source_version":1,"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:13:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/2o3h7JO6oTzZKMs10tJYxYxfFrbHYU5O+otmdCgoKS0iAgWi5tmL4XcgEc2VbnFIcJKYX3+tpFVrZ7kPx/qCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T05:14:12.483657Z"},"content_sha256":"9b0038d2e6deb50f89f61980ccd48d76472ff0e71333ae26e87f3960f146bcd7","schema_version":"1.0","event_id":"sha256:9b0038d2e6deb50f89f61980ccd48d76472ff0e71333ae26e87f3960f146bcd7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:24ZZAMFVVNCERKXUX2J472KLHE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Mikol\\'a\\v{s} Janota, Pedro Orvalho, Vasco Manquinho","submitted_at":"2024-12-19T12:08:44Z","abstract_excerpt":"Automated Program Repair (APR) for introductory programming assignments (IPAs) is motivated by the large number of student enrollments in programming courses each year. Since providing feedback on IPAs requires substantial time and effort from faculty, personalized feedback often involves suggesting fixes to students' programs. Formal Methods (FM)-based semantic repair approaches, check a program's execution against a test suite or reference solution, are effective but limited. These tools excel at identifying buggy parts but can only fix programs if the correct implementation and the faulty o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.07786","kind":"arxiv","version":1},"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/2502.07786/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:13:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vetwSqyTAn/JZZrP3tPqzueEckl2wsS49duHssfKfibWXlc7IhlMuCr/TRJuZ/gRVLjrSJ4ExkwiMjJzww9CDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T05:14:12.484661Z"},"content_sha256":"356823f3ce38cea919f34da08d5fe59f4a441533072a2cfef59691a1086ee63c","schema_version":"1.0","event_id":"sha256:356823f3ce38cea919f34da08d5fe59f4a441533072a2cfef59691a1086ee63c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/24ZZAMFVVNCERKXUX2J472KLHE/bundle.json","state_url":"https://pith.science/pith/24ZZAMFVVNCERKXUX2J472KLHE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/24ZZAMFVVNCERKXUX2J472KLHE/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-08-09T05:14:12Z","links":{"resolver":"https://pith.science/pith/24ZZAMFVVNCERKXUX2J472KLHE","bundle":"https://pith.science/pith/24ZZAMFVVNCERKXUX2J472KLHE/bundle.json","state":"https://pith.science/pith/24ZZAMFVVNCERKXUX2J472KLHE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/24ZZAMFVVNCERKXUX2J472KLHE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:24ZZAMFVVNCERKXUX2J472KLHE","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":"a0e2e3bcce7e6ce829922d60d1dc23c2b5458e5c88716e6cdbe68cbcb4f2793d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-19T12:08:44Z","title_canon_sha256":"b48e04c403169dc1ae78eae3b36f394bcb7cee15faf738615d7cb0a417172ee9"},"schema_version":"1.0","source":{"id":"2502.07786","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.07786","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"arxiv_version","alias_value":"2502.07786v1","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.07786","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"pith_short_12","alias_value":"24ZZAMFVVNCE","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"pith_short_16","alias_value":"24ZZAMFVVNCERKXU","created_at":"2026-07-05T10:13:09Z"},{"alias_kind":"pith_short_8","alias_value":"24ZZAMFV","created_at":"2026-07-05T10:13:09Z"}],"graph_snapshots":[{"event_id":"sha256:356823f3ce38cea919f34da08d5fe59f4a441533072a2cfef59691a1086ee63c","target":"graph","created_at":"2026-07-05T10:13:09Z","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/2502.07786/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated Program Repair (APR) for introductory programming assignments (IPAs) is motivated by the large number of student enrollments in programming courses each year. Since providing feedback on IPAs requires substantial time and effort from faculty, personalized feedback often involves suggesting fixes to students' programs. Formal Methods (FM)-based semantic repair approaches, check a program's execution against a test suite or reference solution, are effective but limited. These tools excel at identifying buggy parts but can only fix programs if the correct implementation and the faulty o","authors_text":"Mikol\\'a\\v{s} Janota, Pedro Orvalho, Vasco Manquinho","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-19T12:08:44Z","title":"Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.07786","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:9b0038d2e6deb50f89f61980ccd48d76472ff0e71333ae26e87f3960f146bcd7","target":"record","created_at":"2026-07-05T10:13:09Z","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":"a0e2e3bcce7e6ce829922d60d1dc23c2b5458e5c88716e6cdbe68cbcb4f2793d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-19T12:08:44Z","title_canon_sha256":"b48e04c403169dc1ae78eae3b36f394bcb7cee15faf738615d7cb0a417172ee9"},"schema_version":"1.0","source":{"id":"2502.07786","kind":"arxiv","version":1}},"canonical_sha256":"d7339030b5ab4448aaf4be93cfe94b39055dbc125fdff822c8f45213ff649042","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d7339030b5ab4448aaf4be93cfe94b39055dbc125fdff822c8f45213ff649042","first_computed_at":"2026-07-05T10:13:09.763966Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:09.763966Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XUrUNLxeIwwQZz7ASpk0mrVD/z2PbnUJiww8Gxpyh366uQV6NbNInTINMQqSqyRXaPclYmkQf5yBOqzNrfQ4DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:09.764530Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.07786","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b0038d2e6deb50f89f61980ccd48d76472ff0e71333ae26e87f3960f146bcd7","sha256:356823f3ce38cea919f34da08d5fe59f4a441533072a2cfef59691a1086ee63c"],"state_sha256":"c039b9a6a67cd865dd430198b59309e346747205acdc144f859861bc697cfe90"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1lySs2ndFL5R2zSlt8+ObB8+FfWV76yywlBjTDut4hGj9virH3fBjtcgd+TGPEWhJpcHLBDhrWMtCuvlMoIoDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T05:14:12.492328Z","bundle_sha256":"6f169d20f732d029a581b431fcfce3b3a053467a5ea13103d81abeedf5ae25ca"}}