Grammar-constrained decoding: forçando LLMs a emitir sintaxe válida em cada token
LLMs alucinam sintaxe porque fazem sampling de tokens probabilisticamente. O grammar-constrained decoding filtra o vocabulário a cada passo para que apenas tokens que preservem a validade sintática sejam emitidos.
