{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7UFNSGUQ7NWFQWXEZOYQP6ZYR3","short_pith_number":"pith:7UFNSGUQ","canonical_record":{"source":{"id":"2410.14888","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-18T22:25:54Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"e24e4be5ffb6718638bf7870c49e49a8bc0a47cab1f66de459f6d9cb17db9813","abstract_canon_sha256":"85a7e79dff485d4ed215a3057f82df06978e2d7697304e8ea2993bd709416bd3"},"schema_version":"1.0"},"canonical_sha256":"fd0ad91a90fb6c585ae4cbb107fb388ee517b76d041f375246b9a0cbb717d9c7","source":{"kind":"arxiv","id":"2410.14888","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.14888","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"arxiv_version","alias_value":"2410.14888v1","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.14888","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"pith_short_12","alias_value":"7UFNSGUQ7NWF","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"pith_short_16","alias_value":"7UFNSGUQ7NWFQWXE","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"pith_short_8","alias_value":"7UFNSGUQ","created_at":"2026-07-05T09:22:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7UFNSGUQ7NWFQWXEZOYQP6ZYR3","target":"record","payload":{"canonical_record":{"source":{"id":"2410.14888","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-18T22:25:54Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"e24e4be5ffb6718638bf7870c49e49a8bc0a47cab1f66de459f6d9cb17db9813","abstract_canon_sha256":"85a7e79dff485d4ed215a3057f82df06978e2d7697304e8ea2993bd709416bd3"},"schema_version":"1.0"},"canonical_sha256":"fd0ad91a90fb6c585ae4cbb107fb388ee517b76d041f375246b9a0cbb717d9c7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:22:45.938190Z","signature_b64":"cOVDW8GVu7jRmGPMiFn9g/Ud5MprDv39bU41Xba1SabCLWPnMZ2ufSwK86Y1lbhv/vajp5+9EhWmbQ5PprruBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd0ad91a90fb6c585ae4cbb107fb388ee517b76d041f375246b9a0cbb717d9c7","last_reissued_at":"2026-07-05T09:22:45.937696Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:22:45.937696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.14888","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-05T09:22:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sXLMO1/zuLMycB7bYHFSdWVDh3H4y2O3PxvDN7VOKpIqh447Fs8a3oVDpXfLM9MnY9YMOsrNiA3/8WmK/QM0Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T03:16:49.728121Z"},"content_sha256":"4e0aab24b3f02e197bad9f212288d66249a3d46c9ca738127e3f9ea9f97a5b95","schema_version":"1.0","event_id":"sha256:4e0aab24b3f02e197bad9f212288d66249a3d46c9ca738127e3f9ea9f97a5b95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7UFNSGUQ7NWFQWXEZOYQP6ZYR3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Self-Satisfied: An end-to-end framework for SAT generation and prediction","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.LG","authors_text":"Alexei Kopylov, Christopher R. Serrano, Jonathan Gallagher, Kenji Yamada, Michael A. Warren","submitted_at":"2024-10-18T22:25:54Z","abstract_excerpt":"The boolean satisfiability (SAT) problem asks whether there exists an assignment of boolean values to the variables of an arbitrary boolean formula making the formula evaluate to True. It is well-known that all NP-problems can be coded as SAT problems and therefore SAT is important both practically and theoretically. From both of these perspectives, better understanding the patterns and structure implicit in SAT data is of significant value. In this paper, we describe several advances that we believe will help open the door to such understanding: we introduce hardware accelerated algorithms fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.14888","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/2410.14888/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-05T09:22:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1kOVXSEyJtY8OX9XFNj+R4Ns2hYCHhHTwawwbCNMzT7EadRY/VcWXP1LBex025S+SGfuWZz90dR5o4Ru1KM/CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T03:16:49.728633Z"},"content_sha256":"55f8b9a6e605dc52a1044d6c55ce64ed737edcfdbce1042ba6b946d29cde6d21","schema_version":"1.0","event_id":"sha256:55f8b9a6e605dc52a1044d6c55ce64ed737edcfdbce1042ba6b946d29cde6d21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7UFNSGUQ7NWFQWXEZOYQP6ZYR3/bundle.json","state_url":"https://pith.science/pith/7UFNSGUQ7NWFQWXEZOYQP6ZYR3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7UFNSGUQ7NWFQWXEZOYQP6ZYR3/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-08-21T03:16:49Z","links":{"resolver":"https://pith.science/pith/7UFNSGUQ7NWFQWXEZOYQP6ZYR3","bundle":"https://pith.science/pith/7UFNSGUQ7NWFQWXEZOYQP6ZYR3/bundle.json","state":"https://pith.science/pith/7UFNSGUQ7NWFQWXEZOYQP6ZYR3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7UFNSGUQ7NWFQWXEZOYQP6ZYR3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7UFNSGUQ7NWFQWXEZOYQP6ZYR3","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":"85a7e79dff485d4ed215a3057f82df06978e2d7697304e8ea2993bd709416bd3","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-18T22:25:54Z","title_canon_sha256":"e24e4be5ffb6718638bf7870c49e49a8bc0a47cab1f66de459f6d9cb17db9813"},"schema_version":"1.0","source":{"id":"2410.14888","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.14888","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"arxiv_version","alias_value":"2410.14888v1","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.14888","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"pith_short_12","alias_value":"7UFNSGUQ7NWF","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"pith_short_16","alias_value":"7UFNSGUQ7NWFQWXE","created_at":"2026-07-05T09:22:45Z"},{"alias_kind":"pith_short_8","alias_value":"7UFNSGUQ","created_at":"2026-07-05T09:22:45Z"}],"graph_snapshots":[{"event_id":"sha256:55f8b9a6e605dc52a1044d6c55ce64ed737edcfdbce1042ba6b946d29cde6d21","target":"graph","created_at":"2026-07-05T09:22:45Z","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/2410.14888/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The boolean satisfiability (SAT) problem asks whether there exists an assignment of boolean values to the variables of an arbitrary boolean formula making the formula evaluate to True. It is well-known that all NP-problems can be coded as SAT problems and therefore SAT is important both practically and theoretically. From both of these perspectives, better understanding the patterns and structure implicit in SAT data is of significant value. In this paper, we describe several advances that we believe will help open the door to such understanding: we introduce hardware accelerated algorithms fo","authors_text":"Alexei Kopylov, Christopher R. Serrano, Jonathan Gallagher, Kenji Yamada, Michael A. Warren","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-18T22:25:54Z","title":"Self-Satisfied: An end-to-end framework for SAT generation and prediction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.14888","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:4e0aab24b3f02e197bad9f212288d66249a3d46c9ca738127e3f9ea9f97a5b95","target":"record","created_at":"2026-07-05T09:22:45Z","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":"85a7e79dff485d4ed215a3057f82df06978e2d7697304e8ea2993bd709416bd3","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-18T22:25:54Z","title_canon_sha256":"e24e4be5ffb6718638bf7870c49e49a8bc0a47cab1f66de459f6d9cb17db9813"},"schema_version":"1.0","source":{"id":"2410.14888","kind":"arxiv","version":1}},"canonical_sha256":"fd0ad91a90fb6c585ae4cbb107fb388ee517b76d041f375246b9a0cbb717d9c7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd0ad91a90fb6c585ae4cbb107fb388ee517b76d041f375246b9a0cbb717d9c7","first_computed_at":"2026-07-05T09:22:45.937696Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:22:45.937696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cOVDW8GVu7jRmGPMiFn9g/Ud5MprDv39bU41Xba1SabCLWPnMZ2ufSwK86Y1lbhv/vajp5+9EhWmbQ5PprruBA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:22:45.938190Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.14888","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e0aab24b3f02e197bad9f212288d66249a3d46c9ca738127e3f9ea9f97a5b95","sha256:55f8b9a6e605dc52a1044d6c55ce64ed737edcfdbce1042ba6b946d29cde6d21"],"state_sha256":"97a686e173f9f3b60072d7fc5cbab8614f14d30abb93d134050a616bcc2a1c6f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K3CPSr+/2A6T0ACemgcVBv9FtcUt3JFmUUaEF3oh7muXtYUYmwJ7EZI+XdIAA4f/I2K8ytDDgZ8HOsj+hlpMBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T03:16:49.732444Z","bundle_sha256":"8949f489a17879558ddf3153a511905692b779381e551bb2dc8f8cd343d5f12d"}}