{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:4EHHD4O56IYE6ER7MDGP7SWAE7","short_pith_number":"pith:4EHHD4O5","canonical_record":{"source":{"id":"1912.12345","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-12-27T21:28:10Z","cross_cats_sorted":["cs.AI","cs.PL","stat.ML"],"title_canon_sha256":"ffda3d8a9e2eb5ab49fb4b8b9a9490ce418f3be89ced3b44fe838df1138bcc7e","abstract_canon_sha256":"b8e6c5af85464884235713e15e92a0d7a7f9c7efaa39dfd16e49fbc269742d36"},"schema_version":"1.0"},"canonical_sha256":"e10e71f1ddf2304f123f60ccffcac027e3d4a78236d3d9e7c1ac6e0a98e56e54","source":{"kind":"arxiv","id":"1912.12345","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.12345","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"arxiv_version","alias_value":"1912.12345v1","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.12345","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"pith_short_12","alias_value":"4EHHD4O56IYE","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"pith_short_16","alias_value":"4EHHD4O56IYE6ER7","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"pith_short_8","alias_value":"4EHHD4O5","created_at":"2026-07-05T00:28:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:4EHHD4O56IYE6ER7MDGP7SWAE7","target":"record","payload":{"canonical_record":{"source":{"id":"1912.12345","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-12-27T21:28:10Z","cross_cats_sorted":["cs.AI","cs.PL","stat.ML"],"title_canon_sha256":"ffda3d8a9e2eb5ab49fb4b8b9a9490ce418f3be89ced3b44fe838df1138bcc7e","abstract_canon_sha256":"b8e6c5af85464884235713e15e92a0d7a7f9c7efaa39dfd16e49fbc269742d36"},"schema_version":"1.0"},"canonical_sha256":"e10e71f1ddf2304f123f60ccffcac027e3d4a78236d3d9e7c1ac6e0a98e56e54","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:28:58.701489Z","signature_b64":"KmUisKb1YO1KApPBvASsWG96FCA9M7OypeU+arZcmNQszO5+PYvdDK7al9Au3TOg3UifmkqjW5/1htVrd8S8Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e10e71f1ddf2304f123f60ccffcac027e3d4a78236d3d9e7c1ac6e0a98e56e54","last_reissued_at":"2026-07-05T00:28:58.701057Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:28:58.701057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1912.12345","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-05T00:28:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SedZFHthHMlrYPyd+T29EjeANFC2AZ/4Dj/xtUA6f0oCcBpAkHmsOkoxZjucTzWvWayRFK1Dt6q71f0zVCSABg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T14:52:01.208844Z"},"content_sha256":"3f6de7854276698ba0388e498d45a3bcaee1befdd2c3868c66b516692f6be98d","schema_version":"1.0","event_id":"sha256:3f6de7854276698ba0388e498d45a3bcaee1befdd2c3868c66b516692f6be98d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:4EHHD4O56IYE6ER7MDGP7SWAE7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthetic Datasets for Neural Program Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.PL","stat.ML"],"primary_cat":"cs.LG","authors_text":"Brandon Trabucco, Christopher Bender, Dawn Song, Kavi Gupta, Neel Kant, Richard Shin, Rishabh Singh","submitted_at":"2019-12-27T21:28:10Z","abstract_excerpt":"The goal of program synthesis is to automatically generate programs in a particular language from corresponding specifications, e.g. input-output behavior. Many current approaches achieve impressive results after training on randomly generated I/O examples in limited domain-specific languages (DSLs), as with string transformations in RobustFill. However, we empirically discover that applying test input generation techniques for languages with control flow and rich input space causes deep networks to generalize poorly to certain data distributions; to correct this, we propose a new methodology "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.12345","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/1912.12345/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-05T00:28:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CtGD+Jw+PWGYVK31gOae+R/TKPAiRANPvXHr5yd24EWaPqHGeStFEgbt4Eqb3gut+ZE7Zq/YmRro2+zRSZnoBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T14:52:01.209369Z"},"content_sha256":"f203a70e38ae46f13640d3ad823636d9eb5fd3d697a4a34ce47fb9ef487c0077","schema_version":"1.0","event_id":"sha256:f203a70e38ae46f13640d3ad823636d9eb5fd3d697a4a34ce47fb9ef487c0077"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4EHHD4O56IYE6ER7MDGP7SWAE7/bundle.json","state_url":"https://pith.science/pith/4EHHD4O56IYE6ER7MDGP7SWAE7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4EHHD4O56IYE6ER7MDGP7SWAE7/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-11T14:52:01Z","links":{"resolver":"https://pith.science/pith/4EHHD4O56IYE6ER7MDGP7SWAE7","bundle":"https://pith.science/pith/4EHHD4O56IYE6ER7MDGP7SWAE7/bundle.json","state":"https://pith.science/pith/4EHHD4O56IYE6ER7MDGP7SWAE7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4EHHD4O56IYE6ER7MDGP7SWAE7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:4EHHD4O56IYE6ER7MDGP7SWAE7","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":"b8e6c5af85464884235713e15e92a0d7a7f9c7efaa39dfd16e49fbc269742d36","cross_cats_sorted":["cs.AI","cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-12-27T21:28:10Z","title_canon_sha256":"ffda3d8a9e2eb5ab49fb4b8b9a9490ce418f3be89ced3b44fe838df1138bcc7e"},"schema_version":"1.0","source":{"id":"1912.12345","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.12345","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"arxiv_version","alias_value":"1912.12345v1","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.12345","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"pith_short_12","alias_value":"4EHHD4O56IYE","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"pith_short_16","alias_value":"4EHHD4O56IYE6ER7","created_at":"2026-07-05T00:28:58Z"},{"alias_kind":"pith_short_8","alias_value":"4EHHD4O5","created_at":"2026-07-05T00:28:58Z"}],"graph_snapshots":[{"event_id":"sha256:f203a70e38ae46f13640d3ad823636d9eb5fd3d697a4a34ce47fb9ef487c0077","target":"graph","created_at":"2026-07-05T00:28:58Z","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/1912.12345/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The goal of program synthesis is to automatically generate programs in a particular language from corresponding specifications, e.g. input-output behavior. Many current approaches achieve impressive results after training on randomly generated I/O examples in limited domain-specific languages (DSLs), as with string transformations in RobustFill. However, we empirically discover that applying test input generation techniques for languages with control flow and rich input space causes deep networks to generalize poorly to certain data distributions; to correct this, we propose a new methodology ","authors_text":"Brandon Trabucco, Christopher Bender, Dawn Song, Kavi Gupta, Neel Kant, Richard Shin, Rishabh Singh","cross_cats":["cs.AI","cs.PL","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-12-27T21:28:10Z","title":"Synthetic Datasets for Neural Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.12345","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:3f6de7854276698ba0388e498d45a3bcaee1befdd2c3868c66b516692f6be98d","target":"record","created_at":"2026-07-05T00:28:58Z","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":"b8e6c5af85464884235713e15e92a0d7a7f9c7efaa39dfd16e49fbc269742d36","cross_cats_sorted":["cs.AI","cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-12-27T21:28:10Z","title_canon_sha256":"ffda3d8a9e2eb5ab49fb4b8b9a9490ce418f3be89ced3b44fe838df1138bcc7e"},"schema_version":"1.0","source":{"id":"1912.12345","kind":"arxiv","version":1}},"canonical_sha256":"e10e71f1ddf2304f123f60ccffcac027e3d4a78236d3d9e7c1ac6e0a98e56e54","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e10e71f1ddf2304f123f60ccffcac027e3d4a78236d3d9e7c1ac6e0a98e56e54","first_computed_at":"2026-07-05T00:28:58.701057Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:28:58.701057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KmUisKb1YO1KApPBvASsWG96FCA9M7OypeU+arZcmNQszO5+PYvdDK7al9Au3TOg3UifmkqjW5/1htVrd8S8Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:28:58.701489Z","signed_message":"canonical_sha256_bytes"},"source_id":"1912.12345","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f6de7854276698ba0388e498d45a3bcaee1befdd2c3868c66b516692f6be98d","sha256:f203a70e38ae46f13640d3ad823636d9eb5fd3d697a4a34ce47fb9ef487c0077"],"state_sha256":"b396d2eb4e03936ad771c70ee4b100ccc32187767eef26c924211200478f662c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rXI5Alpa81kkZXNHkhpy3GEN7zlpX6ZlfkmMszL9nydFMAVtX6PWKZ31oGMGwmc3nou/FySCsSfjrNna+gunAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T14:52:01.214397Z","bundle_sha256":"b6e6d2a7b724dad49678ca86dae54fab315eb951e0f3fbfc278f7a84f422ea3a"}}