Grammar-Aligned Decoding Kanghee Park 1 Jiayu Wang 1 Taylor Berg-Kirkpatrick 2 Nadia Polikarpova