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

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

collaborators

9 papers

cs.CL2026

Breaking Homogeneity: Diversifying Persona Sets for Creative LLM Outputs

Sang Bin Moon, Nicole Cho, Daniel Borrajo +2

Language models often produce homogeneous responses to open-ended tasks; such homogeneity can spawn groupthink-the convergence of ideas toward a singular and potentially suboptimal…

cs.SE2026

Git-Assistant: Planning-Based Support for Updating Git Repositories

Alfredo Garrachón Ruiz, Tomás de la Rosa, Daniel Borrajo

Version control systems are essential for collaborative software development, yet tools like git remain challenging for many practitioners. Recent advances in Large Language Models…

cs.AI2025★ 1 cited

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…

cs.CL2025

On the Temporal Question-Answering Capabilities of Large Language Models Over Anonymized Data

Alfredo Garrachón Ruiz, Tomás de la Rosa, Daniel Borrajo

The applicability of Large Language Models (LLMs) in temporal reasoning tasks over data that is not present during training is still a field that remains to be explored. In this pa…

cs.CV2025

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…

cs.CL2024

TRIM: Token Reduction and Inference Modeling for Cost-Effective Language Generation

Alfredo Garrachón Ruiz, Tomás de la Rosa, Daniel Borrajo

The high inference cost of Large Language Models (LLMs) poses challenges, especially for tasks requiring lengthy outputs. However, natural language often contains redundancy, which…

q-fin.ST2024★ 1 cited

Predicting Customer Goals in Financial Institution Services: A Data-Driven LSTM Approach

Andrew Estornell, Stylianos Loukas Vasileiou, William Yeoh +2

In today's competitive financial landscape, understanding and anticipating customer goals is crucial for institutions to deliver a personalized and optimized user experience. This…

cs.CV2024

Computer User Interface Understanding. A New Dataset and a Learning Framework

Andrés Muñoz, Daniel Borrajo

User Interface (UI) understanding has been an increasingly popular topic over the last few years. So far, there has been a vast focus solely on web and mobile applications. In this…

cs.AI2023

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…