@misc{indiciae970a701b2c65,
  title = {LEGO-Prover: Neural Theorem Proving with Growing Libraries},
  author = {Haiming Wang and Huajian Xin and Chuanyang Zheng and Lin Li and Zhengying Liu and Qingxing Cao and Yinya Huang and Jing Xiong and Han Shi and Enze Xie and Jian Yin and Zhenguo Li and Heng Liao and Xiaodan Liang},
  year = {2023},
  url = {https://arxiv.org/abs/2310.00656},
  note = {Source identifier: 2310.00656}
}