5 papers
LLM Agents for Automated Dependency Upgrades
Vali Tawosi, Salwa Alamir, Xiaomo Liu +1
As a codebase expands over time, its library dependencies can become outdated and require updates to maintain innovation and security. However, updating a library can introduce bre…
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
Keshav Ramani, Vali Tawosi, Salwa Alamir +1
We introduce a novel framework for evaluating the alignment between natural language plans and their expected behavior by converting them into Kripke structures and Linear Temporal…
ALMAS: an Autonomous LLM-based Multi-Agent Software Engineering Framework
Vali Tawosi, Keshav Ramani, Salwa Alamir +1
Multi-agent Large Language Model (LLM) systems have been leading the way in applied LLM research across a number of fields. One notable area is software development, where research…
Meta-RAG on Large Codebases Using Code Summarization
Vali Tawosi, Salwa Alamir, Xiaomo Liu +1
Large Language Model (LLM) systems have been at the forefront of applied Artificial Intelligence (AI) research in a multitude of domains. One such domain is software development, w…
CodeMirage: Hallucinations in Code Generated by Large Language Models
Vibhor Agarwal, Yulong Pei, Salwa Alamir +1
Large Language Models (LLMs) have shown promising potentials in program generation and no-code automation. However, LLMs are prone to generate hallucinations, i.e., they generate t…