@misc{indiciae7a68ab5f2af1,
  title = {Mathesis: Towards Formal Theorem Proving from Natural Languages},
  author = {Yu Xuejun and Jianyuan Zhong and Zijin Feng and Pengyi Zhai and Roozbeh Yousefzadeh and Wei Chong Ng and Haoxiong Liu and Ziyi Shou and Jing Xiong and Yudong Zhou and Claudia Beth Ong and Austen Jeremy Sugiarto and Yaoxi Zhang and Wai Ming Tai and Huan Cao and Dongcai Lu and Jiacheng Sun and Qiang Xu and Shen Xin and Zhenguo Li},
  year = {2025},
  url = {https://arxiv.org/abs/2506.07047},
  note = {Source identifier: 2506.07047}
}