{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:RGEYFLCOOZXAS72WIIOXSTGRNG","short_pith_number":"pith:RGEYFLCO","canonical_record":{"source":{"id":"1605.07969","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-25T17:17:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"fcda39352cece8f60f95f066a82118bfcb6bd7dab0258e9a58cd746d0147feda","abstract_canon_sha256":"d7bc799333fec3799a722bf727b784909fe0587cdb8e6b33314c7a4f829e3898"},"schema_version":"1.0"},"canonical_sha256":"898982ac4e766e097f56421d794cd1699ecfb8a9294ecb712251e275bbd52a3a","source":{"kind":"arxiv","id":"1605.07969","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.07969","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1605.07969v2","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.07969","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"RGEYFLCOOZXA","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RGEYFLCOOZXAS72W","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RGEYFLCO","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:RGEYFLCOOZXAS72WIIOXSTGRNG","target":"record","payload":{"canonical_record":{"source":{"id":"1605.07969","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-25T17:17:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"fcda39352cece8f60f95f066a82118bfcb6bd7dab0258e9a58cd746d0147feda","abstract_canon_sha256":"d7bc799333fec3799a722bf727b784909fe0587cdb8e6b33314c7a4f829e3898"},"schema_version":"1.0"},"canonical_sha256":"898982ac4e766e097f56421d794cd1699ecfb8a9294ecb712251e275bbd52a3a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:37.311820Z","signature_b64":"egavpOGvFDiTrWck05+ZYxl7MNtceWHcq2f3fCLycjY6aRfPdvSQxQp/m4xv0T0i7m7hc+i+eHeaR6VqyHwJDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"898982ac4e766e097f56421d794cd1699ecfb8a9294ecb712251e275bbd52a3a","last_reissued_at":"2026-05-18T01:13:37.311065Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:37.311065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.07969","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-05-18T01:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V/sDqGNYqZTwpENacvn2z8+RqY46R5awdbltiDfkOD//snlPNtwpLp3oAP7DmJe2tOFFgLgQbFM9NF0LxYqMCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T14:21:19.707249Z"},"content_sha256":"5fad57900c51e627f4df1a29cb80c1ad28b3ebb8e7acbdbf8fa6d8da27b62301","schema_version":"1.0","event_id":"sha256:5fad57900c51e627f4df1a29cb80c1ad28b3ebb8e7acbdbf8fa6d8da27b62301"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:RGEYFLCOOZXAS72WIIOXSTGRNG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adaptive Neural Compilation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Alban Desmaison, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","submitted_at":"2016-05-25T17:17:21Z","abstract_excerpt":"This paper proposes an adaptive neural-compilation framework to address the problem of efficient program learning. Traditional code optimisation strategies used in compilers are based on applying pre-specified set of transformations that make the code faster to execute without changing its semantics. In contrast, our work involves adapting programs to make them more efficient while considering correctness only on a target input distribution. Our approach is inspired by the recent works on differentiable representations of programs. We show that it is possible to compile programs written in a l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.07969","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"},"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-05-18T01:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6G9S+VYrIrPAT0fV0+NqE01Sh1P79XfFgxmsHYPp6VDujlzVdmlCS33tqZnPxNDt6oEs4Ot87nerwRJ8tgpABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T14:21:19.708005Z"},"content_sha256":"67bfe0252421aa4ee194b087b730089099b898c29d73323be4f573c80fcf5514","schema_version":"1.0","event_id":"sha256:67bfe0252421aa4ee194b087b730089099b898c29d73323be4f573c80fcf5514"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RGEYFLCOOZXAS72WIIOXSTGRNG/bundle.json","state_url":"https://pith.science/pith/RGEYFLCOOZXAS72WIIOXSTGRNG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RGEYFLCOOZXAS72WIIOXSTGRNG/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-05-31T14:21:19Z","links":{"resolver":"https://pith.science/pith/RGEYFLCOOZXAS72WIIOXSTGRNG","bundle":"https://pith.science/pith/RGEYFLCOOZXAS72WIIOXSTGRNG/bundle.json","state":"https://pith.science/pith/RGEYFLCOOZXAS72WIIOXSTGRNG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RGEYFLCOOZXAS72WIIOXSTGRNG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RGEYFLCOOZXAS72WIIOXSTGRNG","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":"d7bc799333fec3799a722bf727b784909fe0587cdb8e6b33314c7a4f829e3898","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-25T17:17:21Z","title_canon_sha256":"fcda39352cece8f60f95f066a82118bfcb6bd7dab0258e9a58cd746d0147feda"},"schema_version":"1.0","source":{"id":"1605.07969","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.07969","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1605.07969v2","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.07969","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"RGEYFLCOOZXA","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RGEYFLCOOZXAS72W","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RGEYFLCO","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:67bfe0252421aa4ee194b087b730089099b898c29d73323be4f573c80fcf5514","target":"graph","created_at":"2026-05-18T01:13:37Z","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"},"paper":{"abstract_excerpt":"This paper proposes an adaptive neural-compilation framework to address the problem of efficient program learning. Traditional code optimisation strategies used in compilers are based on applying pre-specified set of transformations that make the code faster to execute without changing its semantics. In contrast, our work involves adapting programs to make them more efficient while considering correctness only on a target input distribution. Our approach is inspired by the recent works on differentiable representations of programs. We show that it is possible to compile programs written in a l","authors_text":"Alban Desmaison, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-25T17:17:21Z","title":"Adaptive Neural Compilation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.07969","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:5fad57900c51e627f4df1a29cb80c1ad28b3ebb8e7acbdbf8fa6d8da27b62301","target":"record","created_at":"2026-05-18T01:13:37Z","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":"d7bc799333fec3799a722bf727b784909fe0587cdb8e6b33314c7a4f829e3898","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-25T17:17:21Z","title_canon_sha256":"fcda39352cece8f60f95f066a82118bfcb6bd7dab0258e9a58cd746d0147feda"},"schema_version":"1.0","source":{"id":"1605.07969","kind":"arxiv","version":2}},"canonical_sha256":"898982ac4e766e097f56421d794cd1699ecfb8a9294ecb712251e275bbd52a3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"898982ac4e766e097f56421d794cd1699ecfb8a9294ecb712251e275bbd52a3a","first_computed_at":"2026-05-18T01:13:37.311065Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:37.311065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"egavpOGvFDiTrWck05+ZYxl7MNtceWHcq2f3fCLycjY6aRfPdvSQxQp/m4xv0T0i7m7hc+i+eHeaR6VqyHwJDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:37.311820Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.07969","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5fad57900c51e627f4df1a29cb80c1ad28b3ebb8e7acbdbf8fa6d8da27b62301","sha256:67bfe0252421aa4ee194b087b730089099b898c29d73323be4f573c80fcf5514"],"state_sha256":"8f05937b8aead0305afdc08155c10580f5b4b50003701162eac6f47823e5d356"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OXIK6uT1Bmd5vFifmL+jFK+QhCvuK/v2LYHBREENzIU9lRBmCf2/oN8XKYdBbHulNAbjlg9jqBO95VqGxK0kBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T14:21:19.711878Z","bundle_sha256":"99005b4880c8af2748aa2ec533c93d725d829aa087e6c57b685a5a6f01b5f7b5"}}