Shashank Kirtania

According to our database, Shashank Kirtania authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch.

Param Biyani, Shashank Kirtania, Yasharth Bajpai, Sumit Gulwani, Ashish Tiwari

CoRR, December, 2025

Improving Language Agents through BREW.

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

CoRR, November, 2025

STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback.

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

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

2024

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack.

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

CoRR, 2024

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

Shashank Kirtania, Priyanshu Gupta, Arjun Radhakirshna

CoRR, 2024

MetaReflection: Learning Instructions for Language Agents using Past Reflections.

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

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

2023

DWT-CompCNN: deep image classification network for high throughput JPEG 2000 compressed documents.

Tejasvee Bisen, Mohammed Javed, Shashank Kirtania, P. Nagabhushan

Pattern Anal. Appl., November, 2023