{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:6CLKLMXVD6KVD5UIGI7BQUF7GM","short_pith_number":"pith:6CLKLMXV","canonical_record":{"source":{"id":"2012.00377","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-01T10:11:35Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1ff7c4243ffd655c7f73378273d64bf1e5ead9e5219f9e1316626a72c4a82109","abstract_canon_sha256":"70b734475b089b18c594ad139be43f89a3804f23613b5a6309efb8f9463e5d84"},"schema_version":"1.0"},"canonical_sha256":"f096a5b2f51f9551f688323e1850bf3315420235c8475ab7f073c13945d0cf75","source":{"kind":"arxiv","id":"2012.00377","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.00377","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"arxiv_version","alias_value":"2012.00377v2","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.00377","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"pith_short_12","alias_value":"6CLKLMXVD6KV","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"pith_short_16","alias_value":"6CLKLMXVD6KVD5UI","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"pith_short_8","alias_value":"6CLKLMXV","created_at":"2026-07-05T03:03:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:6CLKLMXVD6KVD5UIGI7BQUF7GM","target":"record","payload":{"canonical_record":{"source":{"id":"2012.00377","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-01T10:11:35Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1ff7c4243ffd655c7f73378273d64bf1e5ead9e5219f9e1316626a72c4a82109","abstract_canon_sha256":"70b734475b089b18c594ad139be43f89a3804f23613b5a6309efb8f9463e5d84"},"schema_version":"1.0"},"canonical_sha256":"f096a5b2f51f9551f688323e1850bf3315420235c8475ab7f073c13945d0cf75","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:03:38.702536Z","signature_b64":"1RcTc9+uLev2VcnMShagy2dau2NE4O4GIAJwF3rQkKQ+3UeRjXpboqp3zjQ7TS0CA2/qW/cFF/zPhFATCj8aAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f096a5b2f51f9551f688323e1850bf3315420235c8475ab7f073c13945d0cf75","last_reissued_at":"2026-07-05T03:03:38.702107Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:03:38.702107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.00377","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-07-05T03:03:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xrW0U/jaG/h3JnI/L7HrFBdeffbiJVR26r9IsVV6EqqUb3ePFlnOdC8W6m1Qcwo58b4p5ylvnZNEYqjxZJoADA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T08:04:24.123825Z"},"content_sha256":"1d4eba91193e1ab2f743d11b907619d3b583bdb5bc72ca8c767cdc4fa688ae3b","schema_version":"1.0","event_id":"sha256:1d4eba91193e1ab2f743d11b907619d3b583bdb5bc72ca8c767cdc4fa688ae3b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:6CLKLMXVD6KVD5UIGI7BQUF7GM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Latent Programmer: Discrete Latent Codes for Program Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Charles Sutton, David Dohan, Joey Hong, Manzil Zaheer, Rishabh Singh","submitted_at":"2020-12-01T10:11:35Z","abstract_excerpt":"In many sequence learning tasks, such as program synthesis and document summarization, a key problem is searching over a large space of possible output sequences. We propose to learn representations of the outputs that are specifically meant for search: rich enough to specify the desired output but compact enough to make search more efficient. Discrete latent codes are appealing for this purpose, as they naturally allow sophisticated combinatorial search strategies. The latent codes are learned using a self-supervised learning principle, in which first a discrete autoencoder is trained on the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.00377","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2012.00377/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-05T03:03:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IP8gkOCjUPFv3r5gDlC3UrMigyvYq00wh/nTBJBUOZNxOO2FAzm7JcnXD7KB4fvpIO6G5C00W2hxd/8p5DOQCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T08:04:24.124809Z"},"content_sha256":"15e1f38c2d940cefeec7351625f8ccfd7447e428b657ff83f58ad35bd0452f02","schema_version":"1.0","event_id":"sha256:15e1f38c2d940cefeec7351625f8ccfd7447e428b657ff83f58ad35bd0452f02"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6CLKLMXVD6KVD5UIGI7BQUF7GM/bundle.json","state_url":"https://pith.science/pith/6CLKLMXVD6KVD5UIGI7BQUF7GM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6CLKLMXVD6KVD5UIGI7BQUF7GM/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-12T08:04:24Z","links":{"resolver":"https://pith.science/pith/6CLKLMXVD6KVD5UIGI7BQUF7GM","bundle":"https://pith.science/pith/6CLKLMXVD6KVD5UIGI7BQUF7GM/bundle.json","state":"https://pith.science/pith/6CLKLMXVD6KVD5UIGI7BQUF7GM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6CLKLMXVD6KVD5UIGI7BQUF7GM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:6CLKLMXVD6KVD5UIGI7BQUF7GM","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":"70b734475b089b18c594ad139be43f89a3804f23613b5a6309efb8f9463e5d84","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-01T10:11:35Z","title_canon_sha256":"1ff7c4243ffd655c7f73378273d64bf1e5ead9e5219f9e1316626a72c4a82109"},"schema_version":"1.0","source":{"id":"2012.00377","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.00377","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"arxiv_version","alias_value":"2012.00377v2","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.00377","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"pith_short_12","alias_value":"6CLKLMXVD6KV","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"pith_short_16","alias_value":"6CLKLMXVD6KVD5UI","created_at":"2026-07-05T03:03:38Z"},{"alias_kind":"pith_short_8","alias_value":"6CLKLMXV","created_at":"2026-07-05T03:03:38Z"}],"graph_snapshots":[{"event_id":"sha256:15e1f38c2d940cefeec7351625f8ccfd7447e428b657ff83f58ad35bd0452f02","target":"graph","created_at":"2026-07-05T03:03:38Z","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/2012.00377/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In many sequence learning tasks, such as program synthesis and document summarization, a key problem is searching over a large space of possible output sequences. We propose to learn representations of the outputs that are specifically meant for search: rich enough to specify the desired output but compact enough to make search more efficient. Discrete latent codes are appealing for this purpose, as they naturally allow sophisticated combinatorial search strategies. The latent codes are learned using a self-supervised learning principle, in which first a discrete autoencoder is trained on the ","authors_text":"Charles Sutton, David Dohan, Joey Hong, Manzil Zaheer, Rishabh Singh","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-01T10:11:35Z","title":"Latent Programmer: Discrete Latent Codes for Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.00377","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:1d4eba91193e1ab2f743d11b907619d3b583bdb5bc72ca8c767cdc4fa688ae3b","target":"record","created_at":"2026-07-05T03:03:38Z","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":"70b734475b089b18c594ad139be43f89a3804f23613b5a6309efb8f9463e5d84","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-01T10:11:35Z","title_canon_sha256":"1ff7c4243ffd655c7f73378273d64bf1e5ead9e5219f9e1316626a72c4a82109"},"schema_version":"1.0","source":{"id":"2012.00377","kind":"arxiv","version":2}},"canonical_sha256":"f096a5b2f51f9551f688323e1850bf3315420235c8475ab7f073c13945d0cf75","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f096a5b2f51f9551f688323e1850bf3315420235c8475ab7f073c13945d0cf75","first_computed_at":"2026-07-05T03:03:38.702107Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:03:38.702107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1RcTc9+uLev2VcnMShagy2dau2NE4O4GIAJwF3rQkKQ+3UeRjXpboqp3zjQ7TS0CA2/qW/cFF/zPhFATCj8aAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:03:38.702536Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.00377","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1d4eba91193e1ab2f743d11b907619d3b583bdb5bc72ca8c767cdc4fa688ae3b","sha256:15e1f38c2d940cefeec7351625f8ccfd7447e428b657ff83f58ad35bd0452f02"],"state_sha256":"cbd30b4cb489749862e4f5b081da2f04da379d72fa08b3b36932c4a53ab44113"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wLNFiyJSA2Ntl8KnFnQ+LXc5XIEzi+WGgJuBY1oBi24GvKzlOHGQiMuSbAYqxgtHaICRELXIIawo5ztj30vgCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T08:04:24.131260Z","bundle_sha256":"cbd2dc3a72efd3817e9d8b0c1612b2ef146b6f1e9c2e8032e7c903b68d9923b6"}}