{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JCHVKEWLQ52A62C2WGIIORNHP7","short_pith_number":"pith:JCHVKEWL","canonical_record":{"source":{"id":"2302.02208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-02-04T17:39:25Z","cross_cats_sorted":[],"title_canon_sha256":"ed5551b7413ebc41beccff55ee73f17fd58569d2d314366c02b9a3a362729399","abstract_canon_sha256":"ccf058cf2bf52c247f9f81fd3f5be42807748c0eaa802abf8f23bbf0b7a22ced"},"schema_version":"1.0"},"canonical_sha256":"488f5512cb87740f685ab1908745a77ffc163595c914d93febe0ee9b9ea7d94f","source":{"kind":"arxiv","id":"2302.02208","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.02208","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"arxiv_version","alias_value":"2302.02208v1","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.02208","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"pith_short_12","alias_value":"JCHVKEWLQ52A","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"pith_short_16","alias_value":"JCHVKEWLQ52A62C2","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"pith_short_8","alias_value":"JCHVKEWL","created_at":"2026-07-05T05:38:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JCHVKEWLQ52A62C2WGIIORNHP7","target":"record","payload":{"canonical_record":{"source":{"id":"2302.02208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-02-04T17:39:25Z","cross_cats_sorted":[],"title_canon_sha256":"ed5551b7413ebc41beccff55ee73f17fd58569d2d314366c02b9a3a362729399","abstract_canon_sha256":"ccf058cf2bf52c247f9f81fd3f5be42807748c0eaa802abf8f23bbf0b7a22ced"},"schema_version":"1.0"},"canonical_sha256":"488f5512cb87740f685ab1908745a77ffc163595c914d93febe0ee9b9ea7d94f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:38:50.195708Z","signature_b64":"6jsURntl4Qasbz8qLSnd+0V7I5sFStG9j6eYKrDwxL4KUlXlUzH3YVR+GCuHpxetr8h1+bF/0uJy8LBMmAgxAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"488f5512cb87740f685ab1908745a77ffc163595c914d93febe0ee9b9ea7d94f","last_reissued_at":"2026-07-05T05:38:50.195231Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:38:50.195231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.02208","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-05T05:38:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ohw1FuugAdOzeKPRmXgGQglzyaHtdoE5sgq2ebEFCVipSqQvSng4Ur1t4NLG1ExOUTUR/RBvEStpJEnfWDkADA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T13:40:40.620599Z"},"content_sha256":"071f0ead0b0c2e899a9ae26d73d8c041fb697f40ff9efaa8bd8d36b6febc204a","schema_version":"1.0","event_id":"sha256:071f0ead0b0c2e899a9ae26d73d8c041fb697f40ff9efaa8bd8d36b6febc204a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JCHVKEWLQ52A62C2WGIIORNHP7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certified Robust Control under Adversarial Perturbations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Hunmin Kim, Jinghan Yang, Naira Hovakimyan, Wenbin Wan, Yevgeniy Vorobeychik","submitted_at":"2023-02-04T17:39:25Z","abstract_excerpt":"Autonomous systems increasingly rely on machine learning techniques to transform high-dimensional raw inputs into predictions that are then used for decision-making and control. However, it is often easy to maliciously manipulate such inputs and, as a result, predictions. While effective techniques have been proposed to certify the robustness of predictions to adversarial input perturbations, such techniques have been disembodied from control systems that make downstream use of the predictions. We propose the first approach for composing robustness certification of predictions with respect to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.02208","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/2302.02208/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-05T05:38:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dia2ohpeRSMo9bn713f8n8t+mw6hyhSeE4+OTDT8JipgGhfc3Q8RDtnT5Tp8VMF6u1YNh0QvFIlNInf4BB+mDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T13:40:40.620969Z"},"content_sha256":"9a3a37ffc70431e6502c41259127acceb5e02313a773cb0c2d8914f11530569f","schema_version":"1.0","event_id":"sha256:9a3a37ffc70431e6502c41259127acceb5e02313a773cb0c2d8914f11530569f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JCHVKEWLQ52A62C2WGIIORNHP7/bundle.json","state_url":"https://pith.science/pith/JCHVKEWLQ52A62C2WGIIORNHP7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JCHVKEWLQ52A62C2WGIIORNHP7/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-07T13:40:40Z","links":{"resolver":"https://pith.science/pith/JCHVKEWLQ52A62C2WGIIORNHP7","bundle":"https://pith.science/pith/JCHVKEWLQ52A62C2WGIIORNHP7/bundle.json","state":"https://pith.science/pith/JCHVKEWLQ52A62C2WGIIORNHP7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JCHVKEWLQ52A62C2WGIIORNHP7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JCHVKEWLQ52A62C2WGIIORNHP7","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":"ccf058cf2bf52c247f9f81fd3f5be42807748c0eaa802abf8f23bbf0b7a22ced","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-02-04T17:39:25Z","title_canon_sha256":"ed5551b7413ebc41beccff55ee73f17fd58569d2d314366c02b9a3a362729399"},"schema_version":"1.0","source":{"id":"2302.02208","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.02208","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"arxiv_version","alias_value":"2302.02208v1","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.02208","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"pith_short_12","alias_value":"JCHVKEWLQ52A","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"pith_short_16","alias_value":"JCHVKEWLQ52A62C2","created_at":"2026-07-05T05:38:50Z"},{"alias_kind":"pith_short_8","alias_value":"JCHVKEWL","created_at":"2026-07-05T05:38:50Z"}],"graph_snapshots":[{"event_id":"sha256:9a3a37ffc70431e6502c41259127acceb5e02313a773cb0c2d8914f11530569f","target":"graph","created_at":"2026-07-05T05:38:50Z","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/2302.02208/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous systems increasingly rely on machine learning techniques to transform high-dimensional raw inputs into predictions that are then used for decision-making and control. However, it is often easy to maliciously manipulate such inputs and, as a result, predictions. While effective techniques have been proposed to certify the robustness of predictions to adversarial input perturbations, such techniques have been disembodied from control systems that make downstream use of the predictions. We propose the first approach for composing robustness certification of predictions with respect to ","authors_text":"Hunmin Kim, Jinghan Yang, Naira Hovakimyan, Wenbin Wan, Yevgeniy Vorobeychik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-02-04T17:39:25Z","title":"Certified Robust Control under Adversarial Perturbations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.02208","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:071f0ead0b0c2e899a9ae26d73d8c041fb697f40ff9efaa8bd8d36b6febc204a","target":"record","created_at":"2026-07-05T05:38:50Z","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":"ccf058cf2bf52c247f9f81fd3f5be42807748c0eaa802abf8f23bbf0b7a22ced","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-02-04T17:39:25Z","title_canon_sha256":"ed5551b7413ebc41beccff55ee73f17fd58569d2d314366c02b9a3a362729399"},"schema_version":"1.0","source":{"id":"2302.02208","kind":"arxiv","version":1}},"canonical_sha256":"488f5512cb87740f685ab1908745a77ffc163595c914d93febe0ee9b9ea7d94f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"488f5512cb87740f685ab1908745a77ffc163595c914d93febe0ee9b9ea7d94f","first_computed_at":"2026-07-05T05:38:50.195231Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:38:50.195231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6jsURntl4Qasbz8qLSnd+0V7I5sFStG9j6eYKrDwxL4KUlXlUzH3YVR+GCuHpxetr8h1+bF/0uJy8LBMmAgxAA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:38:50.195708Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.02208","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:071f0ead0b0c2e899a9ae26d73d8c041fb697f40ff9efaa8bd8d36b6febc204a","sha256:9a3a37ffc70431e6502c41259127acceb5e02313a773cb0c2d8914f11530569f"],"state_sha256":"e7ba4c97eb4b1cea0ceda346fce25d03c3280cb1b7ed3717fa29a23efd32507d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KuimokIRVsfXAH+RyPT5e6ZNOXUfA8dmgkS9UtbFpfUntgWOvqZg9nTjKWbC1wTPg/5a7UJ0m6l0pO5uCA6hBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T13:40:40.622951Z","bundle_sha256":"c18a9ab0fd6804cf04f21c2addc8143fb8efbfc2a64bda081decc325036e24f4"}}