jvhoffbauer/syntax-constrained-decoding-math-llm