Alex Gu
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- ProofOptimizer: Training Language Models to Simplify Proofs without Human DemonstrationsSaved credit: Contributor · 2025Explore people connected to this work →
- LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for CodeSaved credit: Contributor · 2024Explore people connected to this work →
- CRUXEval: A Benchmark for Code Reasoning, Understanding and ExecutionSaved credit: Contributor · 2024Explore people connected to this work →
- LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsSaved credit: Contributor · 2023Explore people connected to this work →
- StarCoder: may the source be with you!Saved credit: Contributor · 2023Explore people connected to this work →