HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs