Ya-Nan Zheng

T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics

Large language models (LLMs) have shown strong performance in static code tasks like code search, summarization, and generation, but remain limited in dynamic code reasoning, which involves inferring how programs behave during execution without actually running them. This limitation stems from LLMs being trained on sta...