From the 1 of 5 linked papers with an AI index.
5 papers
Git-Assistant: Planning-Based Support for Updating Git Repositories
Alfredo Garrachón Ruiz, Tomás de la Rosa, Daniel Borrajo
The paper presents Git-Assistant, an AI tool that uses large language models together with automated planning to translate natural language requests into safe, correct sequences of…
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…
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…
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…
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…