{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZFABHVTJWNERNBBNV53T7F2FIS","short_pith_number":"pith:ZFABHVTJ","canonical_record":{"source":{"id":"1802.08535","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-02-23T14:04:30Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"aec63467cc9b90b2439fd212d6e71573d50573c80753368690f82b20086235cb","abstract_canon_sha256":"0ad904ed671c912509811bf0b9965b1f8f18b324303580266c8eb5a2f32b105e"},"schema_version":"1.0"},"canonical_sha256":"c94013d669b34916842daf773f9745449c87761141b584ef5dc282fe290082a7","source":{"kind":"arxiv","id":"1802.08535","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08535","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08535v1","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08535","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"pith_short_12","alias_value":"ZFABHVTJWNER","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZFABHVTJWNERNBBN","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZFABHVTJ","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZFABHVTJWNERNBBNV53T7F2FIS","target":"record","payload":{"canonical_record":{"source":{"id":"1802.08535","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-02-23T14:04:30Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"aec63467cc9b90b2439fd212d6e71573d50573c80753368690f82b20086235cb","abstract_canon_sha256":"0ad904ed671c912509811bf0b9965b1f8f18b324303580266c8eb5a2f32b105e"},"schema_version":"1.0"},"canonical_sha256":"c94013d669b34916842daf773f9745449c87761141b584ef5dc282fe290082a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:41.259446Z","signature_b64":"ThTSx6b/6pl23mWRL29PUmGZmw1QR/M4wT7OEVHLHH/gyBAOMfRHNrKtbZWM8aY5BL1cS1OMT22iFBqh6ZsjAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c94013d669b34916842daf773f9745449c87761141b584ef5dc282fe290082a7","last_reissued_at":"2026-05-18T00:22:41.258728Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:41.258728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.08535","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-18T00:22:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tQxcEqSYfSmHc30+5wx2nnK4tStjnBDD7KcU+1RP9tGhYsVmRFvefemRBhZMpRmBy64zdlRsEfOOCaav/qbGAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:22:22.983041Z"},"content_sha256":"ee1edf5d9203e0d4eab8473a2f58ca7a25abcfd8346a03998cbf39499836f5e2","schema_version":"1.0","event_id":"sha256:ee1edf5d9203e0d4eab8473a2f58ca7a25abcfd8346a03998cbf39499836f5e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZFABHVTJWNERNBBNV53T7F2FIS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can Neural Networks Understand Logical Entailment?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.NE","authors_text":"David Amos, David Saxton, Edward Grefenstette, Pushmeet Kohli, Richard Evans","submitted_at":"2018-02-23T14:04:30Z","abstract_excerpt":"We introduce a new dataset of logical entailments for the purpose of measuring models' ability to capture and exploit the structure of logical expressions against an entailment prediction task. We use this task to compare a series of architectures which are ubiquitous in the sequence-processing literature, in addition to a new model class---PossibleWorldNets---which computes entailment as a \"convolution over possible worlds\". Results show that convolutional networks present the wrong inductive bias for this class of problems relative to LSTM RNNs, tree-structured neural networks outperform LST"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08535","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-18T00:22:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6zMLyv0C5i/1XFbE+uQGbKvRnZ2buxgK4+xGVNcC3K2kYQy7P9LBODY/G5RzIfWytDwUW6nvg4LlBt6e6xmIBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:22:22.983426Z"},"content_sha256":"ef55484cf3067ba8f37a016a661448d12ec1eedd1b99a4e65505bc74ae3d9389","schema_version":"1.0","event_id":"sha256:ef55484cf3067ba8f37a016a661448d12ec1eedd1b99a4e65505bc74ae3d9389"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZFABHVTJWNERNBBNV53T7F2FIS/bundle.json","state_url":"https://pith.science/pith/ZFABHVTJWNERNBBNV53T7F2FIS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZFABHVTJWNERNBBNV53T7F2FIS/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-05-25T12:22:22Z","links":{"resolver":"https://pith.science/pith/ZFABHVTJWNERNBBNV53T7F2FIS","bundle":"https://pith.science/pith/ZFABHVTJWNERNBBNV53T7F2FIS/bundle.json","state":"https://pith.science/pith/ZFABHVTJWNERNBBNV53T7F2FIS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZFABHVTJWNERNBBNV53T7F2FIS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZFABHVTJWNERNBBNV53T7F2FIS","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":"0ad904ed671c912509811bf0b9965b1f8f18b324303580266c8eb5a2f32b105e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-02-23T14:04:30Z","title_canon_sha256":"aec63467cc9b90b2439fd212d6e71573d50573c80753368690f82b20086235cb"},"schema_version":"1.0","source":{"id":"1802.08535","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08535","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08535v1","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08535","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"pith_short_12","alias_value":"ZFABHVTJWNER","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZFABHVTJWNERNBBN","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZFABHVTJ","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:ef55484cf3067ba8f37a016a661448d12ec1eedd1b99a4e65505bc74ae3d9389","target":"graph","created_at":"2026-05-18T00:22:41Z","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 introduce a new dataset of logical entailments for the purpose of measuring models' ability to capture and exploit the structure of logical expressions against an entailment prediction task. We use this task to compare a series of architectures which are ubiquitous in the sequence-processing literature, in addition to a new model class---PossibleWorldNets---which computes entailment as a \"convolution over possible worlds\". Results show that convolutional networks present the wrong inductive bias for this class of problems relative to LSTM RNNs, tree-structured neural networks outperform LST","authors_text":"David Amos, David Saxton, Edward Grefenstette, Pushmeet Kohli, Richard Evans","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-02-23T14:04:30Z","title":"Can Neural Networks Understand Logical Entailment?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08535","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:ee1edf5d9203e0d4eab8473a2f58ca7a25abcfd8346a03998cbf39499836f5e2","target":"record","created_at":"2026-05-18T00:22:41Z","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":"0ad904ed671c912509811bf0b9965b1f8f18b324303580266c8eb5a2f32b105e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-02-23T14:04:30Z","title_canon_sha256":"aec63467cc9b90b2439fd212d6e71573d50573c80753368690f82b20086235cb"},"schema_version":"1.0","source":{"id":"1802.08535","kind":"arxiv","version":1}},"canonical_sha256":"c94013d669b34916842daf773f9745449c87761141b584ef5dc282fe290082a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c94013d669b34916842daf773f9745449c87761141b584ef5dc282fe290082a7","first_computed_at":"2026-05-18T00:22:41.258728Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:41.258728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ThTSx6b/6pl23mWRL29PUmGZmw1QR/M4wT7OEVHLHH/gyBAOMfRHNrKtbZWM8aY5BL1cS1OMT22iFBqh6ZsjAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:41.259446Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.08535","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee1edf5d9203e0d4eab8473a2f58ca7a25abcfd8346a03998cbf39499836f5e2","sha256:ef55484cf3067ba8f37a016a661448d12ec1eedd1b99a4e65505bc74ae3d9389"],"state_sha256":"7408ea2beb0582092ca313d3e8999272788af810462bcc79bd4e96398ba306f6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o9eSohBPFQBrxs81Q5b6XuWEtDwfRJJSElGE4jBjo5+tYIR/fYnFMnXXWWfOKpyifvZG5OCXTo3V0n5fmHxbCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T12:22:22.986305Z","bundle_sha256":"ab415b918aaf34e332a4ea2e5fbfbbfb514767d4fd7e039de91ab9d47354538f"}}