Theoretical Guarantees of Variational Quantum Algorithm with Guiding States | AMiner