LEGO-Prover: Neural Theorem Proving with Growing Libraries

Open Webpage

Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang

Published: 01 Jan 2024, Last Modified: 27 Jan 2025ICLR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0