---
title: "Causal Language Modeling Can Elicit Search and Reasoning"
description: "The authors build human-style solvers that never backtrack. 56 references, cited by 11 papers here."
authors: ["Kulin Shah", "Nishanth Dikkala", "Xin Wang", "Rina Panigrahy"]
year: 2024
venue: "arXiv:2409.10502"
source: "https://arxiv.org/abs/2409.10502"
doi: "10.48550/arxiv.2409.10502"
arxiv: "2409.10502"
licence: "CC BY-SA 4.0 (arXiv)"
licence_url: "http://creativecommons.org/licenses/by-sa/4.0/"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/shah-2024-causal-language-modeling-elicit-search/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/shah-2024-causal-language-modeling-elicit-search/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2024](https://md.research.elamur.ai/free/en/papers/2024/page/13/) / Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzles

# Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzles

**Authors:** Kulin Shah, [Nishanth Dikkala](https://md.research.elamur.ai/free/en/authors/nishanth-dikkala/), [Xin Wang](https://md.research.elamur.ai/free/en/authors/xin-wang/) and Rina Panigrahy · **Year:** 2024 · **Venue:** [arXiv:2409.10502](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/) ([NeurIPS 2024](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2024/)) · **Licence:** [CC BY-SA 4.0 (arXiv)](http://creativecommons.org/licenses/by-sa/4.0/)

**Links:** [Publisher's page](https://arxiv.org/abs/2409.10502) · [PDF](https://arxiv.org/pdf/2409.10502) · [DOI 10.48550/arxiv.2409.10502](https://doi.org/10.48550/arxiv.2409.10502) · [arXiv 2409.10502](https://arxiv.org/abs/2409.10502) · [OpenAlex](https://openalex.org/W4415797573)

**Citations:** 1 citations (OpenAlex, 2026-10-14) · [11](https://md.research.elamur.ai/free/en/papers/shah-2024-causal-language-modeling-elicit-search/cited-by/) in our library, of the 149,439 papers whose bibliographies we read

## Summary
The paper examines whether Transformers trained only with next-token prediction can learn real search and reasoning, using Sudoku and Zebra (Einstein) logic puzzles as controlled synthetic tasks. The authors build human-style solvers that never backtrack. The Sudoku solver uses 7 common strategies, and the Zebra solver adds clues until a puzzle becomes solvable. Each puzzle is posed as a sequence-to-sequence problem. Models are trained from scratch with the answer cells in one of three orders: fixed (left to right), random, or the order in which the solver fills them. The solver order works as Chain-of-Thought supervision.

Training on solver order is decisive. Fixed or random orders mostly fail, while solver-ordered training with beam search solves about 94% of Sudokus and 92% of Zebra puzzles. Linear probes show that the model's activations encode the set of candidate values for every empty cell. This matters for the debate on LLM reasoning: suitably decomposed training data, without full search traces, can give a capable implicit reasoning engine.

## Key points
- **Data:**
  - About 1.9M Sudoku puzzles taken from [Rad20], kept only if the 7-strategy solver can finish them.
  - About 320k symbolic Zebra puzzles, 20k for each size from (3,3) to (6,6), with 15k held out for evaluation.
- **Sudoku results:**
  - Fixed-order training gives 58.64% cell accuracy but only 7.2% fully solved puzzles.
  - Solver-order training reaches 87.18% fully solved.
  - Beam search raises this to 91.36% with width 3 and 94.21% with width 5.
- **Where the difficulty lies:** When the solver supplies the next cell position, cell accuracy rises to 99.02%. This shows that choosing which cell to fill is harder than computing its value.
- **Zebra results:**
  - Solver order gives 91.17% fully solved (95.63% cell accuracy), rising to 92.04% with beam width 5.
  - Fixed order gives 79.36%, and random order is close to 0%.
- **Baselines and probing:**
  - With 4-shot CoT prompting on 3000 Sudokus, GPT-4o and Gemini-1.5 Pro solved 0% of puzzles, with roughly 10% of cells correct.
  - Linear probing recovers per-cell candidate sets, even though candidates were never supervised.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

📚 Shelves (2): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 19,503 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 18,805 works

🧭 Topics (2): [🧠 Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/) · 4,145 works · [🧮 Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/) · 1,948 works

## Cite

Cite as: Kulin Shah, Nishanth Dikkala, Xin Wang and Rina Panigrahy. 2024. Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzles. arXiv:2409.10502.

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@misc{shah2024causal,
  title = {{Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzles}},
  author = {Kulin Shah, Nishanth Dikkala, Xin Wang and Rina Panigrahy},
  year = {2024},
  doi = {10.48550/arxiv.2409.10502},
  eprint = {2409.10502},
  archivePrefix = {arXiv},
  url = {https://doi.org/10.48550/arxiv.2409.10502}
}
```

- [← previous BioKGBench: A Knowledge Graph Checking Benchmark of AI Agent for Biomedical Science](https://md.research.elamur.ai/free/en/papers/lin-2024-biokgbench-knowledge-graph-checking-benchmark/)
- [next → Chatting with Bots: AI, Speech Acts, and the Edge of Assertion](https://md.research.elamur.ai/free/en/papers/williams-2024-chatting-bots-ai-speech-acts/)
- [↑ back to papers of 2024](https://md.research.elamur.ai/free/en/papers/2024/page/13/)

## References

56 references, 32 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al. [Gpt-4 technical report](https://md.research.elamur.ai/free/en/papers/openai-2023-gpt-4-technical-report/). arXiv preprint arXiv:2303.08774, 2023.
2. Michael Ahn, Anthony Brohan, Noah Brown, Yevgen Chebotar, Omar Cortes, Byron David, Chelsea Finn, Chuyuan Fu, Keerthana Gopalakrishnan, Karol Hausman, et al. [Do as i can, not as i say: Grounding language in robotic affordances](https://md.research.elamur.ai/free/en/papers/ahn-2022-i-i-say-grounding-language/). arXiv preprint arXiv:2204.01691, 2022.
3. Pranjal Awasthi and Anupam Gupta. [Improving length-generalization in transformers via task hinting](https://md.research.elamur.ai/free/en/papers/awasthi-2023-improving-length-generalization-transformers-task/). arXiv preprint arXiv:2310.00726, 2023.
4. Zeyuan Allen-Zhu and Yuanzhi Li. Physics of language models: Part 1, context-free grammar. arXiv preprint arXiv:2305.[13673, 2023](https://md.research.elamur.ai/free/en/papers/allen-zhu-2023-physics-language-models-part-1/).
5. Tom B. Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel M. Ziegler, Jeffrey Wu, Clemens Winter,… — [Language Models are Few-Shot Learners](https://md.research.elamur.ai/free/en/papers/brown-2020-language-models-few-shot-learners/)
6. Gregor Bachmann and Vaishnavh Nagarajan. [The pitfalls of next-token prediction](https://md.research.elamur.ai/free/en/papers/bachmann-2024-pitfalls-next-token-prediction/). arXiv preprint arXiv:2403.06963, 2024.
7. Irwan Bello, Hieu Pham, Quoc V Le, Mohammad Norouzi, and Samy Bengio. Neural combinatorial optimization with reinforcement learning. arXiv preprint arXiv:1611.09940, 2016. [find](https://scholar.google.com/scholar?q=Irwan+Bello%2C+Hieu+Pham%2C+Quoc+V+Le%2C+Mohammad+Norouzi%2C+and+Samy+Bengio%2E+Neural+combinatorial+optimization+with+reinforcement+learning%2E+arXiv+preprint+arXiv%3A1611%2E09940%2C+2016%2E)
8. Constantine Caramanis, Dimitris Fotakis, Alkis Kalavasis, Vasilis Kontonis, and Christos Tzamos. Optimizing solution-samplers for combinatorial problems: The landscape of policy-gradient method. In A. Oh, T. Naumann, A. Globerson, K. Saenko, M. Hardt, and S. Levine, editors, Advances in Neural Infor… [find](https://scholar.google.com/scholar?q=Constantine+Caramanis%2C+Dimitris+Fotakis%2C+Alkis+Kalavasis%2C+Vasilis+Kontonis%2C+and+Christos+Tzamos%2E+Optimizing+solution%2Dsamplers+for+combinatorial+problems%3A+The+landscape+of+policy%2Dgradient+method%2E+In+A%2E)
9. Wenhu Chen, Xueguang Ma, Xinyi Wang, and William W Cohen. Program of thoughts prompting: Disentangling computation from reasoning for numerical reasoning tasks. arXiv preprint arXiv:2211.12588, 2022. [find](https://scholar.google.com/scholar?q=Wenhu+Chen%2C+Xueguang+Ma%2C+Xinyi+Wang%2C+and+William+W+Cohen%2E+Program+of+thoughts+prompting%3A+Disentangling+computation+from+reasoning+for+numerical+reasoning+tasks%2E+arXiv+preprint+arXiv%3A2211%2E12588%2C+2022%2E)
10. Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al. [Evaluating large language models trained on code](https://md.research.elamur.ai/free/en/papers/chen-2021-evaluating-large-language-models-trained/). arXiv preprint arXiv:2107.03374, 2021.
11. Nouha Dziri, Ximing Lu, Melanie Sclar, Xiang Lorraine Li, Liwei Jiang, Bill Yuchen Lin, Sean Welleck, Peter West, Chandra Bhagavatula, Ronan Le Bras, et al. [Faith and fate: Limits of transformers on compositionality](https://md.research.elamur.ai/free/en/papers/dziri-2023-faith-fate-limits-transformers-compositionality/). Advances in Neural Information Processing Systems, 36, 2024.
12. Panagiotis Giadikiaroglou, Maria Lymperaiou, Giorgos Filandrianos, and Giorgos Stamou. [Puzzle solving using reasoning of large language models: A survey](https://md.research.elamur.ai/free/en/papers/giadikiaroglou-2024-puzzle-solving-reasoning-large-language/). arXiv preprint arXiv:2402.11291, 2024.
13. Shivam Garg, Dimitris Tsipras, Percy S Liang, and Gregory Valiant. [What can transformers learn in-context? a case study of simple function classes](https://md.research.elamur.ai/free/en/papers/garg-2022-transformers-learn-context-case-study/). Advances in Neural Information Processing Systems, 35:30583–30598, 2022.
14. Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt. [Measuring mathematical problem solving with the math dataset](https://md.research.elamur.ai/free/en/papers/hendrycks-2021-measuring-mathematical-problem-solving-math/). arXiv preprint arXiv:2103.03874, 2021.
15. Wenlong Huang, Fei Xia, Ted Xiao, Harris Chan, Jacky Liang, Pete Florence, Andy Zeng, Jonathan Tompson, Igor Mordatch, Yevgen Chebotar, et al. Inner monologue: Embodied reasoning through planning with language models. arXiv preprint arXiv:2207.05608, 2022. [find](https://scholar.google.com/scholar?q=Wenlong+Huang%2C+Fei+Xia%2C+Ted+Xiao%2C+Harris+Chan%2C+Jacky+Liang%2C+Pete+Florence%2C+Andy+Zeng%2C+Jonathan+Tompson%2C+Igor+Mordatch%2C+Yevgen+Chebotar%2C+et+al%2E+Inner+monologue%3A+Embodied+reasoning+through+planning+with)
16. Yibo Jiang, Goutham Rajendran, Pradeep Ravikumar, Bryon Aragam, and Victor Veitch. On the origins of linear representations in large language models. arXiv preprint arXiv:2403.03867, 2024. — [arXiv:2403.03867](https://arxiv.org/abs/2403.03867) [find](https://scholar.google.com/scholar?q=Yibo+Jiang%2C+Goutham+Rajendran%2C+Pradeep+Ravikumar%2C+Bryon+Aragam%2C+and+Victor+Veitch%2E+On+the+origins+of+linear+representations+in+large+language+models%2E+arXiv+preprint+arXiv%3A2403%2E03867%2C+2024%2E+%E2%80%94+%5BarXiv%3A24)
17. Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa. [Large language models are zero-shot reasoners](https://md.research.elamur.ai/free/en/papers/kojima-2022-large-language-models-zero-shot/). Advances in neural information processing systems, 35:22199–22213, 2022.
18. Aitor Lewkowycz, Anders Andreassen, David Dohan, Ethan Dyer, Henryk Michalewski, Vinay Ramasesh, Ambrose Slone, Cem Anil, Imanol Schlag, Theo Gutman-Solo, et al. [Solving quantitative reasoning problems with language models](https://md.research.elamur.ai/free/en/papers/lewkowycz-2022-solving-quantitative-reasoning-problems-language/). Advances in Neural Information Processing Systems, 35:3843–3857, 2022.
19. Bingbin Liu, Jordan T Ash, Surbhi Goel, Akshay Krishnamurthy, and Cyril Zhang. Transformers learn shortcuts to automata. arXiv preprint arXiv:2210.10749, 2022. [find](https://scholar.google.com/scholar?q=Bingbin+Liu%2C+Jordan+T+Ash%2C+Surbhi+Goel%2C+Akshay+Krishnamurthy%2C+and+Cyril+Zhang%2E+Transformers+learn+shortcuts+to+automata%2E+arXiv+preprint+arXiv%3A2210%2E10749%2C+2022%2E)
20. Ilya Loshchilov and Frank Hutter. Sgdr: Stochastic gradient descent with warm restarts. arXiv preprint arXiv:1608.03983, 2016. [find](https://scholar.google.com/scholar?q=Ilya+Loshchilov+and+Frank+Hutter%2E+Sgdr%3A+Stochastic+gradient+descent+with+warm+restarts%2E+arXiv+preprint+arXiv%3A1608%2E03983%2C+2016%2E)
21. Kenneth Li, Aspen K. Hopkins, David Bau, Fernanda B. Viégas, Hanspeter Pfister, and Martin Wattenberg. Emergent world representations: Exploring a sequence model trained on a synthetic task. In ICLR, 2023. [find](https://scholar.google.com/scholar?q=Kenneth+Li%2C+Aspen+K%2E+Hopkins%2C+David+Bau%2C+Fernanda+B%2E+Vi%C3%A9gas%2C+Hanspeter+Pfister%2C+and+Martin+Wattenberg%2E+Emergent+world+representations%3A+Exploring+a+sequence+model+trained+on+a+synthetic+task%2E+In+ICLR%2C+)
22. Jieyi Long. Large language model guided tree-of-thought. arXiv preprint arXiv:2305.08291, 2023. [find](https://scholar.google.com/scholar?q=Jieyi+Long%2E+Large+language+model+guided+tree%2Dof%2Dthought%2E+arXiv+preprint+arXiv%3A2305%2E08291%2C+2023%2E)
23. Nayoung Lee, Kartik Sreenivasan, Jason D Lee, Kangwook Lee, and Dimitris Papailiopoulos. [Teaching arithmetic to small transformers](https://md.research.elamur.ai/free/en/papers/lee-2023-teaching-arithmetic-small-transformers/). arXiv preprint arXiv:2307.03381, 2023.
24. Lucas Lehnert, Sainbayar Sukhbaatar, Paul Mcvay, Michael Rabbat, and Yuandong Tian. Beyond a*: Better planning with transformers via search dynamics bootstrapping. arXiv preprint arXiv:2402.14083, 2024. [find](https://scholar.google.com/scholar?q=Lucas+Lehnert%2C+Sainbayar+Sukhbaatar%2C+Paul+Mcvay%2C+Michael+Rabbat%2C+and+Yuandong+Tian%2E+Beyond+a%2A%3A+Better+planning+with+transformers+via+search+dynamics+bootstrapping%2E+arXiv+preprint+arXiv%3A2402%2E14083%2C+202)
25. Ida Momennejad, Hosein Hasanbeig, Felipe Vieira Frujeri, Hiteshi Sharma, Nebojsa Jojic, Hamid Palangi, Robert Ness, and Jonathan Larson. Evaluating cognitive maps and planning in large language models with cogeval. In Thirty-seventh Conference on Neural Information Processing Systems, 2023. [find](https://scholar.google.com/scholar?q=Ida+Momennejad%2C+Hosein+Hasanbeig%2C+Felipe+Vieira+Frujeri%2C+Hiteshi+Sharma%2C+Nebojsa+Jojic%2C+Hamid+Palangi%2C+Robert+Ness%2C+and+Jonathan+Larson%2E+Evaluating+cognitive+maps+and+planning+in+large+language+models)
26. Valeri Mladenov, P Karampelas, C Pavlatos, and E Zirintsis. Solving sudoku puzzles by using hopfield neural networks. Proc. of ICACM, 11:174–179, 2011. [find](https://scholar.google.com/scholar?q=Valeri+Mladenov%2C+P+Karampelas%2C+C+Pavlatos%2C+and+E+Zirintsis%2E+Solving+sudoku+puzzles+by+using+hopfield+neural+networks%2E+Proc%2E+of+ICACM%2C+11%3A174%E2%80%93179%2C+2011%2E)
27. Aleksei Maslakov and Basil Papadimas. Sudoku solver with step-by-step guidance. [https://github.com/unmade/dokusan](https://github.com/unmade/dokusan), 2023. [↗](https://github.com/unmade/dokusan)
28. Nina Mazyavkina, Sergey Sviridov, Sergei Ivanov, and Evgeny Burnaev. Reinforcement learning for combinatorial optimization: A survey. Computers & Operations Research, 134:105400, 2021. [find](https://scholar.google.com/scholar?q=Nina+Mazyavkina%2C+Sergey+Sviridov%2C+Sergei+Ivanov%2C+and+Evgeny+Burnaev%2E+Reinforcement+learning+for+combinatorial+optimization%3A+A+survey%2E+Computers+%26+Operations+Research%2C+134%3A105400%2C+2021%2E)
29. David Noever and Ryerson Burdick. Puzzle solving without search or human knowledge: An unnatural language approach. arXiv preprint arXiv:2109.02797, 2021. — [arXiv:2109.02797](https://arxiv.org/abs/2109.02797) [find](https://scholar.google.com/scholar?q=David+Noever+and+Ryerson+Burdick%2E+Puzzle+solving+without+search+or+human+knowledge%3A+An+unnatural+language+approach%2E+arXiv+preprint+arXiv%3A2109%2E02797%2C+2021%2E+%E2%80%94+%5BarXiv%3A2109%2E02797%5D%28https%3A%2F%2Farxiv%2Eorg%2Fabs%2F21)
30. Neel Nanda, Lawrence Chan, Tom Lieberum, Jess Smith, and Jacob Steinhardt. [Progress measures for grokking via mechanistic interpretability](https://md.research.elamur.ai/free/en/papers/nanda-2023-progress-measures-grokking-mechanistic-interpretability/). arXiv preprint arXiv:2301.05217, 2023.
31. Neel Nanda, Andrew Lee, and Martin Wattenberg. [Emergent linear representations in world models of self-supervised sequence models](https://md.research.elamur.ai/free/en/papers/nanda-2023-emergent-linear-representations-world-models/). arXiv preprint arXiv:2309.00941, 2023.
32. Kiho Park, Yo Joong Choe, and Victor Veitch. [The linear representation hypothesis and the geometry of large language models](https://md.research.elamur.ai/free/en/papers/park-2023-linear-representation-hypothesis-geometry-large/). arXiv preprint arXiv:2311.03658, 2023.
33. Rasmus Palm, Ulrich Paquet, and Ole Winther. Recurrent relational networks. Advances in neural information processing systems, 31, 2018. [find](https://scholar.google.com/scholar?q=Rasmus+Palm%2C+Ulrich+Paquet%2C+and+Ole+Winther%2E+Recurrent+relational+networks%2E+Advances+in+neural+information+processing+systems%2C+31%2C+2018%2E)
34. David G. Radcliffe. 3 million sudoku puzzles with ratings, 2020. [find](https://scholar.google.com/scholar?q=David+G%2E+Radcliffe%2E+3+million+sudoku+puzzles+with+ratings%2C+2020%2E)
35. Anian Ruoss, Grégoire Delétang, Sourabh Medapati, Jordi Grau-Moya, Li Kevin Wenliang, Elliot Catt, John Reid, and Tim Genewein. Grandmaster-level chess without search. arXiv preprint arXiv:2402.04494, 2024. [find](https://scholar.google.com/scholar?q=Anian+Ruoss%2C+Gr%C3%A9goire+Del%C3%A9tang%2C+Sourabh+Medapati%2C+Jordi+Grau%2DMoya%2C+Li+Kevin+Wenliang%2C+Elliot+Catt%2C+John+Reid%2C+and+Tim+Genewein%2E+Grandmaster%2Dlevel+chess+without+search%2E+arXiv+preprint+arXiv%3A2402%2E04494%2C)
36. Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, Ilya Sutskever, et al. Language models are unsupervised multitask learners. OpenAI blog, 1(8):9, 2019. [find](https://scholar.google.com/scholar?q=Alec+Radford%2C+Jeffrey+Wu%2C+Rewon+Child%2C+David+Luan%2C+Dario+Amodei%2C+Ilya+Sutskever%2C+et+al%2E+Language+models+are+unsupervised+multitask+learners%2E+OpenAI+blog%2C+1%288%29%3A9%2C+2019%2E)
37. Ishika Singh, Valts Blukis, Arsalan Mousavian, Ankit Goyal, Danfei Xu, Jonathan Tremblay, Dieter Fox, Jesse Thomason, and Animesh Garg. [Progprompt: Generating situated robot task plans using large language models](https://md.research.elamur.ai/free/en/papers/singh-2022-progprompt-generating-situated-robot-task/). In 2023 IEEE International Conference on Robotics and Automation (ICRA), pages 11523–1…
38. Chan Hee Song, Jiaman Wu, Clayton Washington, Brian M Sadler, Wei-Lun Chao, and Yu Su. [Llm-planner: Few-shot grounded planning for embodied agents with large language models](https://md.research.elamur.ai/free/en/papers/song-2022-llm-planner-few-shot-grounded/). In Proceedings of the IEEE/CVF International Conference on Computer Vision, pages 2998–3009, 2023.
39. Gemini Team, Rohan Anil, Sebastian Borgeaud, Yonghui Wu, Jean-Baptiste Alayrac, Jiahui Yu, Radu Soricut, Johan Schalkwyk, Andrew M Dai, Anja Hauth, et al. [Gemini: a family of highly capable multimodal models](https://md.research.elamur.ai/free/en/papers/gemini-team-2023-gemini-family-highly-capable-multimodal/). arXiv preprint arXiv:2312.11805, 2023.
40. Karthik Valmeekam, Alberto Olmo, Sarath Sreedharan, and Subbarao Kambhampati. Large language models still can’t plan (a benchmark for llms on planning and reasoning about change). arXiv preprint arXiv:2206.[10498, 2022](https://md.research.elamur.ai/free/en/papers/valmeekam-2022-planbench-extensible-benchmark-evaluating-large/).
41. Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin. [Attention is all you need](https://md.research.elamur.ai/free/en/papers/vaswani-2017-attention-all-need/). In NIPS, 2017.
42. Yonghui Wu, Mike Schuster, Zhifeng Chen, Quoc V Le, Mohammad Norouzi, Wolfgang Macherey, Maxim Krikun, Yuan Cao, Qin Gao, Klaus Macherey, et al. Google’s neural machine translation system: Bridging the gap between human and machine translation. arXiv preprint arXiv:1609.08144, 2016. [find](https://scholar.google.com/scholar?q=Yonghui+Wu%2C+Mike+Schuster%2C+Zhifeng+Chen%2C+Quoc+V+Le%2C+Mohammad+Norouzi%2C+Wolfgang+Macherey%2C+Maxim+Krikun%2C+Yuan+Cao%2C+Qin+Gao%2C+Klaus+Macherey%2C+et+al%2E+Google%E2%80%99s+neural+machine+translation+system%3A+Bridging+th)
43. Xuezhi Wang, Jason Wei, Dale Schuurmans, Quoc Le, Ed Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou. [Self-consistency improves chain of thought reasoning in language models](https://md.research.elamur.ai/free/en/papers/wang-2022-self-consistency-improves-chain-thought/). arXiv preprint arXiv:2203.11171, 2022.
44. Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, et al. [Chain-of-thought prompting elicits reasoning in large language models](https://md.research.elamur.ai/free/en/papers/wei-2022-chain-thought-prompting-elicits-reasoning/). Advances in neural information processing systems, 35:24824–24837, 2022.
45. Yuxi Xie, Kenji Kawaguchi, Yiran Zhao, James Xu Zhao, Min-Yen Kan, Junxian He, and Michael Xie. [Self-evaluation guided beam search for reasoning](https://md.research.elamur.ai/free/en/papers/xie-2023-self-evaluation-guided-beam-search/). Advances in Neural Information Processing Systems, 36, 2024.
46. Jian Xie, Kai Zhang, Jiangjie Chen, Tinghui Zhu, Renze Lou, Yuandong Tian, Yanghua Xiao, and Yu Su. [Travelplanner: A benchmark for real-world planning with language agents](https://md.research.elamur.ai/free/en/papers/xie-2024-travelplanner-benchmark-real-world-planning/). arXiv preprint arXiv:2402.01622, 2024.
47. Zhun Yang, Adam Ishay, and Joohyung Lee. Learning to solve constraint satisfaction problems with recurrent transformer. In The Eleventh International Conference on Learning Representations, 2023. [find](https://scholar.google.com/scholar?q=Zhun+Yang%2C+Adam+Ishay%2C+and+Joohyung+Lee%2E+Learning+to+solve+constraint+satisfaction+problems+with+recurrent+transformer%2E+In+The+Eleventh+International+Conference+on+Learning+Representations%2C+2023%2E)
48. Takayuki Yato and Takahiro Seta. Complexity and completeness of finding another solution and its application to puzzles. IEICE transactions on fundamentals of electronics, communications and computer sciences, 86(5):1052–1060, 2003. [find](https://scholar.google.com/scholar?q=Takayuki+Yato+and+Takahiro+Seta%2E+Complexity+and+completeness+of+finding+another+solution+and+its+application+to+puzzles%2E+IEICE+transactions+on+fundamentals+of+electronics%2C+communications+and+computer+)
49. Tian Ye, Zicheng Xu, Yuanzhi Li, and Zeyuan Allen-Zhu. [Physics of language models: Part 2.1, grade-school math and the hidden reasoning process](https://md.research.elamur.ai/free/en/papers/ye-2024-physics-language-models-part-2/). arXiv preprint arXiv:2407.20311, 2024.
50. Tian Ye, Zicheng Xu, Yuanzhi Li, and Zeyuan Allen-Zhu. [Physics of language models: Part 2.2, how to learn from mistakes on grade-school math problems](https://md.research.elamur.ai/free/en/papers/ye-2024-physics-language-models-part-2-2/), 2024.
51. Shunyu Yao, Dian Yu, Jeffrey Zhao, Izhak Shafran, Tom Griffiths, Yuan Cao, and Karthik Narasimhan. Tree of thoughts: Deliberate problem solving with large language models. Advances in Neural Information Processing Systems, 36, 2024. [find](https://scholar.google.com/scholar?q=Shunyu+Yao%2C+Dian+Yu%2C+Jeffrey+Zhao%2C+Izhak+Shafran%2C+Tom+Griffiths%2C+Yuan+Cao%2C+and+Karthik+Narasimhan%2E+Tree+of+thoughts%3A+Deliberate+problem+solving+with+large+language+models%2E+Advances+in+Neural+Informati)
52. Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik Narasimhan, and Yuan Cao. [React: Synergizing reasoning and acting in language models](https://md.research.elamur.ai/free/en/papers/yao-2022-react-synergizing-reasoning-acting-language/). arXiv preprint arXiv:2210.03629, 2022.
53. Shun Zhang, Zhenfang Chen, Yikang Shen, Mingyu Ding, Joshua B Tenenbaum, and Chuang Gan. [Planning with large language models for code generation](https://md.research.elamur.ai/free/en/papers/zhang-2023-planning-large-language-models-code/). arXiv preprint arXiv:2303.05510, 2023.
54. Richard Zhu. Solving sudoku puzzles with recurrent neural networks. [find](https://scholar.google.com/scholar?q=Richard+Zhu%2E+Solving+sudoku+puzzles+with+recurrent+neural+networks%2E)
55. Zirui Zhao, Wee Sun Lee, and David Hsu. [Large language models as commonsense knowledge for large-scale task planning](https://md.research.elamur.ai/free/en/papers/zhao-2023-large-language-models-commonsense-knowledge/). Advances in Neural Information Processing Systems, 36, 2024.
56. Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Claire Cui, Olivier Bousquet, Quoc Le, et al. [Least-to-most prompting enables complex reasoning in large language models](https://md.research.elamur.ai/free/en/papers/al-2022-least-most-prompting-enables-complex/). arXiv preprint arXiv:2205.10625, 2022.

*Updated 3 November 2026*
