HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs 事件

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs arXiv: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. However, purely informal reasoning is prone to logical gaps and subtle errors that are difficult to detect and correct. In contrast, formal theorem proving provides rigorous, verifiable mathematical reasoning, where each infere