{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:JVVKFBASQF5I2B4HLATVKIP4FS","short_pith_number":"pith:JVVKFBAS","canonical_record":{"source":{"id":"2409.18778","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-09-27T14:24:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"52c4d78e6da0e690a22c1a9a3981d18cfea9b84210f66d8c7cbac3fa67390d46","abstract_canon_sha256":"bd85b147b018ce40728542be89d13d420a4eecacaea799bb29441465f559de44"},"schema_version":"1.0"},"canonical_sha256":"4d6aa28412817a8d078758275521fc2c8e8637ce253ddf935a4be57b433bdc44","source":{"kind":"arxiv","id":"2409.18778","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.18778","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"arxiv_version","alias_value":"2409.18778v1","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.18778","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"pith_short_12","alias_value":"JVVKFBASQF5I","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"pith_short_16","alias_value":"JVVKFBASQF5I2B4H","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"pith_short_8","alias_value":"JVVKFBAS","created_at":"2026-07-05T09:12:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:JVVKFBASQF5I2B4HLATVKIP4FS","target":"record","payload":{"canonical_record":{"source":{"id":"2409.18778","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-09-27T14:24:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"52c4d78e6da0e690a22c1a9a3981d18cfea9b84210f66d8c7cbac3fa67390d46","abstract_canon_sha256":"bd85b147b018ce40728542be89d13d420a4eecacaea799bb29441465f559de44"},"schema_version":"1.0"},"canonical_sha256":"4d6aa28412817a8d078758275521fc2c8e8637ce253ddf935a4be57b433bdc44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:12:41.125005Z","signature_b64":"p4gtAmWghFW53sUcMm3/p2VFpeKGO/MO52BxnvTZr1/+AnokZvYY2MHRf/dSIV/RJCbJnXw8GNf+Xs65Yqb1Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d6aa28412817a8d078758275521fc2c8e8637ce253ddf935a4be57b433bdc44","last_reissued_at":"2026-07-05T09:12:41.124558Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:12:41.124558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.18778","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:12:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GXtf3H74Z50mf4zqsfvQbF1bBCHCcl6RXdSUF+7wc533QzhBOQL4+U5YFkPz8EimsQEA+Tiqj2OFucKIe4M5Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T12:30:58.599854Z"},"content_sha256":"fd50fba46b41f58655f15dccff08f1cb76072dc4a0c22ce592b09d9661b435e8","schema_version":"1.0","event_id":"sha256:fd50fba46b41f58655f15dccff08f1cb76072dc4a0c22ce592b09d9661b435e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:JVVKFBASQF5I2B4HLATVKIP4FS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Hui-Ling Zhen, Joseph Cotnareanu, Mark Coates, Yingxue Zhang, Zhanguang Zhang","submitted_at":"2024-09-27T14:24:16Z","abstract_excerpt":"Efficiently determining the satisfiability of a boolean equation -- known as the SAT problem for brevity -- is crucial in various industrial problems. Recently, the advent of deep learning methods has introduced significant potential for enhancing SAT solving. However, a major barrier to the advancement of this field has been the scarcity of large, realistic datasets. The majority of current public datasets are either randomly generated or extremely limited, containing only a few examples from unrelated problem families. These datasets are inadequate for meaningful training of deep learning me"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.18778","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/2409.18778/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:12:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UEk3v9YGQzb492mwbG0VQgIx5+gK7hX9Yd93K+cBFEvvGDA6DLZ6wNp8Met6zvLeoOgVCd5TstH+41bhN4SeAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T12:30:58.600372Z"},"content_sha256":"f8034decaa34b453c048f299e20ecd7a7a2a0bd20e66814ad09309f1e8bc9c46","schema_version":"1.0","event_id":"sha256:f8034decaa34b453c048f299e20ecd7a7a2a0bd20e66814ad09309f1e8bc9c46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JVVKFBASQF5I2B4HLATVKIP4FS/bundle.json","state_url":"https://pith.science/pith/JVVKFBASQF5I2B4HLATVKIP4FS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JVVKFBASQF5I2B4HLATVKIP4FS/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-01T12:30:58Z","links":{"resolver":"https://pith.science/pith/JVVKFBASQF5I2B4HLATVKIP4FS","bundle":"https://pith.science/pith/JVVKFBASQF5I2B4HLATVKIP4FS/bundle.json","state":"https://pith.science/pith/JVVKFBASQF5I2B4HLATVKIP4FS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JVVKFBASQF5I2B4HLATVKIP4FS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:JVVKFBASQF5I2B4HLATVKIP4FS","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":"bd85b147b018ce40728542be89d13d420a4eecacaea799bb29441465f559de44","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-09-27T14:24:16Z","title_canon_sha256":"52c4d78e6da0e690a22c1a9a3981d18cfea9b84210f66d8c7cbac3fa67390d46"},"schema_version":"1.0","source":{"id":"2409.18778","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.18778","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"arxiv_version","alias_value":"2409.18778v1","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.18778","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"pith_short_12","alias_value":"JVVKFBASQF5I","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"pith_short_16","alias_value":"JVVKFBASQF5I2B4H","created_at":"2026-07-05T09:12:41Z"},{"alias_kind":"pith_short_8","alias_value":"JVVKFBAS","created_at":"2026-07-05T09:12:41Z"}],"graph_snapshots":[{"event_id":"sha256:f8034decaa34b453c048f299e20ecd7a7a2a0bd20e66814ad09309f1e8bc9c46","target":"graph","created_at":"2026-07-05T09:12:41Z","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/2409.18778/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Efficiently determining the satisfiability of a boolean equation -- known as the SAT problem for brevity -- is crucial in various industrial problems. Recently, the advent of deep learning methods has introduced significant potential for enhancing SAT solving. However, a major barrier to the advancement of this field has been the scarcity of large, realistic datasets. The majority of current public datasets are either randomly generated or extremely limited, containing only a few examples from unrelated problem families. These datasets are inadequate for meaningful training of deep learning me","authors_text":"Hui-Ling Zhen, Joseph Cotnareanu, Mark Coates, Yingxue Zhang, Zhanguang Zhang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-09-27T14:24:16Z","title":"HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.18778","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:fd50fba46b41f58655f15dccff08f1cb76072dc4a0c22ce592b09d9661b435e8","target":"record","created_at":"2026-07-05T09:12:41Z","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":"bd85b147b018ce40728542be89d13d420a4eecacaea799bb29441465f559de44","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-09-27T14:24:16Z","title_canon_sha256":"52c4d78e6da0e690a22c1a9a3981d18cfea9b84210f66d8c7cbac3fa67390d46"},"schema_version":"1.0","source":{"id":"2409.18778","kind":"arxiv","version":1}},"canonical_sha256":"4d6aa28412817a8d078758275521fc2c8e8637ce253ddf935a4be57b433bdc44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d6aa28412817a8d078758275521fc2c8e8637ce253ddf935a4be57b433bdc44","first_computed_at":"2026-07-05T09:12:41.124558Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:12:41.124558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p4gtAmWghFW53sUcMm3/p2VFpeKGO/MO52BxnvTZr1/+AnokZvYY2MHRf/dSIV/RJCbJnXw8GNf+Xs65Yqb1Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:12:41.125005Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.18778","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd50fba46b41f58655f15dccff08f1cb76072dc4a0c22ce592b09d9661b435e8","sha256:f8034decaa34b453c048f299e20ecd7a7a2a0bd20e66814ad09309f1e8bc9c46"],"state_sha256":"476938df07af04c3ed5acc82d4a313581e4259b685938c13cfa7ffafc884727f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kQGUAAdnfyQt/sGfpmhGH/Z26AzfJ77IJd+J75ta1osi3rYJ63eo1wDrwsnwrEPpDxXCS1XM1tOnu0EfaN62Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T12:30:58.606144Z","bundle_sha256":"e2a229faf1338e5079ef196bd91ad9dc8a2e7be3a3abd74c5d2fe8160bdfbaa6"}}