@article{blastbenchmarkingllmswithaspbasedstructu,
  title = {BLAST: Benchmarking LLMs with ASP-based Structured Testing},
  author = {Manuel Alejandro Borroto Santana and Erica Coppolillo and Francesco Calimeri and Giuseppe Manco and Simona Perri and Francesco Ricca},
  year = {2026},
  eprint = {2604.22306},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.22306},
}