3 ms·LLMs versus the Halting Problem: Revisiting Program Termination Prediction1 points by matt_d 9mo ago