TY - RPRT TI - CRANE: Reasoning with constrained LLM generation AU - Debangshu Banerjee AU - Tarun Suresh AU - Shubham Ugare AU - Sasa Misailovic AU - Gagandeep Singh PY - 2025 UR - https://arxiv.org/abs/2502.09061 ID - 2502.09061 ER -