{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:MG5253N6ECRSP4DVHEZOK4JTHJ","short_pith_number":"pith:MG5253N6","schema_version":"1.0","canonical_sha256":"61bbaeedbe20a327f0753932e571333a5bca3a6bb9f786b4891b96af9235a1ba","source":{"kind":"arxiv","id":"1209.3811","version":1},"attestation_state":"computed","paper":{"title":"Textual Features for Programming by Example","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adam Tauman Kalai, Aditya Krishna Menon, Butler Lampson, Omer Tamuz, Sumit Gulwani","submitted_at":"2012-09-17T22:56:19Z","abstract_excerpt":"In Programming by Example, a system attempts to infer a program from input and output examples, generally by searching for a composition of certain base functions. Performing a naive brute force search is infeasible for even mildly involved tasks. We note that the examples themselves often present clues as to which functions to compose, and how to rank the resulting programs. In text processing, which is our domain of interest, clues arise from simple textual features: for example, if parts of the input and output strings are permutations of one another, this suggests that sorting may be usefu"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1209.3811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-09-17T22:56:19Z","cross_cats_sorted":[],"title_canon_sha256":"11a5ceef31cc38823340431ce7513d9fb6ae2b85b918871d41c132491f2e8bcc","abstract_canon_sha256":"d233c2defac6054c36512d4296f3aa9c176a848475962801002fb6f8e280a9c2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:45:22.452278Z","signature_b64":"4sOqBZnExi/wG1GfrYoOEzeeGu8AV7LkPXXsiXbZ1F1ayCy5RTyDPCozVdOnXVXAW33v1FxShjg5ZxrguVPtBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61bbaeedbe20a327f0753932e571333a5bca3a6bb9f786b4891b96af9235a1ba","last_reissued_at":"2026-05-18T03:45:22.451532Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:45:22.451532Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Textual Features for Programming by Example","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adam Tauman Kalai, Aditya Krishna Menon, Butler Lampson, Omer Tamuz, Sumit Gulwani","submitted_at":"2012-09-17T22:56:19Z","abstract_excerpt":"In Programming by Example, a system attempts to infer a program from input and output examples, generally by searching for a composition of certain base functions. Performing a naive brute force search is infeasible for even mildly involved tasks. We note that the examples themselves often present clues as to which functions to compose, and how to rank the resulting programs. In text processing, which is our domain of interest, clues arise from simple textual features: for example, if parts of the input and output strings are permutations of one another, this suggests that sorting may be usefu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.3811","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":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1209.3811","created_at":"2026-05-18T03:45:22.451659+00:00"},{"alias_kind":"arxiv_version","alias_value":"1209.3811v1","created_at":"2026-05-18T03:45:22.451659+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.3811","created_at":"2026-05-18T03:45:22.451659+00:00"},{"alias_kind":"pith_short_12","alias_value":"MG5253N6ECRS","created_at":"2026-05-18T12:27:14.488303+00:00"},{"alias_kind":"pith_short_16","alias_value":"MG5253N6ECRSP4DV","created_at":"2026-05-18T12:27:14.488303+00:00"},{"alias_kind":"pith_short_8","alias_value":"MG5253N6","created_at":"2026-05-18T12:27:14.488303+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ","json":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ.json","graph_json":"https://pith.science/api/pith-number/MG5253N6ECRSP4DVHEZOK4JTHJ/graph.json","events_json":"https://pith.science/api/pith-number/MG5253N6ECRSP4DVHEZOK4JTHJ/events.json","paper":"https://pith.science/paper/MG5253N6"},"agent_actions":{"view_html":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ","download_json":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ.json","view_paper":"https://pith.science/paper/MG5253N6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1209.3811&json=true","fetch_graph":"https://pith.science/api/pith-number/MG5253N6ECRSP4DVHEZOK4JTHJ/graph.json","fetch_events":"https://pith.science/api/pith-number/MG5253N6ECRSP4DVHEZOK4JTHJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ/action/storage_attestation","attest_author":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ/action/author_attestation","sign_citation":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ/action/citation_signature","submit_replication":"https://pith.science/pith/MG5253N6ECRSP4DVHEZOK4JTHJ/action/replication_record"}},"created_at":"2026-05-18T03:45:22.451659+00:00","updated_at":"2026-05-18T03:45:22.451659+00:00"}