[2402.11809] Generation Meets Verification: Accelerating Large Language Model Inference with Smart Parallel Auto-Correct Decoding