1 paper · 1 filter
Carlo Bosio, Matteo Guarrera, Alberto Sangiovanni-Vincentelli +1
Large Language models (LLMs) have shown promise as generators of symbolic control policies, producing interpretable program-like representations through iterative search. However,…