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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Presents sound abstract interpretation plus controlled unsoundness techniques to produce tighter, efficient, terminating approximations of fixed points for non-monotone processes.
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.
-
Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
Presents sound abstract interpretation plus controlled unsoundness techniques to produce tighter, efficient, terminating approximations of fixed points for non-monotone processes.