{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HLZSKG73ORAMQRV4KZR72ECWDF","short_pith_number":"pith:HLZSKG73","canonical_record":{"source":{"id":"2507.10546","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-14T17:59:33Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4bad6ff9f546b62248cb08de638a2cc9f3dec894ae040f75dfda03b6fd3fba76","abstract_canon_sha256":"a2f4b740b1a05ade945e00873f4a5e584798e270a28a754abc8c872d63e21fa0"},"schema_version":"1.0"},"canonical_sha256":"3af3251bfb7440c846bc5663fd105619491a7af9a0d1e6614e344165239b9e59","source":{"kind":"arxiv","id":"2507.10546","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.10546","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"arxiv_version","alias_value":"2507.10546v2","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10546","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"pith_short_12","alias_value":"HLZSKG73ORAM","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"pith_short_16","alias_value":"HLZSKG73ORAMQRV4","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"pith_short_8","alias_value":"HLZSKG73","created_at":"2026-07-05T11:46:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HLZSKG73ORAMQRV4KZR72ECWDF","target":"record","payload":{"canonical_record":{"source":{"id":"2507.10546","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-14T17:59:33Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4bad6ff9f546b62248cb08de638a2cc9f3dec894ae040f75dfda03b6fd3fba76","abstract_canon_sha256":"a2f4b740b1a05ade945e00873f4a5e584798e270a28a754abc8c872d63e21fa0"},"schema_version":"1.0"},"canonical_sha256":"3af3251bfb7440c846bc5663fd105619491a7af9a0d1e6614e344165239b9e59","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:45.020865Z","signature_b64":"+4Q8uPdFBHwBNmC/jsK8lW0hZcp/VpY0yUfE2oQtW1v6fE0oSFKiToNblnlKM886212qQLLJY2V/dIbh/cRjDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3af3251bfb7440c846bc5663fd105619491a7af9a0d1e6614e344165239b9e59","last_reissued_at":"2026-07-05T11:46:45.020466Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:45.020466Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.10546","source_version":2,"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:46:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"39N2Go8XVtW/BvSe4hKEMrq6t7++2QrlCEZKrN+SHFgzpZ8VNSuKqqcq81sBccyAmG8KDGIdBKc9lPuHb9MIDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T11:29:59.552783Z"},"content_sha256":"c8d0f0eb2e0d94e8f15f279863f0757efe975cc67debf728c8ada5037b6f6491","schema_version":"1.0","event_id":"sha256:c8d0f0eb2e0d94e8f15f279863f0757efe975cc67debf728c8ada5037b6f6491"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HLZSKG73ORAMQRV4KZR72ECWDF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Disentangling Neural Disjunctive Normal Form Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Alessandra Russo, Katsumi Inoue, Kexin Gu Baugh, Luke Dickens, Matthew Baugh, Vincent Perreault","submitted_at":"2025-07-14T17:59:33Z","abstract_excerpt":"Neural Disjunctive Normal Form (DNF) based models are powerful and interpretable approaches to neuro-symbolic learning and have shown promising results in classification and reinforcement learning settings without prior knowledge of the tasks. However, their performance is degraded by the thresholding of the post-training symbolic translation process. We show here that part of the performance degradation during translation is due to its failure to disentangle the learned knowledge represented in the form of the networks' weights. We address this issue by proposing a new disentanglement method;"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10546","kind":"arxiv","version":2},"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.10546/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:46:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0wsas0/lz6l8LDbMKB/fpd2+IwklWivrYnNhk1SFMgkIOIJ28URNqUaT78jyIsNqT43i5OF7Ocv0jMExFYS5Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T11:29:59.553149Z"},"content_sha256":"5cdaff00727ca1a9ae75a6d8eee35f86d2adcc4054eb6ebef1e45dc64a3bcc06","schema_version":"1.0","event_id":"sha256:5cdaff00727ca1a9ae75a6d8eee35f86d2adcc4054eb6ebef1e45dc64a3bcc06"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HLZSKG73ORAMQRV4KZR72ECWDF/bundle.json","state_url":"https://pith.science/pith/HLZSKG73ORAMQRV4KZR72ECWDF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HLZSKG73ORAMQRV4KZR72ECWDF/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-06T11:29:59Z","links":{"resolver":"https://pith.science/pith/HLZSKG73ORAMQRV4KZR72ECWDF","bundle":"https://pith.science/pith/HLZSKG73ORAMQRV4KZR72ECWDF/bundle.json","state":"https://pith.science/pith/HLZSKG73ORAMQRV4KZR72ECWDF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HLZSKG73ORAMQRV4KZR72ECWDF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HLZSKG73ORAMQRV4KZR72ECWDF","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":"a2f4b740b1a05ade945e00873f4a5e584798e270a28a754abc8c872d63e21fa0","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-14T17:59:33Z","title_canon_sha256":"4bad6ff9f546b62248cb08de638a2cc9f3dec894ae040f75dfda03b6fd3fba76"},"schema_version":"1.0","source":{"id":"2507.10546","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.10546","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"arxiv_version","alias_value":"2507.10546v2","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10546","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"pith_short_12","alias_value":"HLZSKG73ORAM","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"pith_short_16","alias_value":"HLZSKG73ORAMQRV4","created_at":"2026-07-05T11:46:45Z"},{"alias_kind":"pith_short_8","alias_value":"HLZSKG73","created_at":"2026-07-05T11:46:45Z"}],"graph_snapshots":[{"event_id":"sha256:5cdaff00727ca1a9ae75a6d8eee35f86d2adcc4054eb6ebef1e45dc64a3bcc06","target":"graph","created_at":"2026-07-05T11:46:45Z","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.10546/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural Disjunctive Normal Form (DNF) based models are powerful and interpretable approaches to neuro-symbolic learning and have shown promising results in classification and reinforcement learning settings without prior knowledge of the tasks. However, their performance is degraded by the thresholding of the post-training symbolic translation process. We show here that part of the performance degradation during translation is due to its failure to disentangle the learned knowledge represented in the form of the networks' weights. We address this issue by proposing a new disentanglement method;","authors_text":"Alessandra Russo, Katsumi Inoue, Kexin Gu Baugh, Luke Dickens, Matthew Baugh, Vincent Perreault","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-14T17:59:33Z","title":"Disentangling Neural Disjunctive Normal Form Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10546","kind":"arxiv","version":2},"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:c8d0f0eb2e0d94e8f15f279863f0757efe975cc67debf728c8ada5037b6f6491","target":"record","created_at":"2026-07-05T11:46:45Z","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":"a2f4b740b1a05ade945e00873f4a5e584798e270a28a754abc8c872d63e21fa0","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-14T17:59:33Z","title_canon_sha256":"4bad6ff9f546b62248cb08de638a2cc9f3dec894ae040f75dfda03b6fd3fba76"},"schema_version":"1.0","source":{"id":"2507.10546","kind":"arxiv","version":2}},"canonical_sha256":"3af3251bfb7440c846bc5663fd105619491a7af9a0d1e6614e344165239b9e59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3af3251bfb7440c846bc5663fd105619491a7af9a0d1e6614e344165239b9e59","first_computed_at":"2026-07-05T11:46:45.020466Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:46:45.020466Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+4Q8uPdFBHwBNmC/jsK8lW0hZcp/VpY0yUfE2oQtW1v6fE0oSFKiToNblnlKM886212qQLLJY2V/dIbh/cRjDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:46:45.020865Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.10546","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c8d0f0eb2e0d94e8f15f279863f0757efe975cc67debf728c8ada5037b6f6491","sha256:5cdaff00727ca1a9ae75a6d8eee35f86d2adcc4054eb6ebef1e45dc64a3bcc06"],"state_sha256":"9f2ac99d6d2c70b3fac52149cbe2993f715b1e1ebaec0e3cea89cc4cfb3b6ba4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iusprh39My+Rp30dFIsue2iueez+pP9GfwJ1Lsx4pZRr34WK2zWfofHQLRtHtakKyNw0G1dqDNr+9ie5lV+8BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T11:29:59.555038Z","bundle_sha256":"213b37593a422f2052d7235732c63c3c4170292b50b2b44c013be7953f0eb2fe"}}