판 이력 — Trie Automata for Constrained Decoding over Large Finite Sets | AIChainDay