1
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
用停机问题检验LLM的极限：这篇论文通过理论分析和实验对比，揭示了大语言模型在程序终止性推理上的能力与局限
arXiv:2601.18987v5 Announce Type: replace-cross Abstract: Determining whether a program terminates is a central problem in computer science. Turing's …