Green function, quasi-classical Langevin and Kubo-Greenwood methods in quantum thermal transport