Guillaume Lample

发表论文 55 篇 · 总被引 43872 次 · h-index 29

代表论文

• LLaMA: Open and Efficient Foundation Language Models (2023 · arXiv.org · 被引 21636)
• Mistral 7B (2023 · arXiv.org · 被引 3902)
• Mixtral of Experts (2024 · arXiv.org · 被引 2146)
• Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs (2022 · International Conference on Learning Representations · 被引 353)
• HyperTree Proof Search for Neural Theorem Proving (2022 · Neural Information Processing Systems · 被引 262)
• Leveraging Automated Unit Tests for Unsupervised Code Translation (2021 · International Conference on Learning Representations · 被引 180)