LEGO-Prover: Neural Theorem Proving with Growing Libraries

Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang
January, 2024
PDF Cite URL Code Coverage
Type
Conference Paper
Publication
The Twelfth International Conference on Learning Representations (ICLR 2024)
Yinya Huang
Yinya Huang