TY  - RPRT
TI  - Proving Theorems Recursively
AU  - Haiming Wang
AU  - Huajian Xin
AU  - Zhengying Liu
AU  - Wenda Li
AU  - Yinya Huang
AU  - Jianqiao Lu
AU  - Zhicheng Yang
AU  - Jing Tang
AU  - Jian Yin
AU  - Zhenguo Li
AU  - Xiaodan Liang
PY  - 2024
UR  - https://arxiv.org/abs/2405.14414
ID  - 2405.14414
ER  -