{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:4S4NG3CW7HZEK6CS25NETJ4DQI","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":"4e3cc63c9f9b4e2d4e6923b8f10a70befd44fc32c1129f4d4ca22b03e8075d23","cross_cats_sorted":["cs.CL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-04-07T19:25:16Z","title_canon_sha256":"0ba0e25657d19033d2d0b4f0750e7f68e49ffdbd39d41482321c532b5b2d29f9"},"schema_version":"1.0","source":{"id":"2004.03658","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.03658","created_at":"2026-07-05T02:10:38Z"},{"alias_kind":"arxiv_version","alias_value":"2004.03658v3","created_at":"2026-07-05T02:10:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.03658","created_at":"2026-07-05T02:10:38Z"},{"alias_kind":"pith_short_12","alias_value":"4S4NG3CW7HZE","created_at":"2026-07-05T02:10:38Z"},{"alias_kind":"pith_short_16","alias_value":"4S4NG3CW7HZEK6CS","created_at":"2026-07-05T02:10:38Z"},{"alias_kind":"pith_short_8","alias_value":"4S4NG3CW","created_at":"2026-07-05T02:10:38Z"}],"graph_snapshots":[{"event_id":"sha256:b7df1293d96f39b6c652b29c7f4a54b4bacc4583d8bb8544f6fcf12042fbf04c","target":"graph","created_at":"2026-07-05T02:10:38Z","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/2004.03658/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The deductive closure of an ideal knowledge base (KB) contains exactly the logical queries that the KB can answer. However, in practice KBs are both incomplete and over-specified, failing to answer some queries that have real-world answers. \\emph{Query embedding} (QE) techniques have been recently proposed where KB entities and KB queries are represented jointly in an embedding space, supporting relaxation and generalization in KB inference. However, experiments in this paper show that QE systems may disagree with deductive reasoning on answers that do not require generalization or relaxation.","authors_text":"Andrew O. Arnold, Fernando Pereira, Haitian Sun, Tania Bedrax-Weiss, William W. Cohen","cross_cats":["cs.CL","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-04-07T19:25:16Z","title":"Faithful Embeddings for Knowledge Base Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.03658","kind":"arxiv","version":3},"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:1b43f754a0facaf588a5b06ae4b29a6f4097f9eaef8cf97bd3516369a56f0265","target":"record","created_at":"2026-07-05T02:10:38Z","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":"4e3cc63c9f9b4e2d4e6923b8f10a70befd44fc32c1129f4d4ca22b03e8075d23","cross_cats_sorted":["cs.CL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-04-07T19:25:16Z","title_canon_sha256":"0ba0e25657d19033d2d0b4f0750e7f68e49ffdbd39d41482321c532b5b2d29f9"},"schema_version":"1.0","source":{"id":"2004.03658","kind":"arxiv","version":3}},"canonical_sha256":"e4b8d36c56f9f2457852d75a49a7838200bf55e7074b209a06bf32df7ed554b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4b8d36c56f9f2457852d75a49a7838200bf55e7074b209a06bf32df7ed554b0","first_computed_at":"2026-07-05T02:10:38.026111Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:10:38.026111Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u1O5hCPJrWeA4RYg+2HjobB8EBz0Dltk3PYrcPrHnESiM/cDjSUwmtcErsirh6Nuyvbvsuohl8bxqR0EYLQmCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:10:38.026561Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.03658","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b43f754a0facaf588a5b06ae4b29a6f4097f9eaef8cf97bd3516369a56f0265","sha256:b7df1293d96f39b6c652b29c7f4a54b4bacc4583d8bb8544f6fcf12042fbf04c"],"state_sha256":"7976678218b6df89bcc562fe8d952439b50d05a5e61e5972bc3395778d0a0ea5"}