activity
20232025
most citedBridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025

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…