Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
arXiv:2510.07331v1 Announce Type: new Abstract: This paper introduces Truth-Aware Decoding (TAD), a verification-oriented decoding scheme that aligns neural language generation…