Tag: Symbolic Reasoning

All the articles with the tag "Symbolic Reasoning".

• CRANE: Reasoning with constrained LLM generation

  Published: 9 May, 2025 |  at  11:08 AM

  

  61.03 🤔

  This paper introduces CRANE, a reasoning-augmented constrained decoding algorithm that alternates between unconstrained and constrained generation to preserve LLM reasoning capabilities while ensuring syntactic correctness, achieving up to 10% accuracy improvement on symbolic reasoning benchmarks like GSM-Symbolic and FOLIO.