BibTeX record journals/corr/abs-2310-00656

• > Home > journals/corr/abs-2310-00656

@article{DBLP:journals/corr/abs-2310-00656,
  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},
  title        = {LEGO-Prover: Neural Theorem Proving with Growing Libraries},
  journal      = {CoRR},
  volume       = {abs/2310.00656},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.00656},
  doi          = {10.48550/ARXIV.2310.00656},
  eprinttype    = {arXiv},
  eprint       = {2310.00656},
  timestamp    = {Mon, 05 Feb 2024 20:19:07 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-00656.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}