Specification-Guided Generation for Large Language Models
A neuro-symbolic, specification-guided decoding framework that combines LLM generation with symbolic reasoning, and presents a forward-only variant that guarantees specification satisfaction by construction, and a backtracking variant that revises earlier feasible choices when their downstream consequences leave only v...
A. Previti, Konstantinos Vandikas, Mario Alviano et al.
· 0 citations