Type-Guided Constrained Decoding: How to Stop LLMs from Hallucinating Code

From GBNF Grammars to Type-Directed Generation: Guarantees Instead of Hope Who this is...