Constraint-Lattice Decoding with Posterior Certificates for Auditable Long-Context Autoregressive Reasoning. (2025). Journal of Data Mining, Knowledge Discovery, and Decision Support Systems, 15(12), 1-17. https://theneurolabs.com/index.php/JDMKD/article/view/2025-12-04