Jul 2026
Distilling Answer Set Programming Theories from Large Language Models
This work takes a neurosymbolic approach to study whether a model can distill complete and correct theories, given a fixed agent harness with the solver in the loop, and releases the code, prompts, and theories distilled.
N. Ruiz, M. Hofmarcher, Claudiu Leoveanu-Condrei
· arXiv.org · 0 citations