Zaiwen Wen
7 papers
· 2021–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Conference Polyglot
(4)
π
Academic Marathon
(5)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Grand Slam
Conferences
ICML (3)
AAAI (1)
CVPR (1)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
stochastic optimization
(1)
offline reinforcement learning
(1)
nonconvex optimization
(1)
mathematical reasoning
(1)
sample complexity
(1)
deep learning
(1)
off-policy learning
(1)
hessian approximation
(1)
constrained markov decision process
(1)
safe reinforcement learning
(1)
quasi-newton method
(1)
primal-dual method
(1)
large language model
(1)
structured template
(1)
proof assistant
(1)
curvature information
(1)
theorem autoformalization
(1)
typeclass mechanism
(1)