BLAST: Benchmarking LLMs with ASP-based Structured Testing

Documenti analoghi

• LLASP: Fine-tuning Large Language Models for Answer Set Programming
  di: Coppolillo, Erica, et al.
  Pubblicazione: (2024)
• 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
  di: Cuteri, Andrea, et al.
  Pubblicazione: (2026)
• Question Answering with LLMs and Learning from Answer Sets
  di: Borroto, Manuel, et al.
  Pubblicazione: (2025)
• Direct Encoding of Declare Constraints in ASP
  di: Chiariello, Francesco, et al.
  Pubblicazione: (2024)
• ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
  di: Calimeri, Francesco, et al.
  Pubblicazione: (2024)