{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/arxiv-2606-21884","title":"A Verifiable Search Is Not a Learnable Chain-of-Thought","arxiv_id":"2606.21884","date":"2026-06-20","proceeding":null,"authors":["Harsh Patel"],"abstract":"It is tempting to assume any task solvable by a short program can be taught to a model as its chain-of-thought: write the steps out, fine-tune, and the model follows. This paper shows the assumption fails for an identifiable class of procedures. The testbed is nine reasoning tasks, each from a deterministic generator; public and hidden splits share generators, so held-out data proxies test accuracy. I reverse-engineer the generators into Python solvers, render them as chain-of-thought, and distill into a rank-<= 32 LoRA over a 30B (3.5B-active) Nemotron model. Forward-computable tasks install readily: lookup/arithmetic and an 8-bit boolean task transfer (>= 0.99 and 0.68). Cryptarithm does not: distilling its backtracking search holds at 0.01-0.07 across eleven chain-of-thought designs, RL from verifiable rewards, and self-training, even though a search solver answers 71% of instances. This is not a capability gap. The model does the arithmetic on 97-100% of lines and ranks the correct cipher in its top eight on 71%; it cannot carry the search forward as a left-to-right derivation. Fine-tuning learns the shape of a verifiable elimination step while its verdicts become unconditional templates, correct only 16-57% of the time (\"verdict-as-token\"). The ceiling holds across backbones from 3B to 671B and across fine-tuning and prompting; a controlled intervention isolates the cause: revealing the cipher key, which turns the derivation forward, lifts the same instances from 0.03 to 0.57. When a procedure's only solution is search over information-free structure, no faithful forward chain-of-thought exists to imitate. The task becomes learnable only by removing the search, precomputing its combinatorial core into a catalog and reducing the trace to recall plus verification; the 1st-place solution reaches Private LB 0.92 this way. What distills is memorization and verification, not search.","url_abs":"https://arxiv.org/abs/2606.21884","url_pdf":"https://arxiv.org/pdf/2606.21884","source":{"archive":null,"snapshot":"2025-07-28","note":"not in the Papers with Code archive (frozen at the snapshot)","row_kind":"graph","title_abstract_authors_date":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)"},"code_links":[],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2606.21884","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2606.21884"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"mentioned_in_github":null,"is_official":null,"provenance":"deterministic:regex_extraction","mentioned_in_paper":null,"url":"https://github.com/harshpatel1692/search-not-learnable","reach":null}],"summary":{"ran":17},"by_repo_kind":{"found_in_text":{"samples":17,"ran":17,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":17,"samples":[{"code_sha256_prefix":"3c72c6b36cc3e113","entry":"apply_rule","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/eq_fit.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/eq_fit.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"3c72c6b36cc3e113"}},{"code_sha256_prefix":"6ff33b8b33833952","entry":"b8","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/base_probe.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/base_probe.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"6ff33b8b33833952"}},{"code_sha256_prefix":"97d9d309bfa6c07f","entry":"bit","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_stride.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_stride.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"97d9d309bfa6c07f"}},{"code_sha256_prefix":"86c5371382f74303","entry":"evaluate_bit","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_global.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_global.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"86c5371382f74303"}},{"code_sha256_prefix":"bc27fa708162cc08","entry":"family","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/classify_bitmanip.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/classify_bitmanip.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"bc27fa708162cc08"}},{"code_sha256_prefix":"c08cc952b879b7e0","entry":"get_source_bit","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_global.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_global.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"c08cc952b879b7e0"}},{"code_sha256_prefix":"ec60137b52fcd5dc","entry":"get_used_vars","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_global.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_global.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"ec60137b52fcd5dc"}},{"code_sha256_prefix":"6c514a2a8bb43c27","entry":"mk","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_stride.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_stride.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"6c514a2a8bb43c27"}},{"code_sha256_prefix":"6be0a8a77d2dd294","entry":"norm","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/base_probe.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/base_probe.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"6be0a8a77d2dd294"}},{"code_sha256_prefix":"68765919085d2da5","entry":"ntaps","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/classify_bitmanip.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/classify_bitmanip.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"68765919085d2da5"}},{"code_sha256_prefix":"e6cce65ff1c3308d","entry":"operands","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/eq_fit.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/eq_fit.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"e6cce65ff1c3308d"}},{"code_sha256_prefix":"9199b3294ad7243d","entry":"parse","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_bfs.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_bfs.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"9199b3294ad7243d"}},{"code_sha256_prefix":"f08c72ca44a3d699","entry":"render","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/eq_fit.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/eq_fit.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"f08c72ca44a3d699"}},{"code_sha256_prefix":"c77b44cd3cecfff1","entry":"rotl","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/base_probe.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/base_probe.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"c77b44cd3cecfff1"}},{"code_sha256_prefix":"94b498b889b31655","entry":"rotr","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_bfs.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_bfs.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"94b498b889b31655"}},{"code_sha256_prefix":"aaec0a38dd8843ac","entry":"row","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/make_bit_3tap_corpus.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/make_bit_3tap_corpus.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"aaec0a38dd8843ac"}},{"code_sha256_prefix":"8c20dfb19ce494bb","entry":"shl","repo":"harshpatel1692/search-not-learnable","repo_kind":"found_in_text","path":"pipeline/bit_bfs2.py","file_url":"https://github.com/harshpatel1692/search-not-learnable/blob/HEAD/pipeline/bit_bfs2.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NOASSERTION","inline_ok":false,"mcp_get_code":{"code_sha256":"8c20dfb19ce494bb"}}]},"arxiv_metadata":{"licence":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)","fields":["title","abstract","authors","date"],"primary_category":"cs.LG","source":"arxiv_2026.jsonl"},"syntology_extracted_results":{"kind":"leaderboard_placements","source":"Syntology's leaderboard-shaped extractor over the paper's own arXiv-HTML tables: a model pointed at a cell, the number was read from that cell and checked against the board's metric, dataset, split and scale, and an independent check accepted the entry; not reviewed by the paper's authors or the archive's editors","extractor_model":"global.anthropic.claude-sonnet-4-5-20250929-v1:0","verifier_model":null,"prompt_sha":"fa63d4bb9d755694","coverage":{"sentence":"Syntology has checked 6,264 of the 9,581 papers on this site that are newer than the archive; results from the others appear after they are checked.","papers_newer_than_archive":9581,"papers_checked":6264},"entries":[],"not_placed":{"boards":0,"rejected_by_independent_check":0,"refused_by_a_rule":0,"check_did_not_answer":0,"proposed_without_a_cell":0,"declined_by_site":0}}}