A systematic survey on large language models for algorithm design

F Liu, Y Yao, P Guo, Z Yang, Z Zhao, X Lin… - arxiv preprint arxiv …, 2024 - arxiv.org
Algorithm Design (AD) is crucial for effective problem-solving across various domains. The
advent of Large Language Models (LLMs) has notably enhanced the automation and …

Monte Carlo Tree Search for Comprehensive Exploration in LLM-Based Automatic Heuristic Design

Z Zheng, Z **e, Z Wang, B Hooi - arxiv preprint arxiv:2501.08603, 2025 - arxiv.org
Handcrafting heuristics for solving complex planning tasks (eg, NP-hard combinatorial
optimization (CO) problems) is a common practice but requires extensive domain …

Text2World: Benchmarking Large Language Models for Symbolic World Model Generation

M Hu, T Chen, Y Zou, Y Lei, Q Chen, M Li… - arxiv preprint arxiv …, 2025 - arxiv.org
Recently, there has been growing interest in leveraging large language models (LLMs) to
generate symbolic world models from textual descriptions. Although LLMs have been …

Your Language Model May Think Too Rigidly: Achieving Reasoning Consistency with Symmetry-Enhanced Training

Y Yao, Z Cen, M Li, W Han, Y Zhang, E Liu… - arxiv preprint arxiv …, 2025 - arxiv.org
Large Language Models (LLMs) have demonstrated strong reasoning capabilities across
various tasks. However, even minor variations in query phrasing, despite preserving the …

From System 1 to System 2: A Survey of Reasoning Large Language Models

ZZ Li, D Zhang, ML Zhang, J Zhang, Z Liu… - arxiv preprint arxiv …, 2025 - arxiv.org
Achieving human-level intelligence requires refining the transition from the fast, intuitive
System 1 to the slower, more deliberate System 2 reasoning. While System 1 excels in …

Generating Symbolic World Models via Test-time Scaling of Large Language Models

Z Yu, Y Yuan, TZ **ao, FF **a, J Fu, G Zhang… - arxiv preprint arxiv …, 2025 - arxiv.org
Solving complex planning problems requires Large Language Models (LLMs) to explicitly
model the state transition to avoid rule violations, comply with constraints, and ensure …