---
title: "Alex Gu — papers of 2023 — 3 papers, the most cited first"
description: "Alex Gu — papers of 2023: 3 papers on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/alex-gu/year/2023/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/alex-gu/year/2023/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Alex Gu](https://md.research.elamur.ai/free/en/authors/alex-gu/) / 2023

# Alex Gu — papers of 2023 — 3 papers, the most cited first

3 papers · [all years of Alex Gu](https://md.research.elamur.ai/free/en/authors/alex-gu/#years)

**[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations*

**[LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers](https://md.research.elamur.ai/free/en/papers/olausson-2023-linc-neurosymbolic-approach-logical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.*2023 · 172 citations*

- [SantaCoder: don't reach for the stars! arXiv:2301.03988](https://md.research.elamur.ai/free/en/papers/allal-2023-santacoder-don-t-reach-stars/) — Loubna Ben Allal, Raymond Li, Denis Kocetkov, et al. · 2023 · 167 citations