135 citations · 210 across the 16 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…
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…
I-DLV-sr: A Stream Reasoning System based on I-DLV
Francesco Calimeri, Marco Manna, Elena Mastria +3
We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV s…
How can we learn (more) from challenges? A statistical approach to driving future algorithm development
Tobias Roß, Pierangela Bruno, Annika Reinke +12
Challenges have become the state-of-the-art approach to benchmark image analysis algorithms in a comparative manner. While the validation on identical data sets was a great step fo…