@misc{indiciaebb25dbf9cb97,
  title = {Proving Theorems Recursively},
  author = {Haiming Wang and Huajian Xin and Zhengying Liu and Wenda Li and Yinya Huang and Jianqiao Lu and Zhicheng Yang and Jing Tang and Jian Yin and Zhenguo Li and Xiaodan Liang},
  year = {2024},
  url = {https://arxiv.org/abs/2405.14414},
  note = {Source identifier: 2405.14414}
}