{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FBZNHXNJCF5TMBYDQ6NY5BJVHE","short_pith_number":"pith:FBZNHXNJ","canonical_record":{"source":{"id":"2507.02953","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T16:55:17Z","cross_cats_sorted":["cs.NA","cs.SY","eess.SY","math.NA","math.OC"],"title_canon_sha256":"dbdc559df3151cc1fa055859693529fdd2441e8936e058d70e8bb7fc79c07da1","abstract_canon_sha256":"c2a173a01a3160b54a355352f88bad9dd2a145e24bd7e154986ff5276688274b"},"schema_version":"1.0"},"canonical_sha256":"2872d3dda9117b360703879b8e853539083c1915fa946a980696b337a2df580d","source":{"kind":"arxiv","id":"2507.02953","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.02953","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"arxiv_version","alias_value":"2507.02953v1","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.02953","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"pith_short_12","alias_value":"FBZNHXNJCF5T","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"FBZNHXNJCF5TMBYD","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"FBZNHXNJ","created_at":"2026-07-05T11:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FBZNHXNJCF5TMBYDQ6NY5BJVHE","target":"record","payload":{"canonical_record":{"source":{"id":"2507.02953","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T16:55:17Z","cross_cats_sorted":["cs.NA","cs.SY","eess.SY","math.NA","math.OC"],"title_canon_sha256":"dbdc559df3151cc1fa055859693529fdd2441e8936e058d70e8bb7fc79c07da1","abstract_canon_sha256":"c2a173a01a3160b54a355352f88bad9dd2a145e24bd7e154986ff5276688274b"},"schema_version":"1.0"},"canonical_sha256":"2872d3dda9117b360703879b8e853539083c1915fa946a980696b337a2df580d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:31:49.360193Z","signature_b64":"7AH/i8v8Fr1s0OwdMjDCDqIQ3291WS0MCrgtw5PfYt+xPjIsr8b5lYM8OohfB9h06JovI27x0Ixnd0z0SntZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2872d3dda9117b360703879b8e853539083c1915fa946a980696b337a2df580d","last_reissued_at":"2026-07-05T11:31:49.359672Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:31:49.359672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.02953","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-05T11:31:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ivpd+GlfR6W8iR/ZB0HQBkJ605reHMpDAQ80OAS1cIi1T4Z7nS4xr/osQBJez7U/b07qKG/hCai4W/GEXCk2AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T03:57:47.334511Z"},"content_sha256":"24db6e86d5a95aab953b8c6857dd1accd86e9d7357d30947235d4799b2100041","schema_version":"1.0","event_id":"sha256:24db6e86d5a95aab953b8c6857dd1accd86e9d7357d30947235d4799b2100041"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FBZNHXNJCF5TMBYDQ6NY5BJVHE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NA","cs.SY","eess.SY","math.NA","math.OC"],"primary_cat":"cs.RO","authors_text":"Maksym Shamrai","submitted_at":"2025-06-29T16:55:17Z","abstract_excerpt":"Deep neural policies have unlocked agile flight for quadcopters, adaptive grasping for manipulators, and reliable navigation for ground robots, yet their millions of weights conflict with the tight memory and real-time constraints of embedded microcontrollers. Second-order pruning methods, such as Optimal Brain Damage (OBD) and its variants, including Optimal Brain Surgeon (OBS) and the recent SparseGPT, compress networks in a single pass by leveraging the local Hessian, achieving far higher sparsity than magnitude thresholding. Despite their success in vision and language, the consequences of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.02953","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/2507.02953/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-05T11:31:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q/OoVuFcHoZbGEvVIDBqQ7XwyjKmPzRItR1UtmaLT6fgUNx12Mm5bqFzdxGtSlTcUyFY+IQ5M6Temuep+MQwDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T03:57:47.335055Z"},"content_sha256":"cfdaaa8e9b94974f975efd34862bf9fe2668f8da93754185972c39692313f562","schema_version":"1.0","event_id":"sha256:cfdaaa8e9b94974f975efd34862bf9fe2668f8da93754185972c39692313f562"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FBZNHXNJCF5TMBYDQ6NY5BJVHE/bundle.json","state_url":"https://pith.science/pith/FBZNHXNJCF5TMBYDQ6NY5BJVHE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FBZNHXNJCF5TMBYDQ6NY5BJVHE/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-10T03:57:47Z","links":{"resolver":"https://pith.science/pith/FBZNHXNJCF5TMBYDQ6NY5BJVHE","bundle":"https://pith.science/pith/FBZNHXNJCF5TMBYDQ6NY5BJVHE/bundle.json","state":"https://pith.science/pith/FBZNHXNJCF5TMBYDQ6NY5BJVHE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FBZNHXNJCF5TMBYDQ6NY5BJVHE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FBZNHXNJCF5TMBYDQ6NY5BJVHE","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":"c2a173a01a3160b54a355352f88bad9dd2a145e24bd7e154986ff5276688274b","cross_cats_sorted":["cs.NA","cs.SY","eess.SY","math.NA","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T16:55:17Z","title_canon_sha256":"dbdc559df3151cc1fa055859693529fdd2441e8936e058d70e8bb7fc79c07da1"},"schema_version":"1.0","source":{"id":"2507.02953","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.02953","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"arxiv_version","alias_value":"2507.02953v1","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.02953","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"pith_short_12","alias_value":"FBZNHXNJCF5T","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"FBZNHXNJCF5TMBYD","created_at":"2026-07-05T11:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"FBZNHXNJ","created_at":"2026-07-05T11:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:cfdaaa8e9b94974f975efd34862bf9fe2668f8da93754185972c39692313f562","target":"graph","created_at":"2026-07-05T11:31:49Z","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/2507.02953/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep neural policies have unlocked agile flight for quadcopters, adaptive grasping for manipulators, and reliable navigation for ground robots, yet their millions of weights conflict with the tight memory and real-time constraints of embedded microcontrollers. Second-order pruning methods, such as Optimal Brain Damage (OBD) and its variants, including Optimal Brain Surgeon (OBS) and the recent SparseGPT, compress networks in a single pass by leveraging the local Hessian, achieving far higher sparsity than magnitude thresholding. Despite their success in vision and language, the consequences of","authors_text":"Maksym Shamrai","cross_cats":["cs.NA","cs.SY","eess.SY","math.NA","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T16:55:17Z","title":"Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.02953","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:24db6e86d5a95aab953b8c6857dd1accd86e9d7357d30947235d4799b2100041","target":"record","created_at":"2026-07-05T11:31:49Z","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":"c2a173a01a3160b54a355352f88bad9dd2a145e24bd7e154986ff5276688274b","cross_cats_sorted":["cs.NA","cs.SY","eess.SY","math.NA","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T16:55:17Z","title_canon_sha256":"dbdc559df3151cc1fa055859693529fdd2441e8936e058d70e8bb7fc79c07da1"},"schema_version":"1.0","source":{"id":"2507.02953","kind":"arxiv","version":1}},"canonical_sha256":"2872d3dda9117b360703879b8e853539083c1915fa946a980696b337a2df580d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2872d3dda9117b360703879b8e853539083c1915fa946a980696b337a2df580d","first_computed_at":"2026-07-05T11:31:49.359672Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:31:49.359672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7AH/i8v8Fr1s0OwdMjDCDqIQ3291WS0MCrgtw5PfYt+xPjIsr8b5lYM8OohfB9h06JovI27x0Ixnd0z0SntZCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:31:49.360193Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.02953","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:24db6e86d5a95aab953b8c6857dd1accd86e9d7357d30947235d4799b2100041","sha256:cfdaaa8e9b94974f975efd34862bf9fe2668f8da93754185972c39692313f562"],"state_sha256":"86a0b6d121cea4bc2f4fc7f7a9285805473d5cb325e5c407b9b734fa9acd3d67"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DjuxLxdIY8x75EE2Rh26G7X2G1HZzZKrKt4TY3CUO16U+k/JC1xti0vBv7vBq9EEZz75NmkOALrPS93i8gzoAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T03:57:47.340203Z","bundle_sha256":"5e9fbce0ca4247dd8f5deae8ba24fd20a60a1fb0256b42c1f8f8024e5bc14740"}}