{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:M3EVWQYZ4PSLETX7PF5724SDAA","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":"7f51c88bc12c76e5af1f4aedc3df94a7101f5e39cad13980ae44b6db2d943cdc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-10T15:28:36Z","title_canon_sha256":"bcb5c644b42d58bb446dd0e4cfc2cafb2aaee9a51e55c3bc9e2eab57638fa798"},"schema_version":"1.0","source":{"id":"2504.07851","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.07851","created_at":"2026-07-05T10:49:53Z"},{"alias_kind":"arxiv_version","alias_value":"2504.07851v2","created_at":"2026-07-05T10:49:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.07851","created_at":"2026-07-05T10:49:53Z"},{"alias_kind":"pith_short_12","alias_value":"M3EVWQYZ4PSL","created_at":"2026-07-05T10:49:53Z"},{"alias_kind":"pith_short_16","alias_value":"M3EVWQYZ4PSLETX7","created_at":"2026-07-05T10:49:53Z"},{"alias_kind":"pith_short_8","alias_value":"M3EVWQYZ","created_at":"2026-07-05T10:49:53Z"}],"graph_snapshots":[{"event_id":"sha256:6623920ad59f254384ec7b5a4f5202d688402d60c966389cbf27178d749a513d","target":"graph","created_at":"2026-07-05T10:49:53Z","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/2504.07851/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A popular approach to neurosymbolic AI is to take the output of the last layer of a neural network, e.g. a softmax activation, and pass it through a sparse computation graph encoding certain logical constraints one wishes to enforce. This induces a probability distribution over a set of random variables, which happen to be conditionally independent of each other in many commonly used neurosymbolic AI models. Such conditionally independent random variables have been deemed harmful as their presence has been observed to co-occur with a phenomenon dubbed deterministic bias, where systems learn to","authors_text":"H{\\aa}kan Karlsson Faronius, Pedro Zuidberg Dos Martires","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-10T15:28:36Z","title":"Independence Is Not an Issue in Neurosymbolic AI"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.07851","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:cffaf66ae5d3c5349618c8544d15ca7417f062d87a397dbeee0fc2c824263b69","target":"record","created_at":"2026-07-05T10:49:53Z","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":"7f51c88bc12c76e5af1f4aedc3df94a7101f5e39cad13980ae44b6db2d943cdc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-10T15:28:36Z","title_canon_sha256":"bcb5c644b42d58bb446dd0e4cfc2cafb2aaee9a51e55c3bc9e2eab57638fa798"},"schema_version":"1.0","source":{"id":"2504.07851","kind":"arxiv","version":2}},"canonical_sha256":"66c95b4319e3e4b24eff797bfd724300302a189051aaa16e97cb0b163689a74b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"66c95b4319e3e4b24eff797bfd724300302a189051aaa16e97cb0b163689a74b","first_computed_at":"2026-07-05T10:49:53.213804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:49:53.213804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dM5dsWyU0gJSVogxeB7TYLPx6cE8L734sRoXxqzkVR9uLYWuqLvAC28aB5LyGNy8YVy8TrzZEzjlPfi3gUPKCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:49:53.214239Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.07851","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cffaf66ae5d3c5349618c8544d15ca7417f062d87a397dbeee0fc2c824263b69","sha256:6623920ad59f254384ec7b5a4f5202d688402d60c966389cbf27178d749a513d"],"state_sha256":"a0220e6296bf385f394a6a7e36816d0fab58ab4c61980b8efcd62f97b0f5d02b"}