CRANE: Reasoning with constrained LLM generation | Read Paper on Bytez