@misc{indiciae3fc5c2ed74dd,
  title = {HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs},
  author = {Azim Ospanov and Zijin Feng and Jiacheng Sun and Haoli Bai and Xin Shen and Farzan Farnia},
  year = {2026},
  url = {https://arxiv.org/abs/2511.18760},
  note = {Source identifier: 2511.18760}
}