{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WAYIKR6E6DOMKCDGPIJALP75DJ","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":"cf5e55d1ca871a7991b872cd1960973300033755084a8fb825e513ec3bc22cac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-02-14T22:25:47Z","title_canon_sha256":"c74e4e7a490a39a0d3712f9b75ef575083d07a04acc64a14e1cbc889a1ebbd5f"},"schema_version":"1.0","source":{"id":"1802.05340","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.05340","created_at":"2026-05-18T00:23:15Z"},{"alias_kind":"arxiv_version","alias_value":"1802.05340v1","created_at":"2026-05-18T00:23:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.05340","created_at":"2026-05-18T00:23:15Z"},{"alias_kind":"pith_short_12","alias_value":"WAYIKR6E6DOM","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WAYIKR6E6DOMKCDG","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WAYIKR6E","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:6743f8f81f6eeba6978cd431423bf7ccd09bb9eb699aa0d5a79e912d84f8d319","target":"graph","created_at":"2026-05-18T00:23:15Z","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":"Despite the recent successes of deep neural networks in various fields such as image and speech recognition, natural language processing, and reinforcement learning, we still face big challenges in bringing the power of numeric optimization to symbolic reasoning. Researchers have proposed different avenues such as neural machine translation for proof synthesis, vectorization of symbols and expressions for representing symbolic patterns, and coupling of neural back-ends for dimensionality reduction with symbolic front-ends for decision making. However, these initial explorations are still only ","authors_text":"Fei Wang, Tiark Rompf","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-02-14T22:25:47Z","title":"From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.05340","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:eaa03f8310f9168b9e721474d7ae5203e7dc2eb0d5e9a10f606e850400dc0400","target":"record","created_at":"2026-05-18T00:23:15Z","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":"cf5e55d1ca871a7991b872cd1960973300033755084a8fb825e513ec3bc22cac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-02-14T22:25:47Z","title_canon_sha256":"c74e4e7a490a39a0d3712f9b75ef575083d07a04acc64a14e1cbc889a1ebbd5f"},"schema_version":"1.0","source":{"id":"1802.05340","kind":"arxiv","version":1}},"canonical_sha256":"b0308547c4f0dcc508667a1205bffd1a7d0839c85c7c4f8f31dc40d095860872","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0308547c4f0dcc508667a1205bffd1a7d0839c85c7c4f8f31dc40d095860872","first_computed_at":"2026-05-18T00:23:15.927753Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:15.927753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7TYL81yeQ1ghvOSIRdS34uh/3eHSSyAO50WAQxAB5UcYwLVhsaLGg5cb1CRuCQnABZiVYpPZKqR9YJ98Th1aCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:15.928374Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.05340","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eaa03f8310f9168b9e721474d7ae5203e7dc2eb0d5e9a10f606e850400dc0400","sha256:6743f8f81f6eeba6978cd431423bf7ccd09bb9eb699aa0d5a79e912d84f8d319"],"state_sha256":"3a4bd95fc69e1783a92a63843d7cf57cf8c08c8c20a1a819116021d399c85be9"}