{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:56SKXS5VYVRD4I6V5ADVNNFUSK","short_pith_number":"pith:56SKXS5V","canonical_record":{"source":{"id":"2403.07095","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-11T18:44:36Z","cross_cats_sorted":[],"title_canon_sha256":"849a914527fb769c6543297e48a837fa8dd1133960049740e1aeb25fc1d4f8a6","abstract_canon_sha256":"e8788c45c254e49a9cb26e89e559cb952f9059c597eb3c187972a0d49940015d"},"schema_version":"1.0"},"canonical_sha256":"efa4abcbb5c5623e23d5e80756b4b4928c25b4a2d8322f10aec7a43d1b98ea1b","source":{"kind":"arxiv","id":"2403.07095","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.07095","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"arxiv_version","alias_value":"2403.07095v4","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.07095","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"pith_short_12","alias_value":"56SKXS5VYVRD","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"pith_short_16","alias_value":"56SKXS5VYVRD4I6V","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"pith_short_8","alias_value":"56SKXS5V","created_at":"2026-07-05T11:37:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:56SKXS5VYVRD4I6V5ADVNNFUSK","target":"record","payload":{"canonical_record":{"source":{"id":"2403.07095","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-11T18:44:36Z","cross_cats_sorted":[],"title_canon_sha256":"849a914527fb769c6543297e48a837fa8dd1133960049740e1aeb25fc1d4f8a6","abstract_canon_sha256":"e8788c45c254e49a9cb26e89e559cb952f9059c597eb3c187972a0d49940015d"},"schema_version":"1.0"},"canonical_sha256":"efa4abcbb5c5623e23d5e80756b4b4928c25b4a2d8322f10aec7a43d1b98ea1b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:37:08.661587Z","signature_b64":"oAj9xNZNJ0wFwem+YL8c8uwN3H1raKGK30/+FEUprTiIqYCyxvIJWbvr3N3x30rrCmE3OGudvTEZjiHsI7EhBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efa4abcbb5c5623e23d5e80756b4b4928c25b4a2d8322f10aec7a43d1b98ea1b","last_reissued_at":"2026-07-05T11:37:08.661069Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:37:08.661069Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.07095","source_version":4,"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:37:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eSPgKtBRwO/S53jxrzVRyZkRLbTyxjR+Ghsid4sv4qolLl4uJshQa8awE2KcWZPuJYO1b6ve0JBU8X69fTEQCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:02:08.572092Z"},"content_sha256":"139362de42fcdad5ee02ef250538f7ee53afc196efaaa4629ade5177f519a9bd","schema_version":"1.0","event_id":"sha256:139362de42fcdad5ee02ef250538f7ee53afc196efaaa4629ade5177f519a9bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:56SKXS5VYVRD4I6V5ADVNNFUSK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Marc Fischer, Mark Niklas M\\\"uller, Martin Vechev, Maximilian Baader, Stefan Balauca, Yuhao Mao","submitted_at":"2024-03-11T18:44:36Z","abstract_excerpt":"Training neural networks with high certified accuracy against adversarial examples remains an open challenge despite significant efforts. While certification methods can effectively leverage tight convex relaxations for bound computation, in training, these methods, perhaps surprisingly, can perform worse than looser relaxations. Prior work hypothesized that this phenomenon is caused by the discontinuity, non-smoothness, and perturbation sensitivity of the loss surface induced by tighter relaxations. In this work, we theoretically show that applying Gaussian Loss Smoothing (GLS) on the loss su"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.07095","kind":"arxiv","version":4},"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/2403.07095/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:37:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PI49iHM8qWz0EMgu4hBXCZZPrUjd7/UsrYEFEsRqpBSQS25wW0qanZ6mmln6ciGNnE928U8Hpn32c/qiWz0TAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:02:08.572483Z"},"content_sha256":"effcb354cf3676ea3c7c0f5410fdb075e91cfdd8ad308af3139be69b7301a3e7","schema_version":"1.0","event_id":"sha256:effcb354cf3676ea3c7c0f5410fdb075e91cfdd8ad308af3139be69b7301a3e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/56SKXS5VYVRD4I6V5ADVNNFUSK/bundle.json","state_url":"https://pith.science/pith/56SKXS5VYVRD4I6V5ADVNNFUSK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/56SKXS5VYVRD4I6V5ADVNNFUSK/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-07T10:02:08Z","links":{"resolver":"https://pith.science/pith/56SKXS5VYVRD4I6V5ADVNNFUSK","bundle":"https://pith.science/pith/56SKXS5VYVRD4I6V5ADVNNFUSK/bundle.json","state":"https://pith.science/pith/56SKXS5VYVRD4I6V5ADVNNFUSK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/56SKXS5VYVRD4I6V5ADVNNFUSK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:56SKXS5VYVRD4I6V5ADVNNFUSK","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":"e8788c45c254e49a9cb26e89e559cb952f9059c597eb3c187972a0d49940015d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-11T18:44:36Z","title_canon_sha256":"849a914527fb769c6543297e48a837fa8dd1133960049740e1aeb25fc1d4f8a6"},"schema_version":"1.0","source":{"id":"2403.07095","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.07095","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"arxiv_version","alias_value":"2403.07095v4","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.07095","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"pith_short_12","alias_value":"56SKXS5VYVRD","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"pith_short_16","alias_value":"56SKXS5VYVRD4I6V","created_at":"2026-07-05T11:37:08Z"},{"alias_kind":"pith_short_8","alias_value":"56SKXS5V","created_at":"2026-07-05T11:37:08Z"}],"graph_snapshots":[{"event_id":"sha256:effcb354cf3676ea3c7c0f5410fdb075e91cfdd8ad308af3139be69b7301a3e7","target":"graph","created_at":"2026-07-05T11:37:08Z","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/2403.07095/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Training neural networks with high certified accuracy against adversarial examples remains an open challenge despite significant efforts. While certification methods can effectively leverage tight convex relaxations for bound computation, in training, these methods, perhaps surprisingly, can perform worse than looser relaxations. Prior work hypothesized that this phenomenon is caused by the discontinuity, non-smoothness, and perturbation sensitivity of the loss surface induced by tighter relaxations. In this work, we theoretically show that applying Gaussian Loss Smoothing (GLS) on the loss su","authors_text":"Marc Fischer, Mark Niklas M\\\"uller, Martin Vechev, Maximilian Baader, Stefan Balauca, Yuhao Mao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-11T18:44:36Z","title":"Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.07095","kind":"arxiv","version":4},"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:139362de42fcdad5ee02ef250538f7ee53afc196efaaa4629ade5177f519a9bd","target":"record","created_at":"2026-07-05T11:37:08Z","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":"e8788c45c254e49a9cb26e89e559cb952f9059c597eb3c187972a0d49940015d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-11T18:44:36Z","title_canon_sha256":"849a914527fb769c6543297e48a837fa8dd1133960049740e1aeb25fc1d4f8a6"},"schema_version":"1.0","source":{"id":"2403.07095","kind":"arxiv","version":4}},"canonical_sha256":"efa4abcbb5c5623e23d5e80756b4b4928c25b4a2d8322f10aec7a43d1b98ea1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efa4abcbb5c5623e23d5e80756b4b4928c25b4a2d8322f10aec7a43d1b98ea1b","first_computed_at":"2026-07-05T11:37:08.661069Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:37:08.661069Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oAj9xNZNJ0wFwem+YL8c8uwN3H1raKGK30/+FEUprTiIqYCyxvIJWbvr3N3x30rrCmE3OGudvTEZjiHsI7EhBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:37:08.661587Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.07095","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:139362de42fcdad5ee02ef250538f7ee53afc196efaaa4629ade5177f519a9bd","sha256:effcb354cf3676ea3c7c0f5410fdb075e91cfdd8ad308af3139be69b7301a3e7"],"state_sha256":"01ba987720a3f786b6bf1a864ed7e7cf5921b8e33d1ea502c807f882513df96a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XFkb4KznfpcPeEG/yU010Sx/So6MkyA8I7ApFgN2NqgIrpiY3k4HXt9EEusvsgeGwOxb8qLCkFNKpNmDyeFqAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:02:08.574393Z","bundle_sha256":"07c14741d271f38a35ae326ba57cfd7728c1530a98474cb09953046157f5f123"}}