TY - RPRT TI - Distilling Answer Set Programming Theories from Large Language Models AU - Nelson Higuera Ruiz AU - Markus Hofmarcher AU - Claudiu Leoveanu-Condrei PY - 2026 UR - https://arxiv.org/abs/2607.28086 ID - 2607.28086 ER -