Knowledge-Augmented Language Model Verification