%0 Conference Paper %1 conf/nips/LampleLLRHLEM22 %A Lample, Guillaume %A Lacroix, Timothée %A Lachaux, Marie-Anne %A Rodriguez, Aurélien %A Hayat, Amaury %A Lavril, Thibaut %A Ebner, Gabriel %A Martinet, Xavier %B NeurIPS %D 2022 %E Koyejo, Sanmi %E Mohamed, S. %E Agarwal, A. %E Belgrave, Danielle %E Cho, K. %E Oh, A. %K dblp %T HyperTree Proof Search for Neural Theorem Proving. %U http://dblp.uni-trier.de/db/conf/nips/neurips2022.html#LampleLLRHLEM22 %@ 9781713871088

@inproceedings{conf/nips/LampleLLRHLEM22, added-at = {2024-01-08T00:00:00.000+0100}, author = {Lample, Guillaume and Lacroix, Timothée and Lachaux, Marie-Anne and Rodriguez, Aurélien and Hayat, Amaury and Lavril, Thibaut and Ebner, Gabriel and Martinet, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/2d60be9697465028d500ca802b85ead95/dblp}, booktitle = {NeurIPS}, crossref = {conf/nips/2022}, editor = {Koyejo, Sanmi and Mohamed, S. and Agarwal, A. and Belgrave, Danielle and Cho, K. and Oh, A.}, ee = {http://papers.nips.cc/paper_files/paper/2022/hash/a8901c5e85fb8e1823bbf0f755053672-Abstract-Conference.html}, interhash = {74885b4a14d24cd5a9befde653e27e7b}, intrahash = {d60be9697465028d500ca802b85ead95}, isbn = {9781713871088}, keywords = {dblp}, timestamp = {2024-04-09T23:22:16.000+0200}, title = {HyperTree Proof Search for Neural Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/nips/neurips2022.html#LampleLLRHLEM22}, year = 2022 }