LLMs versus the Halting Problem: Characterizing Program Termination Reasoning 文章

ArXiv CS.CL2026-05-27NEWSen作者: Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter O'Hearn
大语言模型
查看原文 →
关系图谱

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning · 相关技术

相关技术

NATLLMPLA研究法辛烷值rsaevaldivide-and-conquer partitioningVerseToolsSULReferring expression comprehension (REC)PPRPETOnline surgical phase recognitionNPULMMISPForANNGPTClaude