{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:F4XELJTKJLAPVYP5VJSNG6SVN6","short_pith_number":"pith:F4XELJTK","canonical_record":{"source":{"id":"2106.01453","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-06-02T20:21:07Z","cross_cats_sorted":[],"title_canon_sha256":"bce377d1ba89dc0052be1e7c4831d92442ee29e99fa5a941f0947c1010d0cdf6","abstract_canon_sha256":"bf3053bda225191a09df995b69cbec488708a1a13dd05c8acc20a8c07d13f0cf"},"schema_version":"1.0"},"canonical_sha256":"2f2e45a66a4ac0fae1fdaa64d37a556f9e065c11ece28c3d0bcd848a69e76086","source":{"kind":"arxiv","id":"2106.01453","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.01453","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"arxiv_version","alias_value":"2106.01453v1","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.01453","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"pith_short_12","alias_value":"F4XELJTKJLAP","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"pith_short_16","alias_value":"F4XELJTKJLAPVYP5","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"pith_short_8","alias_value":"F4XELJTK","created_at":"2026-07-05T02:45:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:F4XELJTKJLAPVYP5VJSNG6SVN6","target":"record","payload":{"canonical_record":{"source":{"id":"2106.01453","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-06-02T20:21:07Z","cross_cats_sorted":[],"title_canon_sha256":"bce377d1ba89dc0052be1e7c4831d92442ee29e99fa5a941f0947c1010d0cdf6","abstract_canon_sha256":"bf3053bda225191a09df995b69cbec488708a1a13dd05c8acc20a8c07d13f0cf"},"schema_version":"1.0"},"canonical_sha256":"2f2e45a66a4ac0fae1fdaa64d37a556f9e065c11ece28c3d0bcd848a69e76086","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:45:51.662877Z","signature_b64":"b85FQCRcaGAcU4Ue0QG1g6BDn6nNNgilAZ1fJaCO2Mq/5rEfMyWA6kKpJLPSc+0sjhvn7tD0SgZccshcGdzUAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f2e45a66a4ac0fae1fdaa64d37a556f9e065c11ece28c3d0bcd848a69e76086","last_reissued_at":"2026-07-05T02:45:51.662474Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:45:51.662474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2106.01453","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-05T02:45:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b+OLIBcxUAd8JjD+1zJu7XresT05OYst5zvIGPyxVP/hAz/LRxUjY4SE5s3MVVwZp8sDBTT9PXciK+GZcKkHBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:48:05.031939Z"},"content_sha256":"d971b5df8721cbd2b16b92b5ba7eb697d58947d24f99b052175a86dbd4b6d5ca","schema_version":"1.0","event_id":"sha256:d971b5df8721cbd2b16b92b5ba7eb697d58947d24f99b052175a86dbd4b6d5ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:F4XELJTKJLAPVYP5VJSNG6SVN6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Edouard Pauwels, Jean-Bernard Lasserre, Tong Chen, Victor Magron","submitted_at":"2021-06-02T20:21:07Z","abstract_excerpt":"Deep equilibrium models are based on implicitly defined functional relations and have shown competitive performance compared with the traditional deep networks. Monotone operator equilibrium networks (monDEQ) retain interesting performance with additional theoretical guaranties. Existing certification tools for classical deep networks cannot directly be applied to monDEQs for which much fewer tools exist. We introduce a semialgebraic representation for ReLU based monDEQs which allows to approximate the corresponding input output relation by semidefinite programming (SDP). We present several ap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.01453","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/2106.01453/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-05T02:45:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"whB9M67K1C7Z4A8WKDaeuoyFq9+0qwBXsxOoGwEcqg+MEQibk4pl3WtnZG2aSMvGuvfH4m88oZi5r5rpvnmBBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:48:05.032568Z"},"content_sha256":"67ab926eefe31c33cfaab8ecba587c2d97100dcbcc25a19e556769fc12602586","schema_version":"1.0","event_id":"sha256:67ab926eefe31c33cfaab8ecba587c2d97100dcbcc25a19e556769fc12602586"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F4XELJTKJLAPVYP5VJSNG6SVN6/bundle.json","state_url":"https://pith.science/pith/F4XELJTKJLAPVYP5VJSNG6SVN6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F4XELJTKJLAPVYP5VJSNG6SVN6/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-05T15:48:05Z","links":{"resolver":"https://pith.science/pith/F4XELJTKJLAPVYP5VJSNG6SVN6","bundle":"https://pith.science/pith/F4XELJTKJLAPVYP5VJSNG6SVN6/bundle.json","state":"https://pith.science/pith/F4XELJTKJLAPVYP5VJSNG6SVN6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F4XELJTKJLAPVYP5VJSNG6SVN6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:F4XELJTKJLAPVYP5VJSNG6SVN6","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":"bf3053bda225191a09df995b69cbec488708a1a13dd05c8acc20a8c07d13f0cf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-06-02T20:21:07Z","title_canon_sha256":"bce377d1ba89dc0052be1e7c4831d92442ee29e99fa5a941f0947c1010d0cdf6"},"schema_version":"1.0","source":{"id":"2106.01453","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.01453","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"arxiv_version","alias_value":"2106.01453v1","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.01453","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"pith_short_12","alias_value":"F4XELJTKJLAP","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"pith_short_16","alias_value":"F4XELJTKJLAPVYP5","created_at":"2026-07-05T02:45:51Z"},{"alias_kind":"pith_short_8","alias_value":"F4XELJTK","created_at":"2026-07-05T02:45:51Z"}],"graph_snapshots":[{"event_id":"sha256:67ab926eefe31c33cfaab8ecba587c2d97100dcbcc25a19e556769fc12602586","target":"graph","created_at":"2026-07-05T02:45:51Z","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/2106.01453/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep equilibrium models are based on implicitly defined functional relations and have shown competitive performance compared with the traditional deep networks. Monotone operator equilibrium networks (monDEQ) retain interesting performance with additional theoretical guaranties. Existing certification tools for classical deep networks cannot directly be applied to monDEQs for which much fewer tools exist. We introduce a semialgebraic representation for ReLU based monDEQs which allows to approximate the corresponding input output relation by semidefinite programming (SDP). We present several ap","authors_text":"Edouard Pauwels, Jean-Bernard Lasserre, Tong Chen, Victor Magron","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-06-02T20:21:07Z","title":"Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.01453","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:d971b5df8721cbd2b16b92b5ba7eb697d58947d24f99b052175a86dbd4b6d5ca","target":"record","created_at":"2026-07-05T02:45:51Z","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":"bf3053bda225191a09df995b69cbec488708a1a13dd05c8acc20a8c07d13f0cf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-06-02T20:21:07Z","title_canon_sha256":"bce377d1ba89dc0052be1e7c4831d92442ee29e99fa5a941f0947c1010d0cdf6"},"schema_version":"1.0","source":{"id":"2106.01453","kind":"arxiv","version":1}},"canonical_sha256":"2f2e45a66a4ac0fae1fdaa64d37a556f9e065c11ece28c3d0bcd848a69e76086","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2f2e45a66a4ac0fae1fdaa64d37a556f9e065c11ece28c3d0bcd848a69e76086","first_computed_at":"2026-07-05T02:45:51.662474Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:45:51.662474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b85FQCRcaGAcU4Ue0QG1g6BDn6nNNgilAZ1fJaCO2Mq/5rEfMyWA6kKpJLPSc+0sjhvn7tD0SgZccshcGdzUAA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:45:51.662877Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.01453","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d971b5df8721cbd2b16b92b5ba7eb697d58947d24f99b052175a86dbd4b6d5ca","sha256:67ab926eefe31c33cfaab8ecba587c2d97100dcbcc25a19e556769fc12602586"],"state_sha256":"f3f503ec80075a773dc92a72bfce522d5d5b9d25790449a50921e121fc565c91"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CvcVPI8ynq2Jz7B+5IogqrZZl4zOCIkft707DYFqcKqryKvgPQ14w9c5Z8TegthTcpzG/h5FFikFmXrpW/JeCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:48:05.035875Z","bundle_sha256":"d5f6b0e93f97eef738921b63bf5c5d2aae35d73c4a0ebad025f19fbed5162d20"}}