Alex Gu
MIT EECS PhD student; works on code LLMs and program-synthesis evaluation (CRUXEval).
- Role
- grad-student
- Currently at
- MIT CSAIL
- twitter.com/minimario1729
- GitHub
- github.com/minimario
- Scholar
- scholar.google.com/citations
- Papers
- 6
Cite
Notes
Only stored in your browser.
Authored papers
6SlopCodeBench: Benchmarking How Coding Agents Degrade Over Long-Horizon Iterative Tasks
arXiv 2026
Solving Inequality Proofs with Large Language Models
arXiv 2025
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
NeurIPS
SantaCoder: don't reach for the stars!
arXiv 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
leandojo-theorem-proving-with-retrieval
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
arXiv 2023
Affiliations
Frequent co-authors
10from 6 papers
Armando Solar-Lezama
professor
Aidan M. Swope
Albert Ge
Alexander Yun
Anima Anandkumar
professor
Arjun Guha
Aws Albarghouthi
Benjamin Lipkin
Bernardo García del Río
Carlos Munoz Ferrandis