Showing cs.CLShow all
2 papers · 1 filter
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…