{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:OGM45XH5UCPN2DWWZWLSD36DAN","short_pith_number":"pith:OGM45XH5","schema_version":"1.0","canonical_sha256":"7199cedcfda09edd0ed6cd9721efc3034a2b5449c96f58c45c717c52752bf03f","source":{"kind":"arxiv","id":"2105.14467","version":1},"attestation_state":"computed","paper":{"title":"Occam Learning Meets Synthesis Through Unification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jingtao Xia, Ruyi Ji, Yingfei Xiong, Zhenjiang Hu","submitted_at":"2021-05-30T08:53:11Z","abstract_excerpt":"The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE solvers are still limited. In theory, few existing solvers provide theoretical guarantees on generalizability, and in practice, there is a lack of PBE solvers with satisfactory generalizability on important domains such as conditional linear integer arithmetic (CLIA). In this paper, we adopt a concept from the computational learning theory, Occam learning, and perform a comprehensive study on the framework of synthesis through unification (ST"},"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":"2105.14467","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-05-30T08:53:11Z","cross_cats_sorted":[],"title_canon_sha256":"cca160d78fe9ae6a37bd881d7758651888d867bf3843f6a6d427b5a7effdc231","abstract_canon_sha256":"8405d247a8374e90f8028e64dd80e68aa445738fdd41685ab425f3a1444c29a2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:44:24.237028Z","signature_b64":"WKmKFipK4DdemOpEq+JqJbnG7QXU2EkaDhGid/mexIIkm6GCIcyhlPr3eVNCesW379N/Tdc89gHMldFYWWCXCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7199cedcfda09edd0ed6cd9721efc3034a2b5449c96f58c45c717c52752bf03f","last_reissued_at":"2026-07-05T02:44:24.236645Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:44:24.236645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Occam Learning Meets Synthesis Through Unification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jingtao Xia, Ruyi Ji, Yingfei Xiong, Zhenjiang Hu","submitted_at":"2021-05-30T08:53:11Z","abstract_excerpt":"The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE solvers are still limited. In theory, few existing solvers provide theoretical guarantees on generalizability, and in practice, there is a lack of PBE solvers with satisfactory generalizability on important domains such as conditional linear integer arithmetic (CLIA). In this paper, we adopt a concept from the computational learning theory, Occam learning, and perform a comprehensive study on the framework of synthesis through unification (ST"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14467","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/2105.14467/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2105.14467","created_at":"2026-07-05T02:44:24.236701+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.14467v1","created_at":"2026-07-05T02:44:24.236701+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14467","created_at":"2026-07-05T02:44:24.236701+00:00"},{"alias_kind":"pith_short_12","alias_value":"OGM45XH5UCPN","created_at":"2026-07-05T02:44:24.236701+00:00"},{"alias_kind":"pith_short_16","alias_value":"OGM45XH5UCPN2DWW","created_at":"2026-07-05T02:44:24.236701+00:00"},{"alias_kind":"pith_short_8","alias_value":"OGM45XH5","created_at":"2026-07-05T02:44:24.236701+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/OGM45XH5UCPN2DWWZWLSD36DAN","json":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN.json","graph_json":"https://pith.science/api/pith-number/OGM45XH5UCPN2DWWZWLSD36DAN/graph.json","events_json":"https://pith.science/api/pith-number/OGM45XH5UCPN2DWWZWLSD36DAN/events.json","paper":"https://pith.science/paper/OGM45XH5"},"agent_actions":{"view_html":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN","download_json":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN.json","view_paper":"https://pith.science/paper/OGM45XH5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.14467&json=true","fetch_graph":"https://pith.science/api/pith-number/OGM45XH5UCPN2DWWZWLSD36DAN/graph.json","fetch_events":"https://pith.science/api/pith-number/OGM45XH5UCPN2DWWZWLSD36DAN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN/action/storage_attestation","attest_author":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN/action/author_attestation","sign_citation":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN/action/citation_signature","submit_replication":"https://pith.science/pith/OGM45XH5UCPN2DWWZWLSD36DAN/action/replication_record"}},"created_at":"2026-07-05T02:44:24.236701+00:00","updated_at":"2026-07-05T02:44:24.236701+00:00"}