works on
answer set programming 1large language models 1neurosymbolic learning 1theory distillation 1visual question answering 1

From the 1 of 6 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Distilling Answer Set Programming Theories from Large Language Models

Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-Condrei

The paper investigates whether large language models can automatically generate correct Answer Set Programming theories for visual question answering tasks within a one‑hour time l…