{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HTYYLDFVVEGJRFZFI5ZJEANUTL","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":"d1f7b286f4b7802741d06be2011e514a489b9af18e958b0b5e88f726c9828a81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T08:38:42Z","title_canon_sha256":"7d155e23def6498c38d8dd89a845823f2088b40a58bc3eadefca0f118cbdb80b"},"schema_version":"1.0","source":{"id":"2509.04007","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04007","created_at":"2026-07-05T12:04:51Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04007v1","created_at":"2026-07-05T12:04:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04007","created_at":"2026-07-05T12:04:51Z"},{"alias_kind":"pith_short_12","alias_value":"HTYYLDFVVEGJ","created_at":"2026-07-05T12:04:51Z"},{"alias_kind":"pith_short_16","alias_value":"HTYYLDFVVEGJRFZF","created_at":"2026-07-05T12:04:51Z"},{"alias_kind":"pith_short_8","alias_value":"HTYYLDFV","created_at":"2026-07-05T12:04:51Z"}],"graph_snapshots":[{"event_id":"sha256:4ba0d8fd7fd208e5e81d248d549e0120a3c4f4b8781730ba5e977878bfb916f6","target":"graph","created_at":"2026-07-05T12:04:51Z","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/2509.04007/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Pseudo-Boolean Optimization (PBO) provides a powerful framework for modeling combinatorial problems through pseudo-Boolean (PB) constraints. Local search solvers have shown excellent performance in PBO solving, and their efficiency is highly dependent on their internal heuristics to guide the search. Still, their design often requires significant expert effort and manual tuning in practice. While Large Language Models (LLMs) have demonstrated potential in automating algorithm design, their application to optimizing PBO solvers remains unexplored. In this work, we introduce AutoPBO, a novel LLM","authors_text":"Jinyuan Li, Mengchuan Zou, Shaowei Cai, Yi Chu, Yiwen Sun","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T08:38:42Z","title":"AutoPBO: LLM-powered Optimization for Local Search PBO Solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04007","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:39e1daa113f0ed923480233516cdd14f2e2e1ca7930be84c5e9ea422e27426fb","target":"record","created_at":"2026-07-05T12:04:51Z","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":"d1f7b286f4b7802741d06be2011e514a489b9af18e958b0b5e88f726c9828a81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-09-04T08:38:42Z","title_canon_sha256":"7d155e23def6498c38d8dd89a845823f2088b40a58bc3eadefca0f118cbdb80b"},"schema_version":"1.0","source":{"id":"2509.04007","kind":"arxiv","version":1}},"canonical_sha256":"3cf1858cb5a90c98972547729201b49ae0e96043ec0a061d691a6b4ebdec7a8c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3cf1858cb5a90c98972547729201b49ae0e96043ec0a061d691a6b4ebdec7a8c","first_computed_at":"2026-07-05T12:04:51.645012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:04:51.645012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QWhWNmRDN6U+DiGVimLC4j8ukhQnEWlH9+viu85QpmiEBAvP2cRvqVqzBbtXymCXqdYbH+/FAwJC/1IEfADTBg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:04:51.645589Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.04007","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39e1daa113f0ed923480233516cdd14f2e2e1ca7930be84c5e9ea422e27426fb","sha256:4ba0d8fd7fd208e5e81d248d549e0120a3c4f4b8781730ba5e977878bfb916f6"],"state_sha256":"4138c3f37f841c3b628f18e92b62e9a52d45d5980a9b2792e86bbdfeff6e31dd"}