Zaiwen Wen
7 papers · 2021–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π 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)
Papers
SITA: A Framework for Structure-to-Instance Theorem Autoformalization
AAAI 2026
A Memory Efficient Randomized Subspace Optimization Method for Training Large Language Models
ICML 2025
Enhancing Zeroth-order Fine-tuning for Language Models with Low-rank Structures
ICLR 2025
OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modeling
ICML 2025
An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural Networks
ICML 2024
A Near-Optimal Primal-Dual Method for Off-Policy Learning in CMDP
NIPS 2022
Enhance Curvature Information by Structured Stochastic Quasi-Newton Methods
CVPR 2021