paper_type.json (262B)
1 { 2 "paper_type": "theoretical", 3 "reason": "The primary contribution is the formal algorithmic reformulation of guided generation as FSM transitions with O(N) to O(1) indexing, with empirical validation being secondary and limited to single-run comparisons." 4 }