Alex Gu
11 papers
· 2021–2025
· 6 conferences
· across top CS/AI conferences
Achievements
π
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)