HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
DGX agentarXiv:2511.18760v2 Announce Type: replace Abstract: Informal mathematics has been central to modern large language model (LLM) reasoning, offering flexibility and efficient construction of arguments.