{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:WVSJK6BVUIFQR2VRHHAB2DGBTJ","short_pith_number":"pith:WVSJK6BV","canonical_record":{"source":{"id":"2308.02666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-04T18:52:18Z","cross_cats_sorted":[],"title_canon_sha256":"b0bc92a06aa5767861174b04ed634596dfba6370dd2702e84a919fef0d272c97","abstract_canon_sha256":"3cc95d8fb638338c57c41c1d090e46c54da290b0a2a3634591b2f74e69190eae"},"schema_version":"1.0"},"canonical_sha256":"b564957835a20b08eab139c01d0cc19a60e35f43952f68d1ca8b05db27d48fb1","source":{"kind":"arxiv","id":"2308.02666","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.02666","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"arxiv_version","alias_value":"2308.02666v1","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.02666","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"pith_short_12","alias_value":"WVSJK6BVUIFQ","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"pith_short_16","alias_value":"WVSJK6BVUIFQR2VR","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"pith_short_8","alias_value":"WVSJK6BV","created_at":"2026-07-05T06:38:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:WVSJK6BVUIFQR2VRHHAB2DGBTJ","target":"record","payload":{"canonical_record":{"source":{"id":"2308.02666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-04T18:52:18Z","cross_cats_sorted":[],"title_canon_sha256":"b0bc92a06aa5767861174b04ed634596dfba6370dd2702e84a919fef0d272c97","abstract_canon_sha256":"3cc95d8fb638338c57c41c1d090e46c54da290b0a2a3634591b2f74e69190eae"},"schema_version":"1.0"},"canonical_sha256":"b564957835a20b08eab139c01d0cc19a60e35f43952f68d1ca8b05db27d48fb1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:38:05.790068Z","signature_b64":"I+aauhI97AODCMBkIoHnY1DGmshlm5ng13hX3pHa4QqVv69Pl5lU8bInDtY05HpWrJgV/2rnTUf6VApf8AgvCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b564957835a20b08eab139c01d0cc19a60e35f43952f68d1ca8b05db27d48fb1","last_reissued_at":"2026-07-05T06:38:05.789599Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:38:05.789599Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.02666","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-07-05T06:38:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VYRXqRy0cFQSmBMAfQl11TgKnKQ4fNr/+O83z8eBfZ6h4GkpjpW3yF2wam9MHAZdBRKC7qDjRptvWCes4v47CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T13:58:27.784235Z"},"content_sha256":"a840278da5e322aa6dee3a375fb6f0543ecdd3d167f715febb977d8ac84fc4b0","schema_version":"1.0","event_id":"sha256:a840278da5e322aa6dee3a375fb6f0543ecdd3d167f715febb977d8ac84fc4b0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:WVSJK6BVUIFQR2VRHHAB2DGBTJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"David Thue, Justin Stevens, Vadim Bulitko","submitted_at":"2023-08-04T18:52:18Z","abstract_excerpt":"Automatically solving puzzle instances in the game The Witness can guide players toward solutions and help puzzle designers generate better puzzles. In the latter case such an Artificial Intelligence puzzle solver can inform a human puzzle designer and procedural puzzle generator to produce better instances. The puzzles, however, are combinatorially difficult and search-based solvers can require large amounts of time and memory. We accelerate such search by automatically learning a human-explainable predicate that predicts whether a partial path to a Witness-type puzzle is not completable to a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.02666","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2308.02666/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:38:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cCZIyHKy07Uhl5fQrPwIzA9QYp5VPopQWi5aifI4MyfjENwxcba5Dx3P0xx7Z0gurSFm3ZLZTd+uGDJ5nkuwBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T13:58:27.784623Z"},"content_sha256":"54580183c134b7c05a1ff01f393e4607565d92da7281074c2bfe3e41e2eca68b","schema_version":"1.0","event_id":"sha256:54580183c134b7c05a1ff01f393e4607565d92da7281074c2bfe3e41e2eca68b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WVSJK6BVUIFQR2VRHHAB2DGBTJ/bundle.json","state_url":"https://pith.science/pith/WVSJK6BVUIFQR2VRHHAB2DGBTJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WVSJK6BVUIFQR2VRHHAB2DGBTJ/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-07-08T13:58:27Z","links":{"resolver":"https://pith.science/pith/WVSJK6BVUIFQR2VRHHAB2DGBTJ","bundle":"https://pith.science/pith/WVSJK6BVUIFQR2VRHHAB2DGBTJ/bundle.json","state":"https://pith.science/pith/WVSJK6BVUIFQR2VRHHAB2DGBTJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WVSJK6BVUIFQR2VRHHAB2DGBTJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WVSJK6BVUIFQR2VRHHAB2DGBTJ","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":"3cc95d8fb638338c57c41c1d090e46c54da290b0a2a3634591b2f74e69190eae","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-04T18:52:18Z","title_canon_sha256":"b0bc92a06aa5767861174b04ed634596dfba6370dd2702e84a919fef0d272c97"},"schema_version":"1.0","source":{"id":"2308.02666","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.02666","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"arxiv_version","alias_value":"2308.02666v1","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.02666","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"pith_short_12","alias_value":"WVSJK6BVUIFQ","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"pith_short_16","alias_value":"WVSJK6BVUIFQR2VR","created_at":"2026-07-05T06:38:05Z"},{"alias_kind":"pith_short_8","alias_value":"WVSJK6BV","created_at":"2026-07-05T06:38:05Z"}],"graph_snapshots":[{"event_id":"sha256:54580183c134b7c05a1ff01f393e4607565d92da7281074c2bfe3e41e2eca68b","target":"graph","created_at":"2026-07-05T06:38:05Z","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/2308.02666/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automatically solving puzzle instances in the game The Witness can guide players toward solutions and help puzzle designers generate better puzzles. In the latter case such an Artificial Intelligence puzzle solver can inform a human puzzle designer and procedural puzzle generator to produce better instances. The puzzles, however, are combinatorially difficult and search-based solvers can require large amounts of time and memory. We accelerate such search by automatically learning a human-explainable predicate that predicts whether a partial path to a Witness-type puzzle is not completable to a","authors_text":"David Thue, Justin Stevens, Vadim Bulitko","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-04T18:52:18Z","title":"Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.02666","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:a840278da5e322aa6dee3a375fb6f0543ecdd3d167f715febb977d8ac84fc4b0","target":"record","created_at":"2026-07-05T06:38:05Z","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":"3cc95d8fb638338c57c41c1d090e46c54da290b0a2a3634591b2f74e69190eae","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-04T18:52:18Z","title_canon_sha256":"b0bc92a06aa5767861174b04ed634596dfba6370dd2702e84a919fef0d272c97"},"schema_version":"1.0","source":{"id":"2308.02666","kind":"arxiv","version":1}},"canonical_sha256":"b564957835a20b08eab139c01d0cc19a60e35f43952f68d1ca8b05db27d48fb1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b564957835a20b08eab139c01d0cc19a60e35f43952f68d1ca8b05db27d48fb1","first_computed_at":"2026-07-05T06:38:05.789599Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:38:05.789599Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I+aauhI97AODCMBkIoHnY1DGmshlm5ng13hX3pHa4QqVv69Pl5lU8bInDtY05HpWrJgV/2rnTUf6VApf8AgvCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:38:05.790068Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.02666","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a840278da5e322aa6dee3a375fb6f0543ecdd3d167f715febb977d8ac84fc4b0","sha256:54580183c134b7c05a1ff01f393e4607565d92da7281074c2bfe3e41e2eca68b"],"state_sha256":"db1431f0c63edb798d6e42c2c8552d2fc9f9ac9a217dcc394730606e7bd00906"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oJTYFlcTG8SyyKaSFXluE5R1FEOe7uOnw/5cZLiS3broiESCo1y6VQWpVRbVbHE4aKnPOGp5/VDhetd8yVwGDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T13:58:27.786696Z","bundle_sha256":"de55f373966380b624a0edda9fa6fe16d5fc1594fca261e4d2054b44b1a75d77"}}