{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:NQADVE2GP5D7RDYO6BC4PIUUGE","short_pith_number":"pith:NQADVE2G","canonical_record":{"source":{"id":"2205.07857","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-05-08T13:53:18Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b0ae971142ded54a008d3f0b4c28d4da22df569e77d474d20994c2a1d41b1ca9","abstract_canon_sha256":"e51211e51584422c04201cb15a55419b1b6e31be882c1b4bdfe175445052ebf8"},"schema_version":"1.0"},"canonical_sha256":"6c003a93467f47f88f0ef045c7a294312bae47a6f0ca53cb5c862dc677722d26","source":{"kind":"arxiv","id":"2205.07857","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.07857","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"2205.07857v1","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.07857","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"NQADVE2GP5D7","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"pith_short_16","alias_value":"NQADVE2GP5D7RDYO","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"pith_short_8","alias_value":"NQADVE2G","created_at":"2026-07-05T04:23:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:NQADVE2GP5D7RDYO6BC4PIUUGE","target":"record","payload":{"canonical_record":{"source":{"id":"2205.07857","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-05-08T13:53:18Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b0ae971142ded54a008d3f0b4c28d4da22df569e77d474d20994c2a1d41b1ca9","abstract_canon_sha256":"e51211e51584422c04201cb15a55419b1b6e31be882c1b4bdfe175445052ebf8"},"schema_version":"1.0"},"canonical_sha256":"6c003a93467f47f88f0ef045c7a294312bae47a6f0ca53cb5c862dc677722d26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:23:56.594072Z","signature_b64":"TFqQPAHzfz5Q0FvMCYIiePsJXdpBwBAVIrbs2SV33RtDqdTAkO2GcBeGMyrlxYxy2cQ0eEnDA4Ntj2LhCPcNCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c003a93467f47f88f0ef045c7a294312bae47a6f0ca53cb5c862dc677722d26","last_reissued_at":"2026-07-05T04:23:56.593627Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:23:56.593627Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.07857","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-05T04:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EPSArRyofFLakvdA03J1uD4bwIxxsa9LFDnrowwCkhOQI+wTvt0RwkVLJ+4kWLsDdkdh09x+PSvFl4LI/wqfBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:34:51.982929Z"},"content_sha256":"db4b364822d42925f9336884a4837926d71b28bff9390e947804a2873991bcfc","schema_version":"1.0","event_id":"sha256:db4b364822d42925f9336884a4837926d71b28bff9390e947804a2873991bcfc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:NQADVE2GP5D7RDYO6BC4PIUUGE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Program Synthesis with Query","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Di Huang, Nan Li, Pengwei Jin, Qi Guo, Rui Zhang, Xing Hu, Xishan Zhang, Yunji Chen, Zidong Du","submitted_at":"2022-05-08T13:53:18Z","abstract_excerpt":"Aiming to find a program satisfying the user intent given input-output examples, program synthesis has attracted increasing interest in the area of machine learning. Despite the promising performance of existing methods, most of their success comes from the privileged information of well-designed input-output examples. However, providing such input-output examples is unrealistic because it requires the users to have the ability to describe the underlying program with a few input-output examples under the training distribution. In this work, we propose a query-based framework that trains a quer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.07857","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/2205.07857/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-05T04:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1qhN0bec2N3Ga1jSqEj5Jxa6OOM2nFK/MbL2yjYmtm9Coe1KmI34k6Nk7mzwBOrOcVgv0D5McsNG5nMKjGO6Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:34:51.983293Z"},"content_sha256":"0c3bcc24cefa0ff434ae14706067c5450773fbb6907836335f63953379383f6d","schema_version":"1.0","event_id":"sha256:0c3bcc24cefa0ff434ae14706067c5450773fbb6907836335f63953379383f6d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NQADVE2GP5D7RDYO6BC4PIUUGE/bundle.json","state_url":"https://pith.science/pith/NQADVE2GP5D7RDYO6BC4PIUUGE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NQADVE2GP5D7RDYO6BC4PIUUGE/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-07-07T04:34:51Z","links":{"resolver":"https://pith.science/pith/NQADVE2GP5D7RDYO6BC4PIUUGE","bundle":"https://pith.science/pith/NQADVE2GP5D7RDYO6BC4PIUUGE/bundle.json","state":"https://pith.science/pith/NQADVE2GP5D7RDYO6BC4PIUUGE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NQADVE2GP5D7RDYO6BC4PIUUGE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:NQADVE2GP5D7RDYO6BC4PIUUGE","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":"e51211e51584422c04201cb15a55419b1b6e31be882c1b4bdfe175445052ebf8","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-05-08T13:53:18Z","title_canon_sha256":"b0ae971142ded54a008d3f0b4c28d4da22df569e77d474d20994c2a1d41b1ca9"},"schema_version":"1.0","source":{"id":"2205.07857","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.07857","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"2205.07857v1","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.07857","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"NQADVE2GP5D7","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"pith_short_16","alias_value":"NQADVE2GP5D7RDYO","created_at":"2026-07-05T04:23:56Z"},{"alias_kind":"pith_short_8","alias_value":"NQADVE2G","created_at":"2026-07-05T04:23:56Z"}],"graph_snapshots":[{"event_id":"sha256:0c3bcc24cefa0ff434ae14706067c5450773fbb6907836335f63953379383f6d","target":"graph","created_at":"2026-07-05T04:23:56Z","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/2205.07857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Aiming to find a program satisfying the user intent given input-output examples, program synthesis has attracted increasing interest in the area of machine learning. Despite the promising performance of existing methods, most of their success comes from the privileged information of well-designed input-output examples. However, providing such input-output examples is unrealistic because it requires the users to have the ability to describe the underlying program with a few input-output examples under the training distribution. In this work, we propose a query-based framework that trains a quer","authors_text":"Di Huang, Nan Li, Pengwei Jin, Qi Guo, Rui Zhang, Xing Hu, Xishan Zhang, Yunji Chen, Zidong Du","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-05-08T13:53:18Z","title":"Neural Program Synthesis with Query"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.07857","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:db4b364822d42925f9336884a4837926d71b28bff9390e947804a2873991bcfc","target":"record","created_at":"2026-07-05T04:23:56Z","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":"e51211e51584422c04201cb15a55419b1b6e31be882c1b4bdfe175445052ebf8","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-05-08T13:53:18Z","title_canon_sha256":"b0ae971142ded54a008d3f0b4c28d4da22df569e77d474d20994c2a1d41b1ca9"},"schema_version":"1.0","source":{"id":"2205.07857","kind":"arxiv","version":1}},"canonical_sha256":"6c003a93467f47f88f0ef045c7a294312bae47a6f0ca53cb5c862dc677722d26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c003a93467f47f88f0ef045c7a294312bae47a6f0ca53cb5c862dc677722d26","first_computed_at":"2026-07-05T04:23:56.593627Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:23:56.593627Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TFqQPAHzfz5Q0FvMCYIiePsJXdpBwBAVIrbs2SV33RtDqdTAkO2GcBeGMyrlxYxy2cQ0eEnDA4Ntj2LhCPcNCw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:23:56.594072Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.07857","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:db4b364822d42925f9336884a4837926d71b28bff9390e947804a2873991bcfc","sha256:0c3bcc24cefa0ff434ae14706067c5450773fbb6907836335f63953379383f6d"],"state_sha256":"277b6bae3d078b3536d4e8620ffb9fd24a5d8debded7101f7363e664b0442845"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l4HuJpimuIWkEt3+SSOzHExlfyIdUYn/HyoP0J03FfSe4zl9/xzgVK4ytOBIWphaVpRlxJAXBX87wW8MuCv3Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:34:51.985242Z","bundle_sha256":"6939b0873b2701bff2b33a318c631f2a65f4ec1024c26153c2004776aa154a04"}}