{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:MALSB7WHILL5YSYEE7MOMVSCN2","short_pith_number":"pith:MALSB7WH","schema_version":"1.0","canonical_sha256":"601720fec742d7dc4b0427d8e656426ea6b5df1d8c4f555f0924480e8c9387a7","source":{"kind":"arxiv","id":"2606.06518","version":1},"attestation_state":"computed","paper":{"title":"DiBS: Diffusion-Informed Branch Selection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Bo Liu, Fujun Han, Peng Ye, Tao Chen, Xiaolong Luo, Yuan Gao, Yuan Xie","submitted_at":"2026-06-02T14:19:51Z","abstract_excerpt":"Sudoku is a representative constraint satisfaction problem that requires global structural reasoning under strict discrete constraints. The existing works of solving Sudoku mainly focus on two dominant approaches, i.e., traditional heuristic and deep learning solver. However, they suffer from two complementary limitations: learning-based solvers lack hard correctness guarantees, while complete symbolic solvers are still prone to long-tail search. To address these shortcomings, we propose a novel diffusion model-guided approach, termed as DiBS, for the branch selection search process. Specifica"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.06518","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-02T14:19:51Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"22af9b1f7dc26e55e6c3c6332b0404fafe5583a595ecf8a787e050cb99d3cd22","abstract_canon_sha256":"3d13526009a9c5c2abf56f9e967d7ee223a3f3fe0f75b191a5caed5a737fe264"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T00:03:40.516008Z","signature_b64":"rSuhtpNYM7EGlgkasC+kvDQ8+GYjxpjW452QqMkK8h9M8+5/5rBWXKhWgdyGDlcVoS72NU8aXYfjaIbWCygbBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"601720fec742d7dc4b0427d8e656426ea6b5df1d8c4f555f0924480e8c9387a7","last_reissued_at":"2026-06-08T00:03:40.514858Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T00:03:40.514858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DiBS: Diffusion-Informed Branch Selection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Bo Liu, Fujun Han, Peng Ye, Tao Chen, Xiaolong Luo, Yuan Gao, Yuan Xie","submitted_at":"2026-06-02T14:19:51Z","abstract_excerpt":"Sudoku is a representative constraint satisfaction problem that requires global structural reasoning under strict discrete constraints. The existing works of solving Sudoku mainly focus on two dominant approaches, i.e., traditional heuristic and deep learning solver. However, they suffer from two complementary limitations: learning-based solvers lack hard correctness guarantees, while complete symbolic solvers are still prone to long-tail search. To address these shortcomings, we propose a novel diffusion model-guided approach, termed as DiBS, for the branch selection search process. Specifica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.06518","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/2606.06518/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.06518","created_at":"2026-06-08T00:03:40.514993+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.06518v1","created_at":"2026-06-08T00:03:40.514993+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.06518","created_at":"2026-06-08T00:03:40.514993+00:00"},{"alias_kind":"pith_short_12","alias_value":"MALSB7WHILL5","created_at":"2026-06-08T00:03:40.514993+00:00"},{"alias_kind":"pith_short_16","alias_value":"MALSB7WHILL5YSYE","created_at":"2026-06-08T00:03:40.514993+00:00"},{"alias_kind":"pith_short_8","alias_value":"MALSB7WH","created_at":"2026-06-08T00:03:40.514993+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2","json":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2.json","graph_json":"https://pith.science/api/pith-number/MALSB7WHILL5YSYEE7MOMVSCN2/graph.json","events_json":"https://pith.science/api/pith-number/MALSB7WHILL5YSYEE7MOMVSCN2/events.json","paper":"https://pith.science/paper/MALSB7WH"},"agent_actions":{"view_html":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2","download_json":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2.json","view_paper":"https://pith.science/paper/MALSB7WH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.06518&json=true","fetch_graph":"https://pith.science/api/pith-number/MALSB7WHILL5YSYEE7MOMVSCN2/graph.json","fetch_events":"https://pith.science/api/pith-number/MALSB7WHILL5YSYEE7MOMVSCN2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2/action/storage_attestation","attest_author":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2/action/author_attestation","sign_citation":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2/action/citation_signature","submit_replication":"https://pith.science/pith/MALSB7WHILL5YSYEE7MOMVSCN2/action/replication_record"}},"created_at":"2026-06-08T00:03:40.514993+00:00","updated_at":"2026-06-08T00:03:40.514993+00:00"}