{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:YRYPUO3SRF6NWZA4GWFXHFKJUJ","short_pith_number":"pith:YRYPUO3S","canonical_record":{"source":{"id":"1902.06349","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-02-17T23:21:34Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c1a0181f24b5df9902c880b5f24ccf7c266130a98b05076497e342fa06bab9bd","abstract_canon_sha256":"3b54628db47c51e14ff73f4566e5f40b6dc91f1d9c9e0d5749db1ccb5000b001"},"schema_version":"1.0"},"canonical_sha256":"c470fa3b72897cdb641c358b739549a263ee68c3c9c25600e0e80fa61470c184","source":{"kind":"arxiv","id":"1902.06349","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.06349","created_at":"2026-05-17T23:44:07Z"},{"alias_kind":"arxiv_version","alias_value":"1902.06349v2","created_at":"2026-05-17T23:44:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.06349","created_at":"2026-05-17T23:44:07Z"},{"alias_kind":"pith_short_12","alias_value":"YRYPUO3SRF6N","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YRYPUO3SRF6NWZA4","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YRYPUO3S","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:YRYPUO3SRF6NWZA4GWFXHFKJUJ","target":"record","payload":{"canonical_record":{"source":{"id":"1902.06349","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-02-17T23:21:34Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c1a0181f24b5df9902c880b5f24ccf7c266130a98b05076497e342fa06bab9bd","abstract_canon_sha256":"3b54628db47c51e14ff73f4566e5f40b6dc91f1d9c9e0d5749db1ccb5000b001"},"schema_version":"1.0"},"canonical_sha256":"c470fa3b72897cdb641c358b739549a263ee68c3c9c25600e0e80fa61470c184","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:07.143035Z","signature_b64":"M0Gfr2oFDbZG6jDrCsHN8V9Q15ft36fkOcclXO0yu1ZeWVeulWCto+McI3VHVpMQtrZ7QE5sDUpFNxuUDt2GCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c470fa3b72897cdb641c358b739549a263ee68c3c9c25600e0e80fa61470c184","last_reissued_at":"2026-05-17T23:44:07.142480Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:07.142480Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.06349","source_version":2,"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-17T23:44:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4EWQFfJajwiopIqCWyNJJFG5SxXhS/k3Rsn4xOU+Ya3tTkN0tm/6J39PY7xEfKcGm3GiIuMJ+XWDhzdJRvFkDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:50:25.138824Z"},"content_sha256":"6968bb3277b447806f8335d17a45528c11f458e94c71e221d872faaa080b29ff","schema_version":"1.0","event_id":"sha256:6968bb3277b447806f8335d17a45528c11f458e94c71e221d872faaa080b29ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:YRYPUO3SRF6NWZA4GWFXHFKJUJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning to Infer Program Sketches","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Armando Solar-Lezama, Joshua Tenenbaum, Luke Hewitt, Maxwell Nye","submitted_at":"2019-02-17T23:21:34Z","abstract_excerpt":"Our goal is to build systems which write code automatically from the kinds of specifications humans can most easily provide, such as examples and natural language instruction. The key idea of this work is that a flexible combination of pattern recognition and explicit reasoning can be used to solve these complex programming problems. We propose a method for dynamically integrating these types of information. Our novel intermediate representation and training algorithm allow a program synthesis system to learn, without direct supervision, when to rely on pattern recognition and when to perform "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.06349","kind":"arxiv","version":2},"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-17T23:44:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0VipFavgtk1iUMv2TA1xMwpMN2/9ESTEbXUyXazVlCX4WJ+SqX/ISQkjg0a995gu9fQrCieYg5OegZhg/z2qAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:50:25.139164Z"},"content_sha256":"018852746291bdea27104da2fb373c383cf9bee17528b31fc49d07884dc08312","schema_version":"1.0","event_id":"sha256:018852746291bdea27104da2fb373c383cf9bee17528b31fc49d07884dc08312"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YRYPUO3SRF6NWZA4GWFXHFKJUJ/bundle.json","state_url":"https://pith.science/pith/YRYPUO3SRF6NWZA4GWFXHFKJUJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YRYPUO3SRF6NWZA4GWFXHFKJUJ/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-06-02T01:50:25Z","links":{"resolver":"https://pith.science/pith/YRYPUO3SRF6NWZA4GWFXHFKJUJ","bundle":"https://pith.science/pith/YRYPUO3SRF6NWZA4GWFXHFKJUJ/bundle.json","state":"https://pith.science/pith/YRYPUO3SRF6NWZA4GWFXHFKJUJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YRYPUO3SRF6NWZA4GWFXHFKJUJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:YRYPUO3SRF6NWZA4GWFXHFKJUJ","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":"3b54628db47c51e14ff73f4566e5f40b6dc91f1d9c9e0d5749db1ccb5000b001","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-02-17T23:21:34Z","title_canon_sha256":"c1a0181f24b5df9902c880b5f24ccf7c266130a98b05076497e342fa06bab9bd"},"schema_version":"1.0","source":{"id":"1902.06349","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.06349","created_at":"2026-05-17T23:44:07Z"},{"alias_kind":"arxiv_version","alias_value":"1902.06349v2","created_at":"2026-05-17T23:44:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.06349","created_at":"2026-05-17T23:44:07Z"},{"alias_kind":"pith_short_12","alias_value":"YRYPUO3SRF6N","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YRYPUO3SRF6NWZA4","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YRYPUO3S","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:018852746291bdea27104da2fb373c383cf9bee17528b31fc49d07884dc08312","target":"graph","created_at":"2026-05-17T23:44:07Z","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":"Our goal is to build systems which write code automatically from the kinds of specifications humans can most easily provide, such as examples and natural language instruction. The key idea of this work is that a flexible combination of pattern recognition and explicit reasoning can be used to solve these complex programming problems. We propose a method for dynamically integrating these types of information. Our novel intermediate representation and training algorithm allow a program synthesis system to learn, without direct supervision, when to rely on pattern recognition and when to perform ","authors_text":"Armando Solar-Lezama, Joshua Tenenbaum, Luke Hewitt, Maxwell Nye","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-02-17T23:21:34Z","title":"Learning to Infer Program Sketches"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.06349","kind":"arxiv","version":2},"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:6968bb3277b447806f8335d17a45528c11f458e94c71e221d872faaa080b29ff","target":"record","created_at":"2026-05-17T23:44:07Z","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":"3b54628db47c51e14ff73f4566e5f40b6dc91f1d9c9e0d5749db1ccb5000b001","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-02-17T23:21:34Z","title_canon_sha256":"c1a0181f24b5df9902c880b5f24ccf7c266130a98b05076497e342fa06bab9bd"},"schema_version":"1.0","source":{"id":"1902.06349","kind":"arxiv","version":2}},"canonical_sha256":"c470fa3b72897cdb641c358b739549a263ee68c3c9c25600e0e80fa61470c184","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c470fa3b72897cdb641c358b739549a263ee68c3c9c25600e0e80fa61470c184","first_computed_at":"2026-05-17T23:44:07.142480Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:07.142480Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M0Gfr2oFDbZG6jDrCsHN8V9Q15ft36fkOcclXO0yu1ZeWVeulWCto+McI3VHVpMQtrZ7QE5sDUpFNxuUDt2GCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:07.143035Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.06349","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6968bb3277b447806f8335d17a45528c11f458e94c71e221d872faaa080b29ff","sha256:018852746291bdea27104da2fb373c383cf9bee17528b31fc49d07884dc08312"],"state_sha256":"86a2c5b9cd0dbb2640aebe9b21efc70480e3df955d0a25f9ec666c2fc3224b3d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HPISszrRrng1mSYEsLDafPpREqWNrFJymaVtvqQSAEuCFIiv/lSFNofhbiGNKHtJPr2JKmWSfXEXMpBZQL8rCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T01:50:25.141050Z","bundle_sha256":"c3c415a4b641959d614bb7be9f291e90c5e7aa20cc515a2ec6e0a3e4a790cc43"}}