{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZLFEQLKDYRHFBVJQMHVL7LK4GC","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":"0bdd7444c6a5b3c7b47648f77bf3fa6a0e2ecfcca7c126901fcfe54151567f54","cross_cats_sorted":["cs.DB","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-15T13:18:20Z","title_canon_sha256":"dd3f19d96997121c78e6a138bc145a7ff69b847dece1e0d1d0297544f6e729d5"},"schema_version":"1.0","source":{"id":"2307.13701","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.13701","created_at":"2026-07-05T06:34:51Z"},{"alias_kind":"arxiv_version","alias_value":"2307.13701v1","created_at":"2026-07-05T06:34:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.13701","created_at":"2026-07-05T06:34:51Z"},{"alias_kind":"pith_short_12","alias_value":"ZLFEQLKDYRHF","created_at":"2026-07-05T06:34:51Z"},{"alias_kind":"pith_short_16","alias_value":"ZLFEQLKDYRHFBVJQ","created_at":"2026-07-05T06:34:51Z"},{"alias_kind":"pith_short_8","alias_value":"ZLFEQLKD","created_at":"2026-07-05T06:34:51Z"}],"graph_snapshots":[{"event_id":"sha256:27139ffa254e1ccdbe00c21ba34a8388e91ddad878bf64b8f1d794884f9ba4eb","target":"graph","created_at":"2026-07-05T06:34:51Z","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/2307.13701/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"To answer complex queries on knowledge graphs, logical reasoning over incomplete knowledge is required due to the open-world assumption. Learning-based methods are essential because they are capable of generalizing over unobserved knowledge. Therefore, an appropriate dataset is fundamental to both obtaining and evaluating such methods under this paradigm. In this paper, we propose a comprehensive framework for data generation, model training, and method evaluation that covers the combinatorial space of Existential First-order Queries with multiple variables ($\\text{EFO}_{k}$). The combinatoria","authors_text":"Hang Yin, Weizhi Fei, Yangqiu Song, Zihao Wang","cross_cats":["cs.DB","cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-15T13:18:20Z","title":"$\\text{EFO}_{k}$-CQA: Towards Knowledge Graph Complex Query Answering beyond Set Operation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.13701","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:7b5e94cd331dc7860776e4484c13f24c547452cde69c00af66d833277d714da0","target":"record","created_at":"2026-07-05T06:34:51Z","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":"0bdd7444c6a5b3c7b47648f77bf3fa6a0e2ecfcca7c126901fcfe54151567f54","cross_cats_sorted":["cs.DB","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-15T13:18:20Z","title_canon_sha256":"dd3f19d96997121c78e6a138bc145a7ff69b847dece1e0d1d0297544f6e729d5"},"schema_version":"1.0","source":{"id":"2307.13701","kind":"arxiv","version":1}},"canonical_sha256":"caca482d43c44e50d53061eabfad5c30b96693c711679d3138d1cf0e40687bca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"caca482d43c44e50d53061eabfad5c30b96693c711679d3138d1cf0e40687bca","first_computed_at":"2026-07-05T06:34:51.262878Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:34:51.262878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QGd/ikDZbjlGX0EMDtjnkuK9Zs+xkhbiYzjApq5Mihhgy66KyNIIRelWyZsL+0tTOYCx0Jcw6+d6YxERNfu6Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:34:51.263328Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.13701","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b5e94cd331dc7860776e4484c13f24c547452cde69c00af66d833277d714da0","sha256:27139ffa254e1ccdbe00c21ba34a8388e91ddad878bf64b8f1d794884f9ba4eb"],"state_sha256":"1b0058258dcffe2c684262ae0ba9348bfb70776b666fb3dc52c4ae63aed5e66f"}