{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:RWBLF23HBEXVVNJT3GD5R7G4CQ","short_pith_number":"pith:RWBLF23H","canonical_record":{"source":{"id":"1611.01787","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-06T14:35:38Z","cross_cats_sorted":[],"title_canon_sha256":"b013dcabe16082650fb70c915b9539f4d7fd63d740634bdd93350b367f133833","abstract_canon_sha256":"1c0663960709d8e7d40d1b26a27ad70e06ea14e6380806a42e3b0fcbc05cec80"},"schema_version":"1.0"},"canonical_sha256":"8d82b2eb67092f5ab533d987d8fcdc141a69d6b8848223ffa0bfa323b9bde080","source":{"kind":"arxiv","id":"1611.01787","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.01787","created_at":"2026-05-18T00:41:20Z"},{"alias_kind":"arxiv_version","alias_value":"1611.01787v3","created_at":"2026-05-18T00:41:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.01787","created_at":"2026-05-18T00:41:20Z"},{"alias_kind":"pith_short_12","alias_value":"RWBLF23HBEXV","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RWBLF23HBEXVVNJT","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RWBLF23H","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:RWBLF23HBEXVVNJT3GD5R7G4CQ","target":"record","payload":{"canonical_record":{"source":{"id":"1611.01787","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-06T14:35:38Z","cross_cats_sorted":[],"title_canon_sha256":"b013dcabe16082650fb70c915b9539f4d7fd63d740634bdd93350b367f133833","abstract_canon_sha256":"1c0663960709d8e7d40d1b26a27ad70e06ea14e6380806a42e3b0fcbc05cec80"},"schema_version":"1.0"},"canonical_sha256":"8d82b2eb67092f5ab533d987d8fcdc141a69d6b8848223ffa0bfa323b9bde080","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:20.988652Z","signature_b64":"Py6e7XAR5gM7JrrSKbSFd9u0qiU1BpGRPAI9oOdrlNzu+InbmCaDrBdvz6bNGxtersp2aJHoCtwPsfhxPAyjAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d82b2eb67092f5ab533d987d8fcdc141a69d6b8848223ffa0bfa323b9bde080","last_reissued_at":"2026-05-18T00:41:20.987980Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:20.987980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.01787","source_version":3,"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-18T00:41:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DXlGvrywguH024gfWxh/1Ce57TVm7eq1ifa9Z9aLk9ikMi8GgtryJcvYDSwag0hnyGFsyztilvtRX2Xpfm95DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:49:46.510122Z"},"content_sha256":"0f6d29c1fa13af19c5adf9b6b5550709c2b4d030a92ebe1b38c8bca9860e75c2","schema_version":"1.0","event_id":"sha256:0f6d29c1fa13af19c5adf9b6b5550709c2b4d030a92ebe1b38c8bca9860e75c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:RWBLF23HBEXVVNJT3GD5R7G4CQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning to superoptimize programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Alban Desmaison, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","submitted_at":"2016-11-06T14:35:38Z","abstract_excerpt":"Code super-optimization is the task of transforming any given program to a more efficient version while preserving its input-output behaviour. In some sense, it is similar to the paraphrase problem from natural language processing where the intention is to change the syntax of an utterance without changing its semantics. Code-optimization has been the subject of years of research that has resulted in the development of rule-based transformation strategies that are used by compilers. More recently, however, a class of stochastic search based methods have been shown to outperform these strategie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.01787","kind":"arxiv","version":3},"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-18T00:41:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"60Jjali0zc19uTB3HO8gMGEAYams4bRTtbzF72YMBOJ5+6YFkViHctB07x6k8LK13foL8UGk46C79CuVitYrDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:49:46.510852Z"},"content_sha256":"6f286d0aece161b074446c1a14c6f08e173c755c99edcbe83b464a3abfdc2769","schema_version":"1.0","event_id":"sha256:6f286d0aece161b074446c1a14c6f08e173c755c99edcbe83b464a3abfdc2769"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RWBLF23HBEXVVNJT3GD5R7G4CQ/bundle.json","state_url":"https://pith.science/pith/RWBLF23HBEXVVNJT3GD5R7G4CQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RWBLF23HBEXVVNJT3GD5R7G4CQ/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-31T20:49:46Z","links":{"resolver":"https://pith.science/pith/RWBLF23HBEXVVNJT3GD5R7G4CQ","bundle":"https://pith.science/pith/RWBLF23HBEXVVNJT3GD5R7G4CQ/bundle.json","state":"https://pith.science/pith/RWBLF23HBEXVVNJT3GD5R7G4CQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RWBLF23HBEXVVNJT3GD5R7G4CQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RWBLF23HBEXVVNJT3GD5R7G4CQ","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":"1c0663960709d8e7d40d1b26a27ad70e06ea14e6380806a42e3b0fcbc05cec80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-06T14:35:38Z","title_canon_sha256":"b013dcabe16082650fb70c915b9539f4d7fd63d740634bdd93350b367f133833"},"schema_version":"1.0","source":{"id":"1611.01787","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.01787","created_at":"2026-05-18T00:41:20Z"},{"alias_kind":"arxiv_version","alias_value":"1611.01787v3","created_at":"2026-05-18T00:41:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.01787","created_at":"2026-05-18T00:41:20Z"},{"alias_kind":"pith_short_12","alias_value":"RWBLF23HBEXV","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RWBLF23HBEXVVNJT","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RWBLF23H","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:6f286d0aece161b074446c1a14c6f08e173c755c99edcbe83b464a3abfdc2769","target":"graph","created_at":"2026-05-18T00:41:20Z","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":"Code super-optimization is the task of transforming any given program to a more efficient version while preserving its input-output behaviour. In some sense, it is similar to the paraphrase problem from natural language processing where the intention is to change the syntax of an utterance without changing its semantics. Code-optimization has been the subject of years of research that has resulted in the development of rule-based transformation strategies that are used by compilers. More recently, however, a class of stochastic search based methods have been shown to outperform these strategie","authors_text":"Alban Desmaison, M. Pawan Kumar, Philip H.S. Torr, Pushmeet Kohli, Rudy Bunel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-06T14:35:38Z","title":"Learning to superoptimize programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.01787","kind":"arxiv","version":3},"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:0f6d29c1fa13af19c5adf9b6b5550709c2b4d030a92ebe1b38c8bca9860e75c2","target":"record","created_at":"2026-05-18T00:41:20Z","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":"1c0663960709d8e7d40d1b26a27ad70e06ea14e6380806a42e3b0fcbc05cec80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2016-11-06T14:35:38Z","title_canon_sha256":"b013dcabe16082650fb70c915b9539f4d7fd63d740634bdd93350b367f133833"},"schema_version":"1.0","source":{"id":"1611.01787","kind":"arxiv","version":3}},"canonical_sha256":"8d82b2eb67092f5ab533d987d8fcdc141a69d6b8848223ffa0bfa323b9bde080","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d82b2eb67092f5ab533d987d8fcdc141a69d6b8848223ffa0bfa323b9bde080","first_computed_at":"2026-05-18T00:41:20.987980Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:41:20.987980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Py6e7XAR5gM7JrrSKbSFd9u0qiU1BpGRPAI9oOdrlNzu+InbmCaDrBdvz6bNGxtersp2aJHoCtwPsfhxPAyjAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:41:20.988652Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.01787","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0f6d29c1fa13af19c5adf9b6b5550709c2b4d030a92ebe1b38c8bca9860e75c2","sha256:6f286d0aece161b074446c1a14c6f08e173c755c99edcbe83b464a3abfdc2769"],"state_sha256":"fad6fb3365126aa010e0e84b0d0547f04e5d4b4b6ea09d71b2c6a109815eb97d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eIZGdnH018VhmYOKp0D+vOfGfVux+3C0WwZ8Clndl5iINGPs71LPh65xBRHMEkDuCVagoDIff+IxzW9Wgd5NAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T20:49:46.514790Z","bundle_sha256":"c9d99973b5c225cda5562f024f90e1421ff09becd34a848fbcf2ac4981c9d8e2"}}