@misc{lample2022aixiv260800004,
  title         = {HyperTree Proof Search for Neural Theorem Proving},
  author        = {Guillaume Lample and Marie-Anne Lachaux and Thibaut Lavril and Xavier Martinet and Amaury Hayat and Gabriel Ebner and Aurélien Rodriguez and Timothée Lacroix},
  year          = {2022},
  eprint        = {2608.00004},
  archivePrefix = {aiXiv},
  primaryClass  = {cs.AI},
  url           = {https://aixiv.online/abs/2608.00004},
  note          = {aiXiv:2608.00004v1, sha256:863534de44aaa16c…}
}