1.2k citations · 1.2k across the 15 of their papers we have counts for
18 papers
BLAST: Benchmarking LLMs with ASP-based Structured Testing
Manuel Alejandro Borroto Santana, Erica Coppolillo, Francesco Calimeri +3
Large Language Models (LLMs) have demonstrated remarkable performance across a broad spectrum of tasks, including natural language understanding, dialogue systems, and code generat…
Looking Beyond Accuracy: A Holistic Benchmark of ECG Foundation Models
Francesca Filice, Edoardo De Rose, Simone Bartucci +2
The electrocardiogram (ECG) is a cost-effective, highly accessible and widely employed diagnostic tool. With the advent of Foundation Models (FMs), the field of AI-assisted ECG int…
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza +2
DLV2 is an AI tool for Knowledge Representation and Reasoning which supports Answer Set Programming (ASP) - a logic-based declarative formalism, successfully used in both academic…
LLASP: Fine-tuning Large Language Models for Answer Set Programming
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco +2
Recently, Large Language Models (LLMs) have showcased their potential in various natural language processing tasks, including code generation. However, while significant progress h…
Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming
Pierangela Bruno, Francesco Calimeri, Cinzia Marte +1
Although the availability of a large amount of data is usually given for granted, there are relevant scenarios where this is not the case; for instance, in the biomedical/healthcar…
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Nicola Leone, Marco Manna, Maria Concetta Morelli +1
The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for An…