作者位次 #8/20ICLR 2026Poster· Reinforcement Learning / Online
Mathesis: Towards Formal Theorem Proving from Natural Languages
Xuejun Yu · Jianyuan Zhong · Zijin Feng · Pengyi Zhai · Roozbeh Mohit · Wei Ng · Haoxiong Liu · Ziyi Shou · Jing Xiong · Yudong Zhou · Claudia Ong · Austen Sugiarto · Yaoxi Zhang · Wai Ming Tai · Huan Cao · Dongcai Lu · Jiacheng Sun · Qiang Xu · Shen Xin · Zhenguo Li