{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:NXDVSDV4TV25QVUIVHDUSNQFLQ","short_pith_number":"pith:NXDVSDV4","canonical_record":{"source":{"id":"1906.03523","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-08T21:23:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e66b6138c281d7680c4872560719b926e56f19c56300dd86cbdf7e52c70d78eb","abstract_canon_sha256":"217916831292c2b2298156e0ab0d4e47247e4c05d028bb0bed5fc479efeaf9cb"},"schema_version":"1.0"},"canonical_sha256":"6dc7590ebc9d75d85688a9c74936055c3fc88880ad7f3a4bc06c9e3313071bb3","source":{"kind":"arxiv","id":"1906.03523","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.03523","created_at":"2026-05-17T23:43:48Z"},{"alias_kind":"arxiv_version","alias_value":"1906.03523v1","created_at":"2026-05-17T23:43:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.03523","created_at":"2026-05-17T23:43:48Z"},{"alias_kind":"pith_short_12","alias_value":"NXDVSDV4TV25","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"NXDVSDV4TV25QVUI","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"NXDVSDV4","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:NXDVSDV4TV25QVUIVHDUSNQFLQ","target":"record","payload":{"canonical_record":{"source":{"id":"1906.03523","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-08T21:23:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e66b6138c281d7680c4872560719b926e56f19c56300dd86cbdf7e52c70d78eb","abstract_canon_sha256":"217916831292c2b2298156e0ab0d4e47247e4c05d028bb0bed5fc479efeaf9cb"},"schema_version":"1.0"},"canonical_sha256":"6dc7590ebc9d75d85688a9c74936055c3fc88880ad7f3a4bc06c9e3313071bb3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:48.222893Z","signature_b64":"YGgwg8w8zZso3er8N8DWNTTQwEXAdOsP0qi9y3oPY7BfA0th7KCpm3QRwotDSPb2kt2hEZGzZTJJnhSrsYfdDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6dc7590ebc9d75d85688a9c74936055c3fc88880ad7f3a4bc06c9e3313071bb3","last_reissued_at":"2026-05-17T23:43:48.222228Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:48.222228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.03523","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-05-17T23:43:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dDSUEXWytyx0RVPDhKnuj8fWCYflqreMyTjSOHvxiwpoUueTZ+Fsbqvx5jIkOVnGZcXB5YDprsZ4AOppShfPBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:56:43.674518Z"},"content_sha256":"c65c29975a163aebb05cefd57c045b31e4b2e0528eb8416ee66c5b1d7954e6df","schema_version":"1.0","event_id":"sha256:c65c29975a163aebb05cefd57c045b31e4b2e0528eb8416ee66c5b1d7954e6df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:NXDVSDV4TV25QVUIVHDUSNQFLQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inductive Logic Programming via Differentiable Deep Neural Logic Networks","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Ali Payani, Faramarz Fekri","submitted_at":"2019-06-08T21:23:21Z","abstract_excerpt":"We propose a novel paradigm for solving Inductive Logic Programming (ILP) problems via deep recurrent neural networks. This proposed ILP solver is designed based on differentiable implementation of the deduction via forward chaining. In contrast to the majority of past methods, instead of searching through the space of possible first-order logic rules by using some restrictive rule templates, we directly learn the symbolic logical predicate rules by introducing a novel differentiable Neural Logic (dNL) network. The proposed dNL network is able to learn and represent Boolean functions efficient"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.03523","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":""},"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-05-17T23:43:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5NpZ/RAJSiYoRh27b0apQPsnpi39Uh1/Zg9VacYII8bWIZ+QLAWbO37+0XHRXYM6WKz2JRqF/xdbDy42MsO3Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:56:43.674866Z"},"content_sha256":"3174679c6f92cf3a5d7119502ecf40a159a4e1c652498cd7c28387e33338158d","schema_version":"1.0","event_id":"sha256:3174679c6f92cf3a5d7119502ecf40a159a4e1c652498cd7c28387e33338158d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/bundle.json","state_url":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/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-01T05:56:43Z","links":{"resolver":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ","bundle":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/bundle.json","state":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:NXDVSDV4TV25QVUIVHDUSNQFLQ","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":"217916831292c2b2298156e0ab0d4e47247e4c05d028bb0bed5fc479efeaf9cb","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-08T21:23:21Z","title_canon_sha256":"e66b6138c281d7680c4872560719b926e56f19c56300dd86cbdf7e52c70d78eb"},"schema_version":"1.0","source":{"id":"1906.03523","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.03523","created_at":"2026-05-17T23:43:48Z"},{"alias_kind":"arxiv_version","alias_value":"1906.03523v1","created_at":"2026-05-17T23:43:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.03523","created_at":"2026-05-17T23:43:48Z"},{"alias_kind":"pith_short_12","alias_value":"NXDVSDV4TV25","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"NXDVSDV4TV25QVUI","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"NXDVSDV4","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:3174679c6f92cf3a5d7119502ecf40a159a4e1c652498cd7c28387e33338158d","target":"graph","created_at":"2026-05-17T23:43:48Z","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"},"paper":{"abstract_excerpt":"We propose a novel paradigm for solving Inductive Logic Programming (ILP) problems via deep recurrent neural networks. This proposed ILP solver is designed based on differentiable implementation of the deduction via forward chaining. In contrast to the majority of past methods, instead of searching through the space of possible first-order logic rules by using some restrictive rule templates, we directly learn the symbolic logical predicate rules by introducing a novel differentiable Neural Logic (dNL) network. The proposed dNL network is able to learn and represent Boolean functions efficient","authors_text":"Ali Payani, Faramarz Fekri","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-08T21:23:21Z","title":"Inductive Logic Programming via Differentiable Deep Neural Logic Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.03523","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:c65c29975a163aebb05cefd57c045b31e4b2e0528eb8416ee66c5b1d7954e6df","target":"record","created_at":"2026-05-17T23:43:48Z","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":"217916831292c2b2298156e0ab0d4e47247e4c05d028bb0bed5fc479efeaf9cb","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-08T21:23:21Z","title_canon_sha256":"e66b6138c281d7680c4872560719b926e56f19c56300dd86cbdf7e52c70d78eb"},"schema_version":"1.0","source":{"id":"1906.03523","kind":"arxiv","version":1}},"canonical_sha256":"6dc7590ebc9d75d85688a9c74936055c3fc88880ad7f3a4bc06c9e3313071bb3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6dc7590ebc9d75d85688a9c74936055c3fc88880ad7f3a4bc06c9e3313071bb3","first_computed_at":"2026-05-17T23:43:48.222228Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:48.222228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YGgwg8w8zZso3er8N8DWNTTQwEXAdOsP0qi9y3oPY7BfA0th7KCpm3QRwotDSPb2kt2hEZGzZTJJnhSrsYfdDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:48.222893Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.03523","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c65c29975a163aebb05cefd57c045b31e4b2e0528eb8416ee66c5b1d7954e6df","sha256:3174679c6f92cf3a5d7119502ecf40a159a4e1c652498cd7c28387e33338158d"],"state_sha256":"9eedc7ceb471577a9678d5caf80e4dfe31b4d158ae0d6c40c862474c374f2d2b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C0NIBhMJ3foUerZ49JqH2pQmywLN5i3LQWgkGcqX+hYB2n8auC7oKt20qHnpwLB6JPLyxyIk3iV53d3RQKh8Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T05:56:43.676885Z","bundle_sha256":"a5a8a9d8271bc5467ba3fb40e5ebce9b03e4dbd8506433725624f92e8f7c815d"}}