{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:5RXPIEPG4AQJKQCL4JCLSIBZTM","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":"c9c1a004a9edc167691312aa42f6ec77e3a543379c82003ffc8423d2ff00aaec","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2022-01-26T22:57:44Z","title_canon_sha256":"e170c3b420d052d4d96e7d18d4ffbfec554f064fb4108a66ea41a45315ca5f69"},"schema_version":"1.0","source":{"id":"2201.11227","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.11227","created_at":"2026-07-05T03:51:59Z"},{"alias_kind":"arxiv_version","alias_value":"2201.11227v1","created_at":"2026-07-05T03:51:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.11227","created_at":"2026-07-05T03:51:59Z"},{"alias_kind":"pith_short_12","alias_value":"5RXPIEPG4AQJ","created_at":"2026-07-05T03:51:59Z"},{"alias_kind":"pith_short_16","alias_value":"5RXPIEPG4AQJKQCL","created_at":"2026-07-05T03:51:59Z"},{"alias_kind":"pith_short_8","alias_value":"5RXPIEPG","created_at":"2026-07-05T03:51:59Z"}],"graph_snapshots":[{"event_id":"sha256:fa255f9782b57d5d28a1e8f6e440dc4bd439228ecff2339626f06daf1c6d52ef","target":"graph","created_at":"2026-07-05T03:51:59Z","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/2201.11227/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large pre-trained language models have been used to generate code,providing a flexible interface for synthesizing programs from natural language specifications. However, they often violate syntactic and semantic rules of their output language, limiting their practical usability. In this paper, we propose Synchromesh: a framework for substantially improving the reliability of pre-trained models for code generation. Synchromesh comprises two components. First, it retrieves few-shot examples from a training bank using Target Similarity Tuning (TST), a novel method for semantic example selection. ","authors_text":"Ashish Tiwari, Christopher Meek, Gabriel Poesia, Gustavo Soares, Oleksandr Polozov, Sumit Gulwani, Vu Le","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2022-01-26T22:57:44Z","title":"Synchromesh: Reliable code generation from pre-trained language models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.11227","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:ccfff1c8fbc190282965ecf66dff9233b648a50b8cec7334d4c203e84c1e8e4e","target":"record","created_at":"2026-07-05T03:51:59Z","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":"c9c1a004a9edc167691312aa42f6ec77e3a543379c82003ffc8423d2ff00aaec","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2022-01-26T22:57:44Z","title_canon_sha256":"e170c3b420d052d4d96e7d18d4ffbfec554f064fb4108a66ea41a45315ca5f69"},"schema_version":"1.0","source":{"id":"2201.11227","kind":"arxiv","version":1}},"canonical_sha256":"ec6ef411e6e02095404be244b920399b398d44d6f6d8d8ebaad4edfc20d5d20f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec6ef411e6e02095404be244b920399b398d44d6f6d8d8ebaad4edfc20d5d20f","first_computed_at":"2026-07-05T03:51:59.708451Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:51:59.708451Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ftV7pqbOZGi02sZK+j0hdxnETQuoGQYEN98xIDCwGDHcaTjTS0BpgUkJB5Tq/NQ5LMdW4FRfE6iT3bn9eqpuAA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:51:59.708965Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.11227","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ccfff1c8fbc190282965ecf66dff9233b648a50b8cec7334d4c203e84c1e8e4e","sha256:fa255f9782b57d5d28a1e8f6e440dc4bd439228ecff2339626f06daf1c6d52ef"],"state_sha256":"14fa467103b05e44fac8cb224ee5f9604e709f63f211de6f1ce720c2d7b17724"}