5 citations · 8 across the 8 of their papers we have counts for
9 papers
Dude, Where's My State? Execution Information Requirements for Stateful Agents
Nikita Mehrotra, Ashish Tiwari, Priyanshu Gupta +1
Long-running agents must preserve information that later steps depend on. We introduce the Execution Information Requirement (EIR), a lower bound on the information that must remai…
Coding Agents are Strong Prompt Optimizers
Agamdeep Singh, Srishti Gautam, Priyanshu Gupta +3
Search-based prompt optimizers improve prompts through iterative search: they propose edits, execute fresh rollouts, score the resulting trajectories, and retain only edits that im…
Reason Wide, Not Deep: Amortizing the Reasoning Premium into Distilled Skills
Agamdeep Singh, Srishti Gautam, Priyanshu Gupta +3
Reasoning modes of language models outperform their non-reasoning counterparts on multi-step agentic tasks, but pay a 3-6x premium in output tokens on every episode -- much of it s…
TEN: Table Explicitization, Neurosymbolically
Nikita Mehrotra, Aayush Kumar, Sumit Gulwani +2
We present a neurosymbolic approach, TEN, for extracting tabular data from semistructured input text. This task is particularly challenging for text input that does not use special…
Streamlining Security Vulnerability Triage with Large Language Models
Mohammad Jalili Torkamani, Joey NG, Nikita Mehrotra +3
Bug triaging for security vulnerabilities is a critical part of software maintenance, ensuring that the most pressing vulnerabilities are addressed promptly to safeguard system int…
ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra +1
Production assertions are statements embedded in the code to help developers validate their assumptions about the code. They assist developers in debugging, provide valuable docume…
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra +1
The Rust programming language, with its safety guarantees, has established itself as a viable choice for low-level systems programming language over the traditional, unsafe alterna…
Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks
Nikita Mehrotra, Navdha Agarwal, Piyush Gupta +3
Code clones are duplicate code fragments that share (nearly) similar syntax or semantics. Code clone detection plays an important role in software maintenance, code refactoring, an…
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable
Piyush Gupta, Nikita Mehrotra, Rahul Purandare
Static program analysis tools are often required to work with only a small part of a program's source code, either due to the unavailability of the entire program or the lack of ne…