{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:3VA3CYGU5HY3VGWRIJGTF6KWM7","short_pith_number":"pith:3VA3CYGU","canonical_record":{"source":{"id":"2006.13155","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-06-23T16:55:45Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"27558a03e2599442ad7658f77d11a85f3b37aa15b574d91789687ca5ec261d35","abstract_canon_sha256":"688b1c60cb1f0efc2026869b089d2860992ab729d9cfe373c1dd1a9818483479"},"schema_version":"1.0"},"canonical_sha256":"dd41b160d4e9f1ba9ad1424d32f95667cdee471a84ddb5adb3829dac069159ec","source":{"kind":"arxiv","id":"2006.13155","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.13155","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"arxiv_version","alias_value":"2006.13155v1","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.13155","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"pith_short_12","alias_value":"3VA3CYGU5HY3","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"pith_short_16","alias_value":"3VA3CYGU5HY3VGWR","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"pith_short_8","alias_value":"3VA3CYGU","created_at":"2026-07-05T01:12:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:3VA3CYGU5HY3VGWRIJGTF6KWM7","target":"record","payload":{"canonical_record":{"source":{"id":"2006.13155","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-06-23T16:55:45Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"27558a03e2599442ad7658f77d11a85f3b37aa15b574d91789687ca5ec261d35","abstract_canon_sha256":"688b1c60cb1f0efc2026869b089d2860992ab729d9cfe373c1dd1a9818483479"},"schema_version":"1.0"},"canonical_sha256":"dd41b160d4e9f1ba9ad1424d32f95667cdee471a84ddb5adb3829dac069159ec","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:12:53.666870Z","signature_b64":"yLKV2T5diI7+elzFDsPfdzXrHebYcAtzi/Wv7W5GyNJlXB5DjORVjN1p3zC0HXLfW63KxQcmzmqAbfGt/ziRBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd41b160d4e9f1ba9ad1424d32f95667cdee471a84ddb5adb3829dac069159ec","last_reissued_at":"2026-07-05T01:12:53.666458Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:12:53.666458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2006.13155","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-05T01:12:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JNXJ+0awnDe8eomQqF/1msud4djlPI4qqhB30gDA73hRgx9/MbXX3I6Tslch6OUlJDSwTIZnWyCkt5ONCO+6Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:56:09.879480Z"},"content_sha256":"8b42e97ceb4e9be1fadcff68945832ff0130ded1d501764a967658d7a1c39402","schema_version":"1.0","event_id":"sha256:8b42e97ceb4e9be1fadcff68945832ff0130ded1d501764a967658d7a1c39402"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:3VA3CYGU5HY3VGWRIJGTF6KWM7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logical Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Alexander Gray, Ankita Likhyani, Francisco Barahona, Francois Luus, Haifeng Qian, Hima Karanam, Ismail Yunus Akhalwaya, Naweed Khan, Ndivhuwo Makondo, Ronald Fagin, Ryan Riegel, Santosh Srivastava, Shajith Ikbal, Sumit Neelam, Udit Sharma","submitted_at":"2020-06-23T16:55:45Z","abstract_excerpt":"We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation. Inference is omnidirectional rather than focused on predefined target variables, and corresponds to logical reasoning, including classical first-order logic theorem proving as a special case. The model is end-to-end differentiable, and learning minimizes a novel loss function capturing logical contradiction, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.13155","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/2006.13155/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-05T01:12:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MgULuiEN/rSs3JeEs/SyE3gplahbIStCkizCaFs46KWN2Y7pErDKq+YxUAk+weZ+QO3b5/Nj36jleLeXfNEwCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:56:09.880203Z"},"content_sha256":"c5b8d0a114690d29c72dc2a9a14e8294e10f36de752a7f3429bab02b1b146878","schema_version":"1.0","event_id":"sha256:c5b8d0a114690d29c72dc2a9a14e8294e10f36de752a7f3429bab02b1b146878"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3VA3CYGU5HY3VGWRIJGTF6KWM7/bundle.json","state_url":"https://pith.science/pith/3VA3CYGU5HY3VGWRIJGTF6KWM7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3VA3CYGU5HY3VGWRIJGTF6KWM7/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-08-11T21:56:09Z","links":{"resolver":"https://pith.science/pith/3VA3CYGU5HY3VGWRIJGTF6KWM7","bundle":"https://pith.science/pith/3VA3CYGU5HY3VGWRIJGTF6KWM7/bundle.json","state":"https://pith.science/pith/3VA3CYGU5HY3VGWRIJGTF6KWM7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3VA3CYGU5HY3VGWRIJGTF6KWM7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:3VA3CYGU5HY3VGWRIJGTF6KWM7","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":"688b1c60cb1f0efc2026869b089d2860992ab729d9cfe373c1dd1a9818483479","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-06-23T16:55:45Z","title_canon_sha256":"27558a03e2599442ad7658f77d11a85f3b37aa15b574d91789687ca5ec261d35"},"schema_version":"1.0","source":{"id":"2006.13155","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.13155","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"arxiv_version","alias_value":"2006.13155v1","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.13155","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"pith_short_12","alias_value":"3VA3CYGU5HY3","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"pith_short_16","alias_value":"3VA3CYGU5HY3VGWR","created_at":"2026-07-05T01:12:53Z"},{"alias_kind":"pith_short_8","alias_value":"3VA3CYGU","created_at":"2026-07-05T01:12:53Z"}],"graph_snapshots":[{"event_id":"sha256:c5b8d0a114690d29c72dc2a9a14e8294e10f36de752a7f3429bab02b1b146878","target":"graph","created_at":"2026-07-05T01:12: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/2006.13155/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation. Inference is omnidirectional rather than focused on predefined target variables, and corresponds to logical reasoning, including classical first-order logic theorem proving as a special case. The model is end-to-end differentiable, and learning minimizes a novel loss function capturing logical contradiction, ","authors_text":"Alexander Gray, Ankita Likhyani, Francisco Barahona, Francois Luus, Haifeng Qian, Hima Karanam, Ismail Yunus Akhalwaya, Naweed Khan, Ndivhuwo Makondo, Ronald Fagin, Ryan Riegel, Santosh Srivastava, Shajith Ikbal, Sumit Neelam, Udit Sharma","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-06-23T16:55:45Z","title":"Logical Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.13155","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:8b42e97ceb4e9be1fadcff68945832ff0130ded1d501764a967658d7a1c39402","target":"record","created_at":"2026-07-05T01:12: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":"688b1c60cb1f0efc2026869b089d2860992ab729d9cfe373c1dd1a9818483479","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-06-23T16:55:45Z","title_canon_sha256":"27558a03e2599442ad7658f77d11a85f3b37aa15b574d91789687ca5ec261d35"},"schema_version":"1.0","source":{"id":"2006.13155","kind":"arxiv","version":1}},"canonical_sha256":"dd41b160d4e9f1ba9ad1424d32f95667cdee471a84ddb5adb3829dac069159ec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd41b160d4e9f1ba9ad1424d32f95667cdee471a84ddb5adb3829dac069159ec","first_computed_at":"2026-07-05T01:12:53.666458Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:12:53.666458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yLKV2T5diI7+elzFDsPfdzXrHebYcAtzi/Wv7W5GyNJlXB5DjORVjN1p3zC0HXLfW63KxQcmzmqAbfGt/ziRBw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:12:53.666870Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.13155","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b42e97ceb4e9be1fadcff68945832ff0130ded1d501764a967658d7a1c39402","sha256:c5b8d0a114690d29c72dc2a9a14e8294e10f36de752a7f3429bab02b1b146878"],"state_sha256":"4e37d2edb7ac8c067d65708848cddf0586895dc60c5bdb47610298f761a5408f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"COAVYHPJ23/rYkDjHCJM1ets0gluZQ1xW07xNYpwNwfJydAX2Gzfg7mRnOW3FQFZbXCzzcfvR30yGIMGA3P2AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T21:56:09.885928Z","bundle_sha256":"ec8c9a213b81a64eb3c6247a6f76245c08f702c30d35f4ea6dfb2f8def2e0a38"}}