TY  - RPRT
TI  - HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
AU  - Azim Ospanov
AU  - Zijin Feng
AU  - Jiacheng Sun
AU  - Haoli Bai
AU  - Xin Shen
AU  - Farzan Farnia
PY  - 2026
UR  - https://arxiv.org/abs/2511.18760
ID  - 2511.18760
ER  -