Austen Jeremy Sugiarto
Xuejun Yu 0002
Jianyuan Zhong
Zijin Feng
Pengyi Zhai
Roozbeh Yousefzadeh
Wei Chong Ng
Haoxiong Liu
Ziyi Shou
Jing Xiong
Yudong Zhou
Claudia Ong
Austen Jeremy Sugiarto
Yaoxi Zhang
Wai Ming Tai
Huan Cao
Dongcai Lu
Jiacheng Sun
Qiang Xu
Shen Xin
Zhenguo Li
Mathesis: Towards Formal Theorem Proving from Natural Languages.
2025
June
abs/2506.07047
CoRR
https://doi.org/10.48550/arXiv.2506.07047
db/journals/corr/corr2506.html#abs-2506-07047
streams/journals/corr
Huan Cao
Zijin Feng
Zhenguo Li
Haoxiong Liu
Dongcai Lu
Wei Chong Ng
Claudia Ong
Ziyi Shou
Jiacheng Sun
Waiming TaiWai Ming Tai
Shen Xin
Jing Xiong
Qiang Xu
Roozbeh Yousefzadeh
Xuejun Yu 0002
Pengyi Zhai
Yaoxi Zhang
Jianyuan Zhong
Yudong Zhou