LEGO-Prover: Neural Theorem Proving with Growing Libraries - Wang, Haiming; Xin, Huajian; Zheng, Chuanyang; Liu, Zhengying; Cao, Qingxing; Huang, Yinya; Xiong, Jing; Shi, Han; Xie, Enze; Yin, Jian; Li, Zhenguo; Liang, Xiaodan (International Conference on Learning Representations, 2024)