Shashank Kirtania

Research Fellow, Microsoft Research India

shashankkirtania123 [AT] gmail.com

Bio

Hi! I am a Research Fellow (Pre-Doctoral) at program synthesis group (PROSE) at PROSE in Bengaluru, working on AI for Code and AI for Math. I have been priveleged to work with Gustavo Soares, Arjun Radhakrishna, Sumit Gulwani and Arun Iyer.
Previously, I worked as a Research Engineer Intern at a non-profit startup, Wadhwani AI, where I focused on developing speech understanding solutions for Indic languages. Which led to standarized evaluations of elemantry student's language skills (more info)
During my undergraduate, I worked with Thomas Wiecki on PyMC which is a probabilistic programming package in python as a google summer of code contributor.

Publications

Most recent publications on Google Scholar.
‡ indicates equal contribution.

Activation Steering in Theorem Prover LLMs

Shashank Kirtania, Arun Iyer

FM in Wild Workshop ICLR'25, Under Submission at ICLR 2026

Paper

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback

Shashank Kirtania‡, Naman Gupta‡, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares

Empirical Methods in Natural Language Processing 2025, DL for Code Workshop NeurIPS 2025

Paper

Improving Language Agents with BREW:

Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares

Multi-Turn Interaction Workshop at NeurIPS 2025, Under Submission at ICLR 2026

Paper

MetaReflection: Learning Instructions for Language Agents using Past Reflections

Shashank Kirtania‡, Priyanshu Gupta‡, Annanya Singha‡, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares

Empirical Methods in Natural Language Processing 2024

Paper

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

Shashank Kirtania, Priyanshu Gupta, Arjun Radhakrishna

Workshop on Natural Language Reasoning at ACL 2024

Paper

Activation Steering in Theorem Prover LLMs

Shashank Kirtania, Arun Iyer

FM in Wild Workshop ICLR'25, Under Submission at ICLR 2026

Paper

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback

Shashank Kirtania‡, Naman Gupta‡, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares

Empirical Methods in Natural Language Processing 2025, DL for Code Workshop NeurIPS 2025

Paper

Improving Language Agents with BREW:

Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares

Multi-Turn Interaction Workshop at NeurIPS 2025, Under Submission at ICLR 2026

Paper

MetaReflection: Learning Instructions for Language Agents using Past Reflections

Shashank Kirtania‡, Priyanshu Gupta‡, Annanya Singha‡, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares

Empirical Methods in Natural Language Processing 2024

Paper

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

Shashank Kirtania, Priyanshu Gupta, Arjun Radhakrishna

Workshop on Natural Language Reasoning at ACL 2024

Paper

DWT-CompCNN: Deep Image Classification Network for High Throughput JPEG 2000 Compressed Documents

Tejasvee Bisen, Mohammed Javed, Shashank Kirtania, P Nagabhushan

Pattern Analysis and Applications, Springer, 2023.

Paper

CV

Full Resume in PDF.

This website is based on a template by Martin Saveski.