3 papers
cs.LO2026
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…
cs.LO2025
Proceedings 41st International Conference on Logic Programming
Martin Gebser, Daniela Inclezan, Francesco Ricca +2
Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic…
cs.LG2024
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…