Grammar-Constrained Decoding Makes Large Language Models Better Logical Parsers. - Federico Raspanti; Tanir Ozcelebi; Mike Holenderski (ACL (6), 2025)