{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:7MR3O4GYMMUWKEDEQ4XUHCY77F","short_pith_number":"pith:7MR3O4GY","canonical_record":{"source":{"id":"2311.04015","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-11-07T14:14:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"065e9f85e2f1f2204e3b59211eb670c490713be5dd5ba97e0195c2c2c303d32d","abstract_canon_sha256":"40137d995705d59dc8fb4b5eb11fda7a6f538cce446f9ff14d8796918164955b"},"schema_version":"1.0"},"canonical_sha256":"fb23b770d86329651064872f438b1ff94afa2100cd2e302969e7577099bf79d8","source":{"kind":"arxiv","id":"2311.04015","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.04015","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"arxiv_version","alias_value":"2311.04015v1","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.04015","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"pith_short_12","alias_value":"7MR3O4GYMMUW","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"pith_short_16","alias_value":"7MR3O4GYMMUWKEDE","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"pith_short_8","alias_value":"7MR3O4GY","created_at":"2026-07-05T07:10:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:7MR3O4GYMMUWKEDEQ4XUHCY77F","target":"record","payload":{"canonical_record":{"source":{"id":"2311.04015","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-11-07T14:14:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"065e9f85e2f1f2204e3b59211eb670c490713be5dd5ba97e0195c2c2c303d32d","abstract_canon_sha256":"40137d995705d59dc8fb4b5eb11fda7a6f538cce446f9ff14d8796918164955b"},"schema_version":"1.0"},"canonical_sha256":"fb23b770d86329651064872f438b1ff94afa2100cd2e302969e7577099bf79d8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:10:09.740877Z","signature_b64":"lBhENZUUSLrvA8QGNRhNBD+G2jVgaC1VLwyVbuhXgR44kFvpMnF0Mkb5zApx6prZw55jgQlhz+IcdNJXO8DzAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb23b770d86329651064872f438b1ff94afa2100cd2e302969e7577099bf79d8","last_reissued_at":"2026-07-05T07:10:09.740370Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:10:09.740370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.04015","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-05T07:10:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0X3FdXOGRUVCTG7tC2ZkoJ6Q0H/01MNeqJgXZaVdpSScyzW3ZaXkQXG5b9str6ANCA5iYOEP/fyi0PlPl+mbAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T09:09:22.633674Z"},"content_sha256":"811db4f8cce03bd90fecf90a122ef881bd1972d7892ea688d75d48e25ba87d2a","schema_version":"1.0","event_id":"sha256:811db4f8cce03bd90fecf90a122ef881bd1972d7892ea688d75d48e25ba87d2a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:7MR3O4GYMMUWKEDEQ4XUHCY77F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Expressivity of ReLU-Networks under Convex Relaxations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Mark Niklas M\\\"uller, Martin Vechev, Maximilian Baader, Yuhao Mao","submitted_at":"2023-11-07T14:14:15Z","abstract_excerpt":"Convex relaxations are a key component of training and certifying provably safe neural networks. However, despite substantial progress, a wide and poorly understood accuracy gap to standard networks remains, raising the question of whether this is due to fundamental limitations of convex relaxations. Initial work investigating this question focused on the simple and widely used IBP relaxation. It revealed that some univariate, convex, continuous piecewise linear (CPWL) functions cannot be encoded by any ReLU network such that its IBP-analysis is precise. To explore whether this limitation is s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.04015","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/2311.04015/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-05T07:10:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BZh/2yU9i1KX1vNoAaPoM76g6AOKi+vZuZQ8LLv5XwvDKKMJ9cZYUCVlbC0vyUdBGp5vDJEh6/iZu4BkdZLjDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T09:09:22.634046Z"},"content_sha256":"87555ca8a417da83150fdbd2febfadbfa8a8839fe595bdffc768deaa7538a4af","schema_version":"1.0","event_id":"sha256:87555ca8a417da83150fdbd2febfadbfa8a8839fe595bdffc768deaa7538a4af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7MR3O4GYMMUWKEDEQ4XUHCY77F/bundle.json","state_url":"https://pith.science/pith/7MR3O4GYMMUWKEDEQ4XUHCY77F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7MR3O4GYMMUWKEDEQ4XUHCY77F/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-06T09:09:22Z","links":{"resolver":"https://pith.science/pith/7MR3O4GYMMUWKEDEQ4XUHCY77F","bundle":"https://pith.science/pith/7MR3O4GYMMUWKEDEQ4XUHCY77F/bundle.json","state":"https://pith.science/pith/7MR3O4GYMMUWKEDEQ4XUHCY77F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7MR3O4GYMMUWKEDEQ4XUHCY77F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:7MR3O4GYMMUWKEDEQ4XUHCY77F","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":"40137d995705d59dc8fb4b5eb11fda7a6f538cce446f9ff14d8796918164955b","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-11-07T14:14:15Z","title_canon_sha256":"065e9f85e2f1f2204e3b59211eb670c490713be5dd5ba97e0195c2c2c303d32d"},"schema_version":"1.0","source":{"id":"2311.04015","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.04015","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"arxiv_version","alias_value":"2311.04015v1","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.04015","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"pith_short_12","alias_value":"7MR3O4GYMMUW","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"pith_short_16","alias_value":"7MR3O4GYMMUWKEDE","created_at":"2026-07-05T07:10:09Z"},{"alias_kind":"pith_short_8","alias_value":"7MR3O4GY","created_at":"2026-07-05T07:10:09Z"}],"graph_snapshots":[{"event_id":"sha256:87555ca8a417da83150fdbd2febfadbfa8a8839fe595bdffc768deaa7538a4af","target":"graph","created_at":"2026-07-05T07:10:09Z","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/2311.04015/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Convex relaxations are a key component of training and certifying provably safe neural networks. However, despite substantial progress, a wide and poorly understood accuracy gap to standard networks remains, raising the question of whether this is due to fundamental limitations of convex relaxations. Initial work investigating this question focused on the simple and widely used IBP relaxation. It revealed that some univariate, convex, continuous piecewise linear (CPWL) functions cannot be encoded by any ReLU network such that its IBP-analysis is precise. To explore whether this limitation is s","authors_text":"Mark Niklas M\\\"uller, Martin Vechev, Maximilian Baader, Yuhao Mao","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-11-07T14:14:15Z","title":"Expressivity of ReLU-Networks under Convex Relaxations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.04015","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:811db4f8cce03bd90fecf90a122ef881bd1972d7892ea688d75d48e25ba87d2a","target":"record","created_at":"2026-07-05T07:10:09Z","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":"40137d995705d59dc8fb4b5eb11fda7a6f538cce446f9ff14d8796918164955b","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-11-07T14:14:15Z","title_canon_sha256":"065e9f85e2f1f2204e3b59211eb670c490713be5dd5ba97e0195c2c2c303d32d"},"schema_version":"1.0","source":{"id":"2311.04015","kind":"arxiv","version":1}},"canonical_sha256":"fb23b770d86329651064872f438b1ff94afa2100cd2e302969e7577099bf79d8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb23b770d86329651064872f438b1ff94afa2100cd2e302969e7577099bf79d8","first_computed_at":"2026-07-05T07:10:09.740370Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:10:09.740370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lBhENZUUSLrvA8QGNRhNBD+G2jVgaC1VLwyVbuhXgR44kFvpMnF0Mkb5zApx6prZw55jgQlhz+IcdNJXO8DzAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:10:09.740877Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.04015","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:811db4f8cce03bd90fecf90a122ef881bd1972d7892ea688d75d48e25ba87d2a","sha256:87555ca8a417da83150fdbd2febfadbfa8a8839fe595bdffc768deaa7538a4af"],"state_sha256":"db52b4b18b839b3a261ef86d2b3109dd6ab461e2ae290494f12a470d1269dcd8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7X3LUhKwhtmDgzvvw6sVeIcKN+YfbSIBVLpJ9C5OiDPL1NRCqs2Me10tdeEmGPQ1/OePsJ/ikUx+w26cFpUfDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T09:09:22.636012Z","bundle_sha256":"7b832cc2bef49be172e8bc32a6696aba77a085f585eefe5d33e46a65fe26a9b9"}}