HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs 文章

ArXiv CS.AI2026-06-01NEWSen作者: Azim Ospanov, Zijin Feng, Jiacheng Sun, Haoli Bai, Xin Shen, Farzan Farnia