{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:FK5ZONKKVYZRMQABWHGEOYPEKR","short_pith_number":"pith:FK5ZONKK","canonical_record":{"source":{"id":"2605.17539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-17T16:47:31Z","cross_cats_sorted":[],"title_canon_sha256":"56163994ca81a44ae9a0d34c228f294493bc19dd48e3edbb721067c7c8d1df2e","abstract_canon_sha256":"49122880ba1c084bbadb43518ab4bb8df14943300669b5f54c159beb7b3bc36a"},"schema_version":"1.0"},"canonical_sha256":"2abb97354aae33164001b1cc4761e4546717f63185dc8ea348ad4dfca663c817","source":{"kind":"arxiv","id":"2605.17539","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17539","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17539v1","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17539","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"pith_short_12","alias_value":"FK5ZONKKVYZR","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"pith_short_16","alias_value":"FK5ZONKKVYZRMQAB","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"pith_short_8","alias_value":"FK5ZONKK","created_at":"2026-05-20T00:04:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:FK5ZONKKVYZRMQABWHGEOYPEKR","target":"record","payload":{"canonical_record":{"source":{"id":"2605.17539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-17T16:47:31Z","cross_cats_sorted":[],"title_canon_sha256":"56163994ca81a44ae9a0d34c228f294493bc19dd48e3edbb721067c7c8d1df2e","abstract_canon_sha256":"49122880ba1c084bbadb43518ab4bb8df14943300669b5f54c159beb7b3bc36a"},"schema_version":"1.0"},"canonical_sha256":"2abb97354aae33164001b1cc4761e4546717f63185dc8ea348ad4dfca663c817","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:04:44.705956Z","signature_b64":"4UaAmnsr/5u79hLGfSt8bjRIhr1Dby54K2FgaMyeMD+r1/0dWbdFa6A0Rx/nOeO1vuQHU+4HZa/w9W5WLL80Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2abb97354aae33164001b1cc4761e4546717f63185dc8ea348ad4dfca663c817","last_reissued_at":"2026-05-20T00:04:44.705110Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:04:44.705110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.17539","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-05-20T00:04:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hq7B8BodEUi/CB9xEIp4lpVm5abMh7E89vtuSW0CepZGJ1wyURxUkHYN91qlDQverZSUjoRpPeYcRXqgVJxLDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:33:05.283230Z"},"content_sha256":"e714c1b2f6a57983950be79c492fcfe333e6ed3656e595310cb79c19c55eeacd","schema_version":"1.0","event_id":"sha256:e714c1b2f6a57983950be79c492fcfe333e6ed3656e595310cb79c19c55eeacd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:FK5ZONKKVYZRMQABWHGEOYPEKR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Memory-Guided Tree Search with Cross-Branch Knowledge Transfer for LLM Solver Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Fatemeh Haji, Javier Delarosa Quiros, Peyman Najafirad","submitted_at":"2026-05-17T16:47:31Z","abstract_excerpt":"Combinatorial optimization (CO) underlies decision-making from logistics to chip design, where infeasible solutions are operationally unusable and small quality gains translate into substantial economic value. Recent work uses large language models (LLMs) to automate solver synthesis: generating executable solver programs from natural-language specifications. However, existing tree-search and evolutionary agents refine candidate trajectories in parallel without explicit knowledge transfer, reintroducing the same constraint violations and converging on similar algorithm families. We introduce M"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17539","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/2605.17539/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.614223Z","status":"skipped","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T21:21:57.550532Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"19c27e0266032777b709afe407c0bce4c4531a506b944426d4e3a6f91d19d34f"},"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-05-20T00:04:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oLQavvDWAtBwj/b5+KGUZBE6Kv112LoQqha65Y0b7tuoVpFXAUc3y1rkFx6WvGzgZEFP1AyROAU/SwI3bwujBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:33:05.284043Z"},"content_sha256":"99997d51749d9c4af4ba983455bb1f16607c31ff29f41aa63a879a0d68408ce2","schema_version":"1.0","event_id":"sha256:99997d51749d9c4af4ba983455bb1f16607c31ff29f41aa63a879a0d68408ce2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FK5ZONKKVYZRMQABWHGEOYPEKR/bundle.json","state_url":"https://pith.science/pith/FK5ZONKKVYZRMQABWHGEOYPEKR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FK5ZONKKVYZRMQABWHGEOYPEKR/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-05-27T06:33:05Z","links":{"resolver":"https://pith.science/pith/FK5ZONKKVYZRMQABWHGEOYPEKR","bundle":"https://pith.science/pith/FK5ZONKKVYZRMQABWHGEOYPEKR/bundle.json","state":"https://pith.science/pith/FK5ZONKKVYZRMQABWHGEOYPEKR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FK5ZONKKVYZRMQABWHGEOYPEKR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FK5ZONKKVYZRMQABWHGEOYPEKR","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":"49122880ba1c084bbadb43518ab4bb8df14943300669b5f54c159beb7b3bc36a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-17T16:47:31Z","title_canon_sha256":"56163994ca81a44ae9a0d34c228f294493bc19dd48e3edbb721067c7c8d1df2e"},"schema_version":"1.0","source":{"id":"2605.17539","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17539","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17539v1","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17539","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"pith_short_12","alias_value":"FK5ZONKKVYZR","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"pith_short_16","alias_value":"FK5ZONKKVYZRMQAB","created_at":"2026-05-20T00:04:44Z"},{"alias_kind":"pith_short_8","alias_value":"FK5ZONKK","created_at":"2026-05-20T00:04:44Z"}],"graph_snapshots":[{"event_id":"sha256:99997d51749d9c4af4ba983455bb1f16607c31ff29f41aa63a879a0d68408ce2","target":"graph","created_at":"2026-05-20T00:04:44Z","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":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.614223Z","status":"skipped","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T21:21:57.550532Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.17539/integrity.json","findings":[],"snapshot_sha256":"19c27e0266032777b709afe407c0bce4c4531a506b944426d4e3a6f91d19d34f","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Combinatorial optimization (CO) underlies decision-making from logistics to chip design, where infeasible solutions are operationally unusable and small quality gains translate into substantial economic value. Recent work uses large language models (LLMs) to automate solver synthesis: generating executable solver programs from natural-language specifications. However, existing tree-search and evolutionary agents refine candidate trajectories in parallel without explicit knowledge transfer, reintroducing the same constraint violations and converging on similar algorithm families. We introduce M","authors_text":"Fatemeh Haji, Javier Delarosa Quiros, Peyman Najafirad","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-17T16:47:31Z","title":"Memory-Guided Tree Search with Cross-Branch Knowledge Transfer for LLM Solver Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17539","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:e714c1b2f6a57983950be79c492fcfe333e6ed3656e595310cb79c19c55eeacd","target":"record","created_at":"2026-05-20T00:04:44Z","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":"49122880ba1c084bbadb43518ab4bb8df14943300669b5f54c159beb7b3bc36a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-17T16:47:31Z","title_canon_sha256":"56163994ca81a44ae9a0d34c228f294493bc19dd48e3edbb721067c7c8d1df2e"},"schema_version":"1.0","source":{"id":"2605.17539","kind":"arxiv","version":1}},"canonical_sha256":"2abb97354aae33164001b1cc4761e4546717f63185dc8ea348ad4dfca663c817","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2abb97354aae33164001b1cc4761e4546717f63185dc8ea348ad4dfca663c817","first_computed_at":"2026-05-20T00:04:44.705110Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:04:44.705110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4UaAmnsr/5u79hLGfSt8bjRIhr1Dby54K2FgaMyeMD+r1/0dWbdFa6A0Rx/nOeO1vuQHU+4HZa/w9W5WLL80Cg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:04:44.705956Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.17539","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e714c1b2f6a57983950be79c492fcfe333e6ed3656e595310cb79c19c55eeacd","sha256:99997d51749d9c4af4ba983455bb1f16607c31ff29f41aa63a879a0d68408ce2"],"state_sha256":"6987b1662c476b43481a1c139062b3a4583b48f774826bd6fafd346ec8b215dc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ffpDbGZNN7fz+EEnkS9OyBvZ/Y8WM6l2thIsOKx0n2viTxXMI+QHeoCZc4ccWIiBlkR/BWaidyYoZgVDIl+SCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T06:33:05.286729Z","bundle_sha256":"d6aac71e5f1efa45f969f65e503570e6585aac17835dbf2bbbdc05b6b4ea37f2"}}