One paper accepted at OOPSLA 2026.

Our paper on T-REX: Teaching Large Language Models to Reason with Verbalized Execution Rationales, is accepted for publication at the OOPSLA issue of the Proceedings of the ACM on Programming Languages - PACMPL (OOPSLA).