TRACE Back from the Future: A Probabilistic Reasoning Approach to Controllable Language Generation | Read Paper on Bytez