2 papers
cs.PL2026
Transformers for Program Termination
Yoav Alon, Cristina David
Determining whether a program terminates is a core challenge in program analysis with direct implications for correctness, verification, and security. We investigate whether transf…
cs.LG2024
Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
Yoav Alon, Cristina David
Large Language Models (LLMs) were shown to struggle with long-term planning, which may be caused by the limited way in which they explore the space of possible solutions. We propos…