---
title: "Alex Gu — papers"
description: "Alex Gu: 5 papers in the Elamur Research library (2023–2024) — our summary of each, its ideas, references and who cites it."
canonical: "https://research.elamur.ai/free/en/authors/alex-gu/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/alex-gu/)

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

# Alex Gu

5 papers on this site (2023–2024)

[OpenAlex](https://openalex.org/A5127850579) · h-index 1 · 2 works · 65 citations (openalex-snapshot, 2026-10-14)

Profile data from OpenAlex; authors with the same name are not always told apart.

- [CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution](https://md.research.elamur.ai/free/en/papers/gu-2024-cruxeval-benchmark-code-reasoning-understanding/) — Alex Gu, Baptiste Rozière, Hugh Leather, et al. · 2024
- [LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code](https://md.research.elamur.ai/free/en/papers/jain-2024-livecodebench-holistic-contamination-free-evaluation/) — Naman Jain, King Han, Alex Gu, et al. · 2024
- [LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) — Kaiyu Yang, Aidan M. Swope, Alex Gu, et al. · 2023
- [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/) — Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al. · 2023
- [SantaCoder: don't reach for the stars!](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