TY  - RPRT
TI  - LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
AU  - Oren Sultan
AU  - Jordi Armengol-Estape
AU  - Pascal Kesseli
AU  - Julien Vanegue
AU  - Dafna Shahaf
AU  - Yossi Adi
AU  - Peter O'Hearn
PY  - 2026
UR  - https://arxiv.org/abs/2601.18987
ID  - 2601.18987
ER  -