“Constraint-Lattice Decoding with Posterior Certificates for Auditable Long-Context Autoregressive Reasoning”, JDMKD, vol. 15, no. 12, pp. 1–17, Dec. 2025, Accessed: May 14, 2026. [Online]. Available: https://theneurolabs.com/index.php/JDMKD/article/view/2025-12-04