A year after was released, I have seen more and more papers program and reasoning together. The recent awesome blog from also hypothesizes the potential use of ChatGPT on program execution data. Exciting!