3 papers
cs.CL2025
Towards Autoformalization of LLM-generated Outputs for Requirement Verification
Mihir Gupte, Ramesh S
Autoformalization, the process of translating informal statements into formal logic, has gained renewed interest with the emergence of powerful Large Language Models (LLMs). While…
cs.CL2025
Is Implicit Knowledge Enough for LLMs? A RAG Approach for Tree-based Structures
Mihir Gupte, Paolo Giusto, Ramesh S
Large Language Models (LLMs) are adept at generating responses based on information within their context. While this ability is useful for interacting with structured data like cod…
cs.CV2024
Efficient Pruning of Text-to-Image Models: Insights from Pruning Stable Diffusion
Samarth N Ramesh, Zhixue Zhao
As text-to-image models grow increasingly powerful and complex, their burgeoning size presents a significant obstacle to widespread adoption, especially on resource-constrained dev…