Attention, Compilation, and Solver-based Symbolic Analysis are All You Need. - Prithwish Jana; Piyush Jha; Haoyang Ju; Gautham Kishore; Aryan Mahajan; Vijay Ganesh 001 (CoRR, 2023)

CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution. - Prithwish Jana; Piyush Jha; Haoyang Ju; Gautham Kishore; Aryan Mahajan; Vijay Ganesh 001 (ECAI, 2024)

Do Vision-Language Models Have Internal World Models? Towards an Atomic Evaluation. - Qiyue Gao; Xinyu Pi; Kevin Liu; Junrong Chen; Ruolan Yang; Xinqi Huang; Xinyu Fang; Lu Sun; Gautham Kishore; Bo Ai 008; Stone Tao; Mengyang Liu; et al. (ACL (Findings), 2025)