🧑🔬 Alex Gu — papers of 2023 — 3 papers, the most cited first3 papers · all years of Alex GuLeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citationsLINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (EMNLP)Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023 · 172 citationsSantaCoder: don't reach for the stars!arXiv:2301.03988Loubna Ben Allal, Raymond Li, Denis Kocetkov, et al.2023 · 167 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/alex-gu/year/2023/