Official repository for ToolDec: Syntax Error-Free and Generalizable Tool Use for LLMs via Finite-State Decoding.