{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LB7DN3HHQTSF24Y3IC23RNF7EQ","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":"91f4c3d12b944fe322a95db165757790a1ca82c06e131a3e56ca1487956f9ec8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-07-13T14:37:27Z","title_canon_sha256":"44fd947d99c69ff8ecaa026c4b6c80924bc1ace8e1d0f74e0f4a997bffaf169c"},"schema_version":"1.0","source":{"id":"1707.04148","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.04148","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"arxiv_version","alias_value":"1707.04148v1","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.04148","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"pith_short_12","alias_value":"LB7DN3HHQTSF","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LB7DN3HHQTSF24Y3","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LB7DN3HH","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:6065bb56b61c851e8290a67b7b2424f8979f1603e0a31f3bc93310f38df0f2bc","target":"graph","created_at":"2026-05-18T00:40:22Z","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":"Program synthesis and repair have emerged as an exciting area of research, driven by the potential for revolutionary advances in programmer productivity. Among most promising ideas emerging for synthesis are syntax-driven search, probabilistic models of code, and the use of input-output examples. Our paper shows how to combine these techniques and use them for program repair, which is among the most relevant applications of synthesis to general-purpose code. Our approach combines semantic specifications, in the form of pre- and post-conditions and input-output examples with syntactic specifica","authors_text":"Etienne Kneuss, Manos Koukoutos, Mukund Raghothaman, Viktor Kuncak","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-07-13T14:37:27Z","title":"On Repair with Probabilistic Attribute Grammars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.04148","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:c4a600a5f02b5e1520308083a3ea018b62423454319fc5fdb2e4226b51a728f1","target":"record","created_at":"2026-05-18T00:40:22Z","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":"91f4c3d12b944fe322a95db165757790a1ca82c06e131a3e56ca1487956f9ec8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-07-13T14:37:27Z","title_canon_sha256":"44fd947d99c69ff8ecaa026c4b6c80924bc1ace8e1d0f74e0f4a997bffaf169c"},"schema_version":"1.0","source":{"id":"1707.04148","kind":"arxiv","version":1}},"canonical_sha256":"587e36ece784e45d731b40b5b8b4bf24326857c5bff491d538ab48d51afd819b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"587e36ece784e45d731b40b5b8b4bf24326857c5bff491d538ab48d51afd819b","first_computed_at":"2026-05-18T00:40:22.524242Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:22.524242Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LIh3NRwh5r/HniEYlAaWMaVwSGmY9C1EIv5lQ6IKoFm3gvOs+CK4QWgRgxrzlB9aVaF+bhwq8GrjwPRd4XhsBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:22.524816Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.04148","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4a600a5f02b5e1520308083a3ea018b62423454319fc5fdb2e4226b51a728f1","sha256:6065bb56b61c851e8290a67b7b2424f8979f1603e0a31f3bc93310f38df0f2bc"],"state_sha256":"03c9468c17c6e853c5a474b1883feef0c86cccf5e8704d9f2da20493b8338522"}