2 citations · 2 across the 5 of their papers we have counts for
4 papers · 1 filter
Learning Individual Scientific Taste with Privileged Hindsight Distillation
Hanwei Fan, Yanqiao Wang, Yiqi Zhu +3
Scientific taste shapes which research directions researchers pursue, and it varies across individuals. Existing work evaluates research directions along multiple evaluation criter…
Pessimistic Verification for Open Ended Math Questions
Yanxing Huang, Zihan Tang, Zejin Lin +2
Automatic verification is a critical component in building math-solving agents and reinforcement learning, yet it often falls short in generalizability, performance, and cost-effic…
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…
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…