{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:G2BBCXDTLJRVCWGDOWGZQOCEVL","short_pith_number":"pith:G2BBCXDT","schema_version":"1.0","canonical_sha256":"3682115c735a635158c3758d983844aaf57f136bfabf5988d8ddf477ff1d0fb8","source":{"kind":"arxiv","id":"1611.01989","version":2},"attestation_state":"computed","paper":{"title":"DeepCoder: Learning to Write Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Alexander L. Gaunt, Daniel Tarlow, Marc Brockschmidt, Matej Balog, Sebastian Nowozin","submitted_at":"2016-11-07T11:09:45Z","abstract_excerpt":"We develop a first line of attack for solving programming competition-style problems from input-output examples using deep learning. The approach is to train a neural network to predict properties of the program that generated the outputs from the inputs. We use the neural network's predictions to augment search techniques from the programming languages community, including enumerative search and an SMT-based solver. Empirically, we show that our approach leads to an order of magnitude speedup over the strong non-augmented baselines and a Recurrent Neural Network approach, and that we are able"},"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":"1611.01989","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-07T11:09:45Z","cross_cats_sorted":[],"title_canon_sha256":"6525e75c879ccb79e19765bcd0e708dae6d1dc6798ebecbb3786c53bdfd6dda5","abstract_canon_sha256":"088e3b944664490e6e444f559d8e55983e8ce3f980c2d1d1940759ab46296395"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:06.441408Z","signature_b64":"8YQQoK8aK/Pw0lZT/3bjgLtkO8WfF8xpttVI+IKZYU5QnUETxRTz+o7ZbNEXS053YvHXHeBnd7lxBhrhnjr8BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3682115c735a635158c3758d983844aaf57f136bfabf5988d8ddf477ff1d0fb8","last_reissued_at":"2026-05-18T00:49:06.441018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:06.441018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DeepCoder: Learning to Write Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Alexander L. Gaunt, Daniel Tarlow, Marc Brockschmidt, Matej Balog, Sebastian Nowozin","submitted_at":"2016-11-07T11:09:45Z","abstract_excerpt":"We develop a first line of attack for solving programming competition-style problems from input-output examples using deep learning. The approach is to train a neural network to predict properties of the program that generated the outputs from the inputs. We use the neural network's predictions to augment search techniques from the programming languages community, including enumerative search and an SMT-based solver. Empirically, we show that our approach leads to an order of magnitude speedup over the strong non-augmented baselines and a Recurrent Neural Network approach, and that we are able"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.01989","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":""},"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":"1611.01989","created_at":"2026-05-18T00:49:06.441079+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.01989v2","created_at":"2026-05-18T00:49:06.441079+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.01989","created_at":"2026-05-18T00:49:06.441079+00:00"},{"alias_kind":"pith_short_12","alias_value":"G2BBCXDTLJRV","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"G2BBCXDTLJRVCWGD","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"G2BBCXDT","created_at":"2026-05-18T12:30:15.759754+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"2605.24528","citing_title":"Hypothesis Generation and Inductive Inference in Children and Language Models","ref_index":2,"is_internal_anchor":true},{"citing_arxiv_id":"2605.24693","citing_title":"CP-Agent: A Calibrated Risk-Controlled Agent for Feedback-Driven Competitive Programming","ref_index":4,"is_internal_anchor":true},{"citing_arxiv_id":"2605.05485","citing_title":"ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis","ref_index":1,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL","json":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL.json","graph_json":"https://pith.science/api/pith-number/G2BBCXDTLJRVCWGDOWGZQOCEVL/graph.json","events_json":"https://pith.science/api/pith-number/G2BBCXDTLJRVCWGDOWGZQOCEVL/events.json","paper":"https://pith.science/paper/G2BBCXDT"},"agent_actions":{"view_html":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL","download_json":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL.json","view_paper":"https://pith.science/paper/G2BBCXDT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.01989&json=true","fetch_graph":"https://pith.science/api/pith-number/G2BBCXDTLJRVCWGDOWGZQOCEVL/graph.json","fetch_events":"https://pith.science/api/pith-number/G2BBCXDTLJRVCWGDOWGZQOCEVL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL/action/storage_attestation","attest_author":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL/action/author_attestation","sign_citation":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL/action/citation_signature","submit_replication":"https://pith.science/pith/G2BBCXDTLJRVCWGDOWGZQOCEVL/action/replication_record"}},"created_at":"2026-05-18T00:49:06.441079+00:00","updated_at":"2026-05-18T00:49:06.441079+00:00"}