BibTeX record conf/nips/LampleLLRHLEM22

• > Home > conf/nips/LampleLLRHLEM22

@inproceedings{DBLP:conf/nips/LampleLLRHLEM22,
  author       = {Guillaume Lample and
                  Timoth{\'{e}}e Lacroix and
                  Marie{-}Anne Lachaux and
                  Aur{\'{e}}lien Rodriguez and
                  Amaury Hayat and
                  Thibaut Lavril and
                  Gabriel Ebner and
                  Xavier Martinet},
  editor       = {Sanmi Koyejo and
                  S. Mohamed and
                  A. Agarwal and
                  Danielle Belgrave and
                  K. Cho and
                  A. Oh},
  title        = {HyperTree Proof Search for Neural Theorem Proving},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/a8901c5e85fb8e1823bbf0f755053672-Abstract-Conference.html},
  timestamp    = {Mon, 08 Jan 2024 16:31:35 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/LampleLLRHLEM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}