2025. Constraint-Lattice Decoding with Posterior Certificates for Auditable Long-Context Autoregressive Reasoning. Journal of Data Mining, Knowledge Discovery, and Decision Support Systems. 15, 12 (Dec. 2025), 1–17.