Formatron: A High-Performance Constrained Decoding Python Library that Allows Users to Control the Output Format of Language Models with Minimal Overhead