##article.return## HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs Download Download PDF