Reasoning Runtime Behavior of a Program with LLM: How Far Are We? Paper • 2403.16437 • Published Mar 25 • 1