Transformers for Program Termination
arXiv:2604.00039v1 Announce Type: cross
Abstract: Determining whether a program terminates is a core challenge in program analysis with direct implications for correctness, verification, and security. We investigate whether transformer architectures c…