SEM-CTRL integrates token-level MCTS with Answer Set Grammars to enforce rich context-sensitive syntactic and semantic constraints on off-the-shelf LLM decoders, enabling guaranteed valid completions.
This parallels work in semantic parsing, though prior methods typically use CFG with ad-hoc constraints (e.g., Scholak et al., 2021; Poesia et al., 2022; Roy et al., 2023)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
$\texttt{SEM-CTRL}$: Semantically Controlled Decoding
SEM-CTRL integrates token-level MCTS with Answer Set Grammars to enforce rich context-sensitive syntactic and semantic constraints on off-the-shelf LLM decoders, enabling guaranteed valid completions.