{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:YJ27QE5D6VN72MAIDV3S743OYB","short_pith_number":"pith:YJ27QE5D","canonical_record":{"source":{"id":"2606.05247","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T11:58:06Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"2b5b8017e22183d0362a8dc540762ecaf8d599053118677e55e3fe4138704c1e","abstract_canon_sha256":"a6d90b792e4983fc9dd433449c0523c866759c9268130742c09bba0b85ef270f"},"schema_version":"1.0"},"canonical_sha256":"c275f813a3f55bfd30081d772ff36ec0628857790b38abda5703e535f1d98e3f","source":{"kind":"arxiv","id":"2606.05247","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.05247","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"arxiv_version","alias_value":"2606.05247v1","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.05247","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"pith_short_12","alias_value":"YJ27QE5D6VN7","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"pith_short_16","alias_value":"YJ27QE5D6VN72MAI","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"pith_short_8","alias_value":"YJ27QE5D","created_at":"2026-06-05T00:13:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:YJ27QE5D6VN72MAIDV3S743OYB","target":"record","payload":{"canonical_record":{"source":{"id":"2606.05247","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T11:58:06Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"2b5b8017e22183d0362a8dc540762ecaf8d599053118677e55e3fe4138704c1e","abstract_canon_sha256":"a6d90b792e4983fc9dd433449c0523c866759c9268130742c09bba0b85ef270f"},"schema_version":"1.0"},"canonical_sha256":"c275f813a3f55bfd30081d772ff36ec0628857790b38abda5703e535f1d98e3f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-05T00:13:50.413976Z","signature_b64":"KomgakArrv0wUzKXzcSERANvxhUQFy/mqKQR6er9td9Hi0gGjxdeY2ENwWSK3/DshUjbSQxUudo1bynHV2cGCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c275f813a3f55bfd30081d772ff36ec0628857790b38abda5703e535f1d98e3f","last_reissued_at":"2026-06-05T00:13:50.413489Z","signature_status":"signed_v1","first_computed_at":"2026-06-05T00:13:50.413489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.05247","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-06-05T00:13:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eqtBeS2Aw3hqsJi4OBJ+zMpUDZr/b5Mrc+zX5OxwlGVAX7qwCrtqMHV0qGk3TM6xKLkIpgMBt0+5Qs/Dy+mSDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T12:42:45.052670Z"},"content_sha256":"f11c652ee1db7bbd3e19728879732b8f0ec8394d477e01f9a0b1581177beeb86","schema_version":"1.0","event_id":"sha256:f11c652ee1db7bbd3e19728879732b8f0ec8394d477e01f9a0b1581177beeb86"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:YJ27QE5D6VN72MAIDV3S743OYB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DiffSlack: Learning under Nonlinear Inequality Constraints via Learnable Slack Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Chenxi Fang, Zhen Zhang, Ziqian Wang","submitted_at":"2026-06-03T11:58:06Z","abstract_excerpt":"Enforcing nonlinear inequality constraints in neural networks remains challenging, especially when the output is subject to many coupled constraints. Existing hard constraint methods often impose structural restrictions on the constraint set or introduce substantial computational overhead for large-scale nonlinear problems. Here, we propose DiffSlack, a differentiable projection layer for nonlinear inequality-constrained neural prediction. DiffSlack reformulates inequalities as equalities with learnable slack variables, which are predicted as part of the augmented network output and provide a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.05247","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/2606.05247/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-06-05T00:13:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nTu7YE01COq5MXZ1rBte2mn1Ut1X1ggcmDa5b5zN6fkFR4Tg8cMcGxYTcpIWz55aIcIf/kaFPFbQrJ3qTzXXAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T12:42:45.053031Z"},"content_sha256":"37bba173a34e12c10df0adca4bfb5f00f62da1d6c54c4d6944940ddb8d343794","schema_version":"1.0","event_id":"sha256:37bba173a34e12c10df0adca4bfb5f00f62da1d6c54c4d6944940ddb8d343794"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YJ27QE5D6VN72MAIDV3S743OYB/bundle.json","state_url":"https://pith.science/pith/YJ27QE5D6VN72MAIDV3S743OYB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YJ27QE5D6VN72MAIDV3S743OYB/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-06-29T12:42:45Z","links":{"resolver":"https://pith.science/pith/YJ27QE5D6VN72MAIDV3S743OYB","bundle":"https://pith.science/pith/YJ27QE5D6VN72MAIDV3S743OYB/bundle.json","state":"https://pith.science/pith/YJ27QE5D6VN72MAIDV3S743OYB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YJ27QE5D6VN72MAIDV3S743OYB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YJ27QE5D6VN72MAIDV3S743OYB","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":"a6d90b792e4983fc9dd433449c0523c866759c9268130742c09bba0b85ef270f","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T11:58:06Z","title_canon_sha256":"2b5b8017e22183d0362a8dc540762ecaf8d599053118677e55e3fe4138704c1e"},"schema_version":"1.0","source":{"id":"2606.05247","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.05247","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"arxiv_version","alias_value":"2606.05247v1","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.05247","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"pith_short_12","alias_value":"YJ27QE5D6VN7","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"pith_short_16","alias_value":"YJ27QE5D6VN72MAI","created_at":"2026-06-05T00:13:50Z"},{"alias_kind":"pith_short_8","alias_value":"YJ27QE5D","created_at":"2026-06-05T00:13:50Z"}],"graph_snapshots":[{"event_id":"sha256:37bba173a34e12c10df0adca4bfb5f00f62da1d6c54c4d6944940ddb8d343794","target":"graph","created_at":"2026-06-05T00:13: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/2606.05247/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Enforcing nonlinear inequality constraints in neural networks remains challenging, especially when the output is subject to many coupled constraints. Existing hard constraint methods often impose structural restrictions on the constraint set or introduce substantial computational overhead for large-scale nonlinear problems. Here, we propose DiffSlack, a differentiable projection layer for nonlinear inequality-constrained neural prediction. DiffSlack reformulates inequalities as equalities with learnable slack variables, which are predicted as part of the augmented network output and provide a ","authors_text":"Chenxi Fang, Zhen Zhang, Ziqian Wang","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T11:58:06Z","title":"DiffSlack: Learning under Nonlinear Inequality Constraints via Learnable Slack Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.05247","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:f11c652ee1db7bbd3e19728879732b8f0ec8394d477e01f9a0b1581177beeb86","target":"record","created_at":"2026-06-05T00:13: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":"a6d90b792e4983fc9dd433449c0523c866759c9268130742c09bba0b85ef270f","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T11:58:06Z","title_canon_sha256":"2b5b8017e22183d0362a8dc540762ecaf8d599053118677e55e3fe4138704c1e"},"schema_version":"1.0","source":{"id":"2606.05247","kind":"arxiv","version":1}},"canonical_sha256":"c275f813a3f55bfd30081d772ff36ec0628857790b38abda5703e535f1d98e3f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c275f813a3f55bfd30081d772ff36ec0628857790b38abda5703e535f1d98e3f","first_computed_at":"2026-06-05T00:13:50.413489Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-05T00:13:50.413489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KomgakArrv0wUzKXzcSERANvxhUQFy/mqKQR6er9td9Hi0gGjxdeY2ENwWSK3/DshUjbSQxUudo1bynHV2cGCw==","signature_status":"signed_v1","signed_at":"2026-06-05T00:13:50.413976Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.05247","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f11c652ee1db7bbd3e19728879732b8f0ec8394d477e01f9a0b1581177beeb86","sha256:37bba173a34e12c10df0adca4bfb5f00f62da1d6c54c4d6944940ddb8d343794"],"state_sha256":"8030fe41c5d8161c48bf5bbf9f37151e0f86108145bb289decd13d52e1a047a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PT4vVRKwzHeI25dCtFb8tuE03ZA2uhiCPayDyVABkOHk58YwicHFRp1eJmik3osH5geYwbEq6BPOkvGxKgMMDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T12:42:45.054904Z","bundle_sha256":"979d250789636e8a9a7519c11dac475195cf4a40273e43d60c72b02da455a9dd"}}