TY  - RPRT
TI  - Mathesis: Towards Formal Theorem Proving from Natural Languages
AU  - Yu Xuejun
AU  - Jianyuan Zhong
AU  - Zijin Feng
AU  - Pengyi Zhai
AU  - Roozbeh Yousefzadeh
AU  - Wei Chong Ng
AU  - Haoxiong Liu
AU  - Ziyi Shou
AU  - Jing Xiong
AU  - Yudong Zhou
AU  - Claudia Beth Ong
AU  - Austen Jeremy Sugiarto
AU  - Yaoxi Zhang
AU  - Wai Ming Tai
AU  - Huan Cao
AU  - Dongcai Lu
AU  - Jiacheng Sun
AU  - Qiang Xu
AU  - Shen Xin
AU  - Zhenguo Li
PY  - 2025
UR  - https://arxiv.org/abs/2506.07047
ID  - 2506.07047
ER  -