Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2506.07047
Cited By
Mathesis: Towards Formal Theorem Proving from Natural Languages
8 June 2025
Yu Xuejun
Jianyuan Zhong
Zijin Feng
Pengyi Zhai
Roozbeh Yousefzadeh
Wei Chong Ng
Haoxiong Liu
Ziyi Shou
Jing Xiong
Yudong Zhou
Claudia Beth Ong
Austen Jeremy Sugiarto
Yaoxi Zhang
Wai Ming Tai
Huan Cao
Dongcai Lu
Jiacheng Sun
Q. Xu
Shen Xin
Zhenguo Li
AIMat
OffRL
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Mathesis: Towards Formal Theorem Proving from Natural Languages"
Title
No papers
