Alex Gu
11 papers · 2021–2025 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π Cross-Pollinator (12) πΊοΈ Taxonomy Completionist (14) π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (6)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π₯
Mega-Team
(33)
π
Century Club
(11)
β
The Questioner
Conferences
ICLR (4)
ICML (2)
NIPS (2)
ACL (1)
EMNLP (1)
NAACL (1)
Top co-authors
Keywords
theorem proving
(2)
large language model
(2)
symbolic reasoning
(1)
logical reasoning
(1)
semantic parsing
(1)
semantic analysis
(1)
code generation
(1)
first-order logic
(1)
adaptive learning rate
(1)
automated theorem proving
(1)
retrieval-augmented generation
(1)
premise selection
(1)
program correctness
(1)
neurosymbolic reasoning
(1)
cross-lingual retrieval
(1)
code embedding
(1)
model understanding
(1)
three operator splitting
(1)
proof assistant
(1)
output evaluation
(1)
Papers
Mixture of Parrots: Experts improve memorization more than reasoning
ICLR 2025
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
ICLR 2025
Position: Future Research and Challenges Remain Towards AI for Software Engineering
ICML 2025
BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions
ICLR 2025
Language Agnostic Code Embeddings
NAACL 2024
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
ACL 2024
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
ICML 2024
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
EMNLP 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
NIPS 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
NIPS 2021