Alex Gu
11 papers · 2021–2025 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (19) π₯ Mega-Team Β· Squad
ποΈ
Keyword Collector
(51)
π
Century Club Β· Bronze
β
The Questioner
Top co-authors
Research topics
Artificial Intelligence
(10)
Core AI
(10)
Machine Learning
(7)
Core Methods
(3)
Optimization & Theory
(3)
Computer Science
(2)
Deep Learning
(2)
Natural Language Processing
(2)
Applications
(2)
Resources & Methods
(2)
Mathematics & Optimization
(1)
Application Areas
(1)
Learning Types
(1)
Models
(1)
Optimization
(1)
Keywords
large language model
(6)
code generation
(3)
theorem proving
(2)
benchmark evaluation
(1)
symbolic reasoning
(1)
logical reasoning
(1)
hyperparameter optimization
(1)
semantic parsing
(1)
semantic analysis
(1)
mixture of expert
(1)
first-order logic
(1)
software engineering
(1)
adaptive learning rate
(1)
bilevel optimization
(1)
generative model
(1)
convex optimization
(1)
automated theorem proving
(1)
neuro-symbolic computation
(1)
retrieval-augmented generation
(1)
representation learning
(1)
Papers
BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions
ICLR 2025
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
ICLR 2025
Mixture of Parrots: Experts improve memorization more than reasoning
ICLR 2025
Position: Future Research and Challenges Remain Towards AI for Software Engineering
ICML 2025
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
ICML 2024
Language Agnostic Code Embeddings
NAACL 2024
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
ACL 2024
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
NeurIPS 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
EMNLP 2023
Min-Max Multi-objective Bilevel Optimization with Applications in Robust Machine Learning
ICLR 2023
Three Operator Splitting with Subgradients, Stochastic Gradients, and Adaptive Learning Rates
NeurIPS 2021