Co-occurring keywords
Papers
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
AAAI 2026
Failure Localization in Multi-Agent Code Generation via Knowledge-Guided and Transferable Reasoning
AAAI 2026