🧑🔬 Alex Gu5 papers on this site (2023–2024)OpenAlex · 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 ExecutionAlex Gu, Baptiste Rozière, Hugh Leather, et al.2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for CodeNaman Jain, King Han, Alex Gu, et al.2024LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsKaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversTheo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023SantaCoder: don't reach for the stars!Loubna Ben Allal, Raymond Li, Denis Kocetkov, et al.2023This page in Markdown → https://md.research.elamur.ai/free/en/authors/alex-gu/