2 papers
cs.LG2025
Delta Activations: A Representation for Finetuned Large Language Models
Zhiqiu Xu, Amish Sethi, Mayur Naik +1
The success of powerful open source Large Language Models (LLMs) has enabled the community to create a vast collection of post-trained models adapted to specific tasks and domains.…
cs.SE2024
Program Structure Aware Precondition Generation
Elizabeth Dinella, Shuvendu Lahiri, Mayur Naik
We introduce a novel approach for inferring natural preconditions from code. Our technique produces preconditions of high quality in terms of both correctness (modulo a test genera…