3 papers
cs.LG2026
Enhancing LLM Metacognition via Cognitive Pairwise Training
Weitao Li, Hao Zhou, Xuanyu Lei +11
Reinforcement learning with verifiable rewards (RLVR) has become central to LLM reasoning, but its outcome-level rewards can make models more willing to give confident answers when…
cs.AI2025
AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
Yuanhang Liu, Beichen Wang, Peng Li +1
Artificial intelligence (AI) has demonstrated impressive progress in mathematical reasoning, yet its integration into the practice of mathematical research remains limited. In this…
cs.AI2025
AI Mathematician: Towards Fully Automated Frontier Mathematical Research
Yuanhang Liu, Yanxing Huang, Yanqiao Wang +2
Large Reasoning Models (LRMs) have made significant progress in mathematical capabilities in recent times. However, these successes have been primarily confined to competition-leve…