Return to Article Details Constraint-Lattice Decoding with Posterior Certificates for Auditable Long-Context Autoregressive Reasoning Download