1 citations · 1 across the 6 of their papers we have counts for
6 papers
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…
GenPlanX. Generation of Plans and Execution
Daniel Borrajo, Giuseppe Canonaco, Tomás de la Rosa +10
Classical AI Planning techniques generate sequences of actions for complex tasks. However, they lack the ability to understand planning tasks when provided using natural language.…
Hypercone Assisted Contour Generation for Out-of-Distribution Detection
Annita Vapsi, Andrés Muñoz, Nancy Thomas +2
Recent advances in the field of out-of-distribution (OOD) detection have placed great emphasis on learning better representations suited to this task. While there are distance-base…
Methods for Matching English Language Addresses
Keshav Ramani, Daniel Borrajo
Addresses occupy a niche location within the landscape of textual data, due to the positional importance carried by every word, and the geographical scope it refers to. The task of…
Classification of Tabular Data by Text Processing
Keshav Ramani, Daniel Borrajo
Natural Language Processing technology has advanced vastly in the past decade. Text processing has been successfully applied to a wide variety of domains. In this paper, we propose…