{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:QCY3CGJ42QB7EESFNMKSJDMYVW","short_pith_number":"pith:QCY3CGJ4","canonical_record":{"source":{"id":"2211.14104","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-11-25T13:37:02Z","cross_cats_sorted":[],"title_canon_sha256":"21d5c66777c3d1e191a923b3041bba522515072b3446c9451e91e976d804b23f","abstract_canon_sha256":"3adf9d04a0cee7f0a7b63c40f738abc2a997916b6e35c987ed4f962aa4abf8c9"},"schema_version":"1.0"},"canonical_sha256":"80b1b1193cd403f212456b15248d98ad924ef66b3ba173f8dcecbcd60493421d","source":{"kind":"arxiv","id":"2211.14104","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.14104","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"arxiv_version","alias_value":"2211.14104v2","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.14104","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_12","alias_value":"QCY3CGJ42QB7","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_16","alias_value":"QCY3CGJ42QB7EESF","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_8","alias_value":"QCY3CGJ4","created_at":"2026-07-05T06:18:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:QCY3CGJ42QB7EESFNMKSJDMYVW","target":"record","payload":{"canonical_record":{"source":{"id":"2211.14104","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-11-25T13:37:02Z","cross_cats_sorted":[],"title_canon_sha256":"21d5c66777c3d1e191a923b3041bba522515072b3446c9451e91e976d804b23f","abstract_canon_sha256":"3adf9d04a0cee7f0a7b63c40f738abc2a997916b6e35c987ed4f962aa4abf8c9"},"schema_version":"1.0"},"canonical_sha256":"80b1b1193cd403f212456b15248d98ad924ef66b3ba173f8dcecbcd60493421d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:18:37.005937Z","signature_b64":"OlYOHniPOe0ifASlfTaTGffZ9Ya2J7zRjB/UiNGAG08YRTBoLeFQeleoLW+DFDlv9tcgJA3Hvvy4MCCP63ZGCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80b1b1193cd403f212456b15248d98ad924ef66b3ba173f8dcecbcd60493421d","last_reissued_at":"2026-07-05T06:18:37.005568Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:18:37.005568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2211.14104","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-07-05T06:18:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N+ql6ANsQPiEWGQXBGCQMc4SR4NwHkzQxhF+KN+Yu5FP9R1rLcixaV0WQpfkwpkznr0CZpiEqQjci0rgp0XwAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:31:23.150629Z"},"content_sha256":"549d5462eb0f5c8dc863d29ef581de5bde60054a44778cfef710a9b7c87f3eea","schema_version":"1.0","event_id":"sha256:549d5462eb0f5c8dc863d29ef581de5bde60054a44778cfef710a9b7c87f3eea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:QCY3CGJ42QB7EESFNMKSJDMYVW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient sample selection for safe learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alisa Rupenyan, Efe C. Balta, John Lygeros, Marta Zagorowska, Varsha Behrunani","submitted_at":"2022-11-25T13:37:02Z","abstract_excerpt":"Ensuring safety in industrial control systems usually involves imposing constraints at the design stage of the control algorithm. Enforcing constraints is challenging if the underlying functional form is unknown. The challenge can be addressed by using surrogate models, such as Gaussian processes, which provide confidence intervals used to find solutions that can be considered safe. This in turn involves an exhaustive search on the entire search space. That approach can quickly become computationally expensive. We reformulate the exhaustive search as a series of optimization problems to find t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.14104","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2211.14104/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-05T06:18:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"efWj6bhoRXqCsAujveubT8Wj8LmTjb6XGm0fr3k3LwAlHaeYsNg0y//ujT5YVe3AYhQYJpOtr2IXxhtsJrllCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:31:23.151185Z"},"content_sha256":"2209fac4bf7e2ed23701324c97583249588df65eb41bb03a2e8906ce489492d9","schema_version":"1.0","event_id":"sha256:2209fac4bf7e2ed23701324c97583249588df65eb41bb03a2e8906ce489492d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QCY3CGJ42QB7EESFNMKSJDMYVW/bundle.json","state_url":"https://pith.science/pith/QCY3CGJ42QB7EESFNMKSJDMYVW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QCY3CGJ42QB7EESFNMKSJDMYVW/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-03T18:31:23Z","links":{"resolver":"https://pith.science/pith/QCY3CGJ42QB7EESFNMKSJDMYVW","bundle":"https://pith.science/pith/QCY3CGJ42QB7EESFNMKSJDMYVW/bundle.json","state":"https://pith.science/pith/QCY3CGJ42QB7EESFNMKSJDMYVW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QCY3CGJ42QB7EESFNMKSJDMYVW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:QCY3CGJ42QB7EESFNMKSJDMYVW","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":"3adf9d04a0cee7f0a7b63c40f738abc2a997916b6e35c987ed4f962aa4abf8c9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-11-25T13:37:02Z","title_canon_sha256":"21d5c66777c3d1e191a923b3041bba522515072b3446c9451e91e976d804b23f"},"schema_version":"1.0","source":{"id":"2211.14104","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.14104","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"arxiv_version","alias_value":"2211.14104v2","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.14104","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_12","alias_value":"QCY3CGJ42QB7","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_16","alias_value":"QCY3CGJ42QB7EESF","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_8","alias_value":"QCY3CGJ4","created_at":"2026-07-05T06:18:37Z"}],"graph_snapshots":[{"event_id":"sha256:2209fac4bf7e2ed23701324c97583249588df65eb41bb03a2e8906ce489492d9","target":"graph","created_at":"2026-07-05T06:18: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2211.14104/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring safety in industrial control systems usually involves imposing constraints at the design stage of the control algorithm. Enforcing constraints is challenging if the underlying functional form is unknown. The challenge can be addressed by using surrogate models, such as Gaussian processes, which provide confidence intervals used to find solutions that can be considered safe. This in turn involves an exhaustive search on the entire search space. That approach can quickly become computationally expensive. We reformulate the exhaustive search as a series of optimization problems to find t","authors_text":"Alisa Rupenyan, Efe C. Balta, John Lygeros, Marta Zagorowska, Varsha Behrunani","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-11-25T13:37:02Z","title":"Efficient sample selection for safe learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.14104","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:549d5462eb0f5c8dc863d29ef581de5bde60054a44778cfef710a9b7c87f3eea","target":"record","created_at":"2026-07-05T06:18: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":"3adf9d04a0cee7f0a7b63c40f738abc2a997916b6e35c987ed4f962aa4abf8c9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-11-25T13:37:02Z","title_canon_sha256":"21d5c66777c3d1e191a923b3041bba522515072b3446c9451e91e976d804b23f"},"schema_version":"1.0","source":{"id":"2211.14104","kind":"arxiv","version":2}},"canonical_sha256":"80b1b1193cd403f212456b15248d98ad924ef66b3ba173f8dcecbcd60493421d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"80b1b1193cd403f212456b15248d98ad924ef66b3ba173f8dcecbcd60493421d","first_computed_at":"2026-07-05T06:18:37.005568Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:18:37.005568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OlYOHniPOe0ifASlfTaTGffZ9Ya2J7zRjB/UiNGAG08YRTBoLeFQeleoLW+DFDlv9tcgJA3Hvvy4MCCP63ZGCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:18:37.005937Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.14104","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:549d5462eb0f5c8dc863d29ef581de5bde60054a44778cfef710a9b7c87f3eea","sha256:2209fac4bf7e2ed23701324c97583249588df65eb41bb03a2e8906ce489492d9"],"state_sha256":"b5aab0e97baf3e996940bc4fe31e4f4a366ccf585999e08f064fe2fe91a790df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Np89DoAOTDXZCRr3WXEacybVzbT0bLrfNv7F4n17CssRplSpigucZlX62ybL4000vtUdSqFc7OzZW2S61o8qDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T18:31:23.156341Z","bundle_sha256":"618a251974aa01e38f856f2340b4be88bec4af3cffe9329a1bc7a976b734c2b5"}}