Alex Gu5 papers on this site (2023–2024)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.2023