首次获取该候选人的完整档案及 StartLux 评估共 20 积分；每位用户单独解锁，之后查看免费。主动刷新 20 积分。
实时查找电子邮箱，费用不超过20积分；未找到邮箱不扣费。
Ruizhe Wang · Yucheng Ding · Xiao Liu · Yaoxiang Wang · Peng CHENG · Baining Guo · Zheng-Jun Zha · Yeyun Gong
Boyan Duan · Xiao Liang · Shuai Lu · Yaoxiang Wang · yelong shen · Kai-Wei Chang · Ying Nian Wu · Mao Yang · Weizhu Chen · Yeyun Gong
Automated theorem proving in Euclidean geometry, particularly for International Mathematical Olympiad (IMO) level problems, remains a major challenge and an important research focus in Artificial Intelligence. In this paper, we present a highly efficient method for geometry theorem proving that r...
Yaoxiang Wang · Simiao Zuo · Qingguo Hu · Yucheng Ding · Yeyun Gong · Jian Jiao · Jinsong Su