TY - RPRT TI - BLAST: Benchmarking LLMs with ASP-based Structured Testing AU - Manuel Alejandro Borroto Santana AU - Erica Coppolillo AU - Francesco Calimeri AU - Giuseppe Manco AU - Simona Perri AU - Francesco Ricca PY - 2026 UR - https://arxiv.org/abs/2604.22306 ID - 2604.22306 ER -