Mathesis: Towards Formal Theorem Proving from Natural Languages - Yu, Xuejun; Zhong, Jianyuan; Feng, Zijin; Zhai, Pengyi; Mohit, Roozbeh; Ng, Wei; Liu, Haoxiong; Shou, Ziyi; Xiong, Jing; Zhou, Yudong; Ong, Claudia; Sugiarto, Austen; et al. (International Conference on Learning Representations, 2026)