New Spectral Algorithms for Refuting Smoothed k-SAT