@misc{indiciae4fd663f96dd8, title = {Distilling Answer Set Programming Theories from Large Language Models}, author = {Nelson Higuera Ruiz and Markus Hofmarcher and Claudiu Leoveanu-Condrei}, year = {2026}, url = {https://arxiv.org/abs/2607.28086}, note = {Source identifier: 2607.28086} }