{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:POSAWUJHNHWZTMA5XVHKYH5QN6","short_pith_number":"pith:POSAWUJH","canonical_record":{"source":{"id":"1807.08204","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-21T20:48:53Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"7122e789f4995ec51f14df48e872b39a8e878cbe4b064e330139be66fcbb61b6","abstract_canon_sha256":"0174c76306bbc0c955b177e0f57d689f1c948a10503aada8458b39bd65656e6f"},"schema_version":"1.0"},"canonical_sha256":"7ba40b512769ed99b01dbd4eac1fb06fb0289bfd27f61883d31c4f1d75baf91a","source":{"kind":"arxiv","id":"1807.08204","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.08204","created_at":"2026-05-18T00:10:08Z"},{"alias_kind":"arxiv_version","alias_value":"1807.08204v1","created_at":"2026-05-18T00:10:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.08204","created_at":"2026-05-18T00:10:08Z"},{"alias_kind":"pith_short_12","alias_value":"POSAWUJHNHWZ","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"POSAWUJHNHWZTMA5","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"POSAWUJH","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:POSAWUJHNHWZTMA5XVHKYH5QN6","target":"record","payload":{"canonical_record":{"source":{"id":"1807.08204","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-21T20:48:53Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"7122e789f4995ec51f14df48e872b39a8e878cbe4b064e330139be66fcbb61b6","abstract_canon_sha256":"0174c76306bbc0c955b177e0f57d689f1c948a10503aada8458b39bd65656e6f"},"schema_version":"1.0"},"canonical_sha256":"7ba40b512769ed99b01dbd4eac1fb06fb0289bfd27f61883d31c4f1d75baf91a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:08.937453Z","signature_b64":"+0aHQgUKjzXmM2UP+Exovotgvgcd91LWyhX2YActgW16ST/hwrpGWMOhQwcSprzpGGSC9QuLguTeCRV3p0+rBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ba40b512769ed99b01dbd4eac1fb06fb0289bfd27f61883d31c4f1d75baf91a","last_reissued_at":"2026-05-18T00:10:08.936821Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:08.936821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.08204","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:10:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Th92PWxIYpvKmgZLD4xyB68Enz17paxP2mlyp5pD/dber/MuWWV9wc+IgATA1aKlq2jbe+yU9ODfTZLnlhgmCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T23:44:20.274222Z"},"content_sha256":"6642b2fa48a95e634a7dc9c5eb4a23024b6feac06c47a77e702386c248f1899f","schema_version":"1.0","event_id":"sha256:6642b2fa48a95e634a7dc9c5eb4a23024b6feac06c47a77e702386c248f1899f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:POSAWUJHNHWZTMA5XVHKYH5QN6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Neural Theorem Proving at Scale","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Matko Bosnjak, Pasquale Minervini, Sebastian Riedel, Tim Rockt\\\"aschel","submitted_at":"2018-07-21T20:48:53Z","abstract_excerpt":"Neural models combining representation learning and reasoning in an end-to-end trainable manner are receiving increasing interest. However, their use is severely limited by their computational complexity, which renders them unusable on real world datasets. We focus on the Neural Theorem Prover (NTP) model proposed by Rockt{\\\"{a}}schel and Riedel (2017), a continuous relaxation of the Prolog backward chaining algorithm where unification between terms is replaced by the similarity between their embedding representations. For answering a given query, this model needs to consider all possible proo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.08204","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:10:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y/cMMdYlCCXTTRoIxLeZ4Eh/Pn0tTnK0dUnv37+wJe5pIqTZbqQs6B2ZfAzlcHtF00X4KqHTcrf+HZYe1y6aBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T23:44:20.274659Z"},"content_sha256":"7ab7d9668f0cfc189118efb176d976b877f9cf3e08fc69bcec49eefdf6f4a79e","schema_version":"1.0","event_id":"sha256:7ab7d9668f0cfc189118efb176d976b877f9cf3e08fc69bcec49eefdf6f4a79e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/POSAWUJHNHWZTMA5XVHKYH5QN6/bundle.json","state_url":"https://pith.science/pith/POSAWUJHNHWZTMA5XVHKYH5QN6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/POSAWUJHNHWZTMA5XVHKYH5QN6/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-25T23:44:20Z","links":{"resolver":"https://pith.science/pith/POSAWUJHNHWZTMA5XVHKYH5QN6","bundle":"https://pith.science/pith/POSAWUJHNHWZTMA5XVHKYH5QN6/bundle.json","state":"https://pith.science/pith/POSAWUJHNHWZTMA5XVHKYH5QN6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/POSAWUJHNHWZTMA5XVHKYH5QN6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:POSAWUJHNHWZTMA5XVHKYH5QN6","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":"0174c76306bbc0c955b177e0f57d689f1c948a10503aada8458b39bd65656e6f","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-21T20:48:53Z","title_canon_sha256":"7122e789f4995ec51f14df48e872b39a8e878cbe4b064e330139be66fcbb61b6"},"schema_version":"1.0","source":{"id":"1807.08204","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.08204","created_at":"2026-05-18T00:10:08Z"},{"alias_kind":"arxiv_version","alias_value":"1807.08204v1","created_at":"2026-05-18T00:10:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.08204","created_at":"2026-05-18T00:10:08Z"},{"alias_kind":"pith_short_12","alias_value":"POSAWUJHNHWZ","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"POSAWUJHNHWZTMA5","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"POSAWUJH","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:7ab7d9668f0cfc189118efb176d976b877f9cf3e08fc69bcec49eefdf6f4a79e","target":"graph","created_at":"2026-05-18T00:10:08Z","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":"Neural models combining representation learning and reasoning in an end-to-end trainable manner are receiving increasing interest. However, their use is severely limited by their computational complexity, which renders them unusable on real world datasets. We focus on the Neural Theorem Prover (NTP) model proposed by Rockt{\\\"{a}}schel and Riedel (2017), a continuous relaxation of the Prolog backward chaining algorithm where unification between terms is replaced by the similarity between their embedding representations. For answering a given query, this model needs to consider all possible proo","authors_text":"Matko Bosnjak, Pasquale Minervini, Sebastian Riedel, Tim Rockt\\\"aschel","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-21T20:48:53Z","title":"Towards Neural Theorem Proving at Scale"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.08204","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:6642b2fa48a95e634a7dc9c5eb4a23024b6feac06c47a77e702386c248f1899f","target":"record","created_at":"2026-05-18T00:10:08Z","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":"0174c76306bbc0c955b177e0f57d689f1c948a10503aada8458b39bd65656e6f","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-21T20:48:53Z","title_canon_sha256":"7122e789f4995ec51f14df48e872b39a8e878cbe4b064e330139be66fcbb61b6"},"schema_version":"1.0","source":{"id":"1807.08204","kind":"arxiv","version":1}},"canonical_sha256":"7ba40b512769ed99b01dbd4eac1fb06fb0289bfd27f61883d31c4f1d75baf91a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ba40b512769ed99b01dbd4eac1fb06fb0289bfd27f61883d31c4f1d75baf91a","first_computed_at":"2026-05-18T00:10:08.936821Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:08.936821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+0aHQgUKjzXmM2UP+Exovotgvgcd91LWyhX2YActgW16ST/hwrpGWMOhQwcSprzpGGSC9QuLguTeCRV3p0+rBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:08.937453Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.08204","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6642b2fa48a95e634a7dc9c5eb4a23024b6feac06c47a77e702386c248f1899f","sha256:7ab7d9668f0cfc189118efb176d976b877f9cf3e08fc69bcec49eefdf6f4a79e"],"state_sha256":"e63926c6fcd7928f774784bfa5d22d6d2888dc8cc9b535b36fc995b3e62fbea5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e/Pk88y+NsNdqS15otf2Tv0RRkSAuIblnA6CiKAa+O2+20sbzwbQEBGCaNlF4hwHEaW8NIb3TLFluY1PjArQCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T23:44:20.281457Z","bundle_sha256":"b39f107ab8cf61e9b715631fb594cd6c5bc8ec859ee81cfd904a7ae932c07069"}}