TY  - RPRT
TI  - LEGO-Prover: Neural Theorem Proving with Growing Libraries
AU  - Haiming Wang
AU  - Huajian Xin
AU  - Chuanyang Zheng
AU  - Lin Li
AU  - Zhengying Liu
AU  - Qingxing Cao
AU  - Yinya Huang
AU  - Jing Xiong
AU  - Han Shi
AU  - Enze Xie
AU  - Jian Yin
AU  - Zhenguo Li
AU  - Heng Liao
AU  - Xiaodan Liang
PY  - 2023
UR  - https://arxiv.org/abs/2310.00656
ID  - 2310.00656
ER  -