Paper '(How) Do reasoning models reason?' to appear in Annals of the New York Academy of Sciences, 2025.
Paper 'A Systematic Evaluation of the Planning and Scheduling Abilities of the Reasoning Model o1' to appear in TMLR, 2025.
Paper 'On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks' accepted to ICLR 2025.
Paper 'Chain of thoughtlessness? An Analysis of CoT in Planning' accepted as a poster at NeurIPS 2024.
Paper 'LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks' accepted as a Spotlight Position Paper at ICML 2024.
Preprint on OpenAI's o1 model evaluation on PlanBench released on arXiv in May 2024.
Education
2021–Present: Ph.D. in Computer Science at Arizona State University, GPA 4.0/4.0, advised by Prof. Subbarao Kambhampati.
2019–2021: M.S. in Computer Science at Arizona State University, GPA 4.0/4.0, advised by Prof. Subbarao Kambhampati; thesis titled 'A Study of Explainable Decision Support for Longitudinal Sequential Decision Making'.
2015–2019: B.Tech. in Computer Science and Engineering at Vellore Institute of Technology, GPA 9.19/10.0; research aide under Prof. Anuradha J.