Shashank Kirtania

Bio

Hi! I am a Pre-Doctoral Researcher at the Microsoft PROSE in Bengaluru, working on AI for Code, Automated Reasoning and Reliable Code Generation. 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.

Selected
All

Activation Steering in Theorem Prover LLMs

Shashank Kirtania

FM in Wild Workshop ICLR'25

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

Under review

Paper

MetaReflection: Learning Instructions for Language Agents using Past Reflections

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

EMNLP'24 Main

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

FM in Wild Workshop ICLR'25

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

Under review

Paper

MetaReflection: Learning Instructions for Language Agents using Past Reflections

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

EMNLP'24 Main

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

Shashank Kirtania

Bio

Publications

CV