Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Question Answering with LLMs and Learning from Answer Sets
Manuel Borroto, Katie Gallagher, Antonio Ielo +3
Large Language Models (LLMs) excel at understanding natural language but struggle with explicit commonsense reasoning. A recent trend of research suggests that the combination of L…
cs.AI2024
Enumerating Minimal Unsatisfiable Cores of LTLf formulas
Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza +1
Linear Temporal Logic over finite traces () is a widely used formalism with applications in AI, process mining, model checking, and more. The primary reasoning task f…