Model checkpoints and datasets used in the paper Grammar-Aligned Decoding: https://arxiv.org/abs/2405.21047