{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:7LZGCWHOYAVRUFMXTKGMPFWAIW","short_pith_number":"pith:7LZGCWHO","canonical_record":{"source":{"id":"2204.02495","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-04-05T21:25:58Z","cross_cats_sorted":[],"title_canon_sha256":"35f9874f682421c006ddd3b51096d723ee59b0ad4ea861e530ae25cd06510c13","abstract_canon_sha256":"c9ada69754d7bf0b8942d8d73cb3debe8bd17da6cf648f416ba608fd61a6a99e"},"schema_version":"1.0"},"canonical_sha256":"faf26158eec02b1a15979a8cc796c0459b63a92e1257580e618f8610ff6d2a4a","source":{"kind":"arxiv","id":"2204.02495","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.02495","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"arxiv_version","alias_value":"2204.02495v1","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.02495","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"pith_short_12","alias_value":"7LZGCWHOYAVR","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"pith_short_16","alias_value":"7LZGCWHOYAVRUFMX","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"pith_short_8","alias_value":"7LZGCWHO","created_at":"2026-07-05T04:12:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:7LZGCWHOYAVRUFMXTKGMPFWAIW","target":"record","payload":{"canonical_record":{"source":{"id":"2204.02495","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-04-05T21:25:58Z","cross_cats_sorted":[],"title_canon_sha256":"35f9874f682421c006ddd3b51096d723ee59b0ad4ea861e530ae25cd06510c13","abstract_canon_sha256":"c9ada69754d7bf0b8942d8d73cb3debe8bd17da6cf648f416ba608fd61a6a99e"},"schema_version":"1.0"},"canonical_sha256":"faf26158eec02b1a15979a8cc796c0459b63a92e1257580e618f8610ff6d2a4a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:12:08.863173Z","signature_b64":"GVTpH7s81ceHOxvw1QLpMLFACogXyW5SIjsgmqkkpKNohhPXmOTRKwRqxOHV8tgfrBmTlu/1F3P/yVCOTL6aCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"faf26158eec02b1a15979a8cc796c0459b63a92e1257580e618f8610ff6d2a4a","last_reissued_at":"2026-07-05T04:12:08.862757Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:12:08.862757Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2204.02495","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-05T04:12:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9kTUZYLBEODr8k7ic26TTBTaQEELPsa8nh/Yv0nychbEEbgP7urIuxc1VArpMbCcWPJ4rbNM9szcvdBoAKhoDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T07:29:52.973905Z"},"content_sha256":"8d2e5f062bc120facd60208114774aa0dab75983b1d5fd7a5ee101071e741e65","schema_version":"1.0","event_id":"sha256:8d2e5f062bc120facd60208114774aa0dab75983b1d5fd7a5ee101071e741e65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:7LZGCWHOYAVRUFMXTKGMPFWAIW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Pragmatic Program Synthesis with Informative Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kevin Ellis, Saujas Vaduguru, Yewen Pu","submitted_at":"2022-04-05T21:25:58Z","abstract_excerpt":"Providing examples is one of the most common way for end-users to interact with program synthesizers. However, program synthesis systems assume that examples consistent with the program are chosen at random, and do not exploit the fact that users choose examples pragmatically. Prior work modeled program synthesis as pragmatic communication, but required an inefficient enumeration of the entire program space. In this paper, we show that it is possible to build a program synthesizer that is both pragmatic and efficient by approximating the joint distribution of programs with a product of indepen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.02495","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/2204.02495/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-05T04:12:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qDMD4yJHzJBQR3cdy1EnSWRcyzpF+Zja+6SsvSQsxUw2apLlVJzCtvUI6Kah/CZ5+I3gDtvwrjlxd5ljrdGOBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T07:29:52.974390Z"},"content_sha256":"1a486020357d0ba0796e05a689f6879df2b1fb0be3a0a28ff3555a6fd99f7c56","schema_version":"1.0","event_id":"sha256:1a486020357d0ba0796e05a689f6879df2b1fb0be3a0a28ff3555a6fd99f7c56"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7LZGCWHOYAVRUFMXTKGMPFWAIW/bundle.json","state_url":"https://pith.science/pith/7LZGCWHOYAVRUFMXTKGMPFWAIW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7LZGCWHOYAVRUFMXTKGMPFWAIW/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-18T07:29:52Z","links":{"resolver":"https://pith.science/pith/7LZGCWHOYAVRUFMXTKGMPFWAIW","bundle":"https://pith.science/pith/7LZGCWHOYAVRUFMXTKGMPFWAIW/bundle.json","state":"https://pith.science/pith/7LZGCWHOYAVRUFMXTKGMPFWAIW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7LZGCWHOYAVRUFMXTKGMPFWAIW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:7LZGCWHOYAVRUFMXTKGMPFWAIW","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":"c9ada69754d7bf0b8942d8d73cb3debe8bd17da6cf648f416ba608fd61a6a99e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-04-05T21:25:58Z","title_canon_sha256":"35f9874f682421c006ddd3b51096d723ee59b0ad4ea861e530ae25cd06510c13"},"schema_version":"1.0","source":{"id":"2204.02495","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.02495","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"arxiv_version","alias_value":"2204.02495v1","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.02495","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"pith_short_12","alias_value":"7LZGCWHOYAVR","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"pith_short_16","alias_value":"7LZGCWHOYAVRUFMX","created_at":"2026-07-05T04:12:08Z"},{"alias_kind":"pith_short_8","alias_value":"7LZGCWHO","created_at":"2026-07-05T04:12:08Z"}],"graph_snapshots":[{"event_id":"sha256:1a486020357d0ba0796e05a689f6879df2b1fb0be3a0a28ff3555a6fd99f7c56","target":"graph","created_at":"2026-07-05T04:12:08Z","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/2204.02495/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Providing examples is one of the most common way for end-users to interact with program synthesizers. However, program synthesis systems assume that examples consistent with the program are chosen at random, and do not exploit the fact that users choose examples pragmatically. Prior work modeled program synthesis as pragmatic communication, but required an inefficient enumeration of the entire program space. In this paper, we show that it is possible to build a program synthesizer that is both pragmatic and efficient by approximating the joint distribution of programs with a product of indepen","authors_text":"Kevin Ellis, Saujas Vaduguru, Yewen Pu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-04-05T21:25:58Z","title":"Efficient Pragmatic Program Synthesis with Informative Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.02495","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:8d2e5f062bc120facd60208114774aa0dab75983b1d5fd7a5ee101071e741e65","target":"record","created_at":"2026-07-05T04:12:08Z","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":"c9ada69754d7bf0b8942d8d73cb3debe8bd17da6cf648f416ba608fd61a6a99e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-04-05T21:25:58Z","title_canon_sha256":"35f9874f682421c006ddd3b51096d723ee59b0ad4ea861e530ae25cd06510c13"},"schema_version":"1.0","source":{"id":"2204.02495","kind":"arxiv","version":1}},"canonical_sha256":"faf26158eec02b1a15979a8cc796c0459b63a92e1257580e618f8610ff6d2a4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"faf26158eec02b1a15979a8cc796c0459b63a92e1257580e618f8610ff6d2a4a","first_computed_at":"2026-07-05T04:12:08.862757Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:12:08.862757Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GVTpH7s81ceHOxvw1QLpMLFACogXyW5SIjsgmqkkpKNohhPXmOTRKwRqxOHV8tgfrBmTlu/1F3P/yVCOTL6aCA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:12:08.863173Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.02495","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d2e5f062bc120facd60208114774aa0dab75983b1d5fd7a5ee101071e741e65","sha256:1a486020357d0ba0796e05a689f6879df2b1fb0be3a0a28ff3555a6fd99f7c56"],"state_sha256":"38a0df5f63ac78ba3347c8bbb8ad6b90e3e1e98813ef8d274370e8448e010d51"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+wYao0YJ2OeSxZO20+mAC8kllf/p8wNgdN7PL8atFYFAquedqYcoFWcaO7wPB2w2JczmN8spPnu5+GooEmBxCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T07:29:52.978343Z","bundle_sha256":"9e9c4f015836cabbed12cb0327ad6cb3e95bd1025a4b222985074267fc7ccf63"}}