Ctrl-G: 正規表現にマッチするように LLMの出力を誘導する
(K) キーワードの集合を与えてそれを含むように回答する
(L) 指定された範囲の長さで回答する
論文「Ctrl-G」について(2)
Adaptable Logical Control for Large Language Models https://arxiv.org/abs/2406.13892
15
論文「Ctrl-G」について(4) 17
Adaptable Logical Control for Large Language Models https://arxiv.org/abs/2406.13892
LLMをHMMで近似 & 正規表現を DFAで表現
→ Forwardアルゴリズムを活用して右辺を計算する