Awesome Recommender Systems
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
🤖
Ask AI
Haoze Wu — most-cited papers & profile · Recommender Systems
← authors
·
overview
Haoze Wu
8
papers ·
3
citations ·
10
h-index
Amherst College · Harbin Institute of Technology · Zhejiang University
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
2024 · 1 citations
Safe and Reliable Training of Learning-Based Aerospace Controllers
2024 · 1 citations
Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
2026
Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
2025
ReCode: Updating Code API Knowledge with Reinforcement Learning
2025
Model-Task Alignment Drives Distinct RL Outcomes
2025
Topics
Model-Based RL
Safe RL
cs.LG
cs.AI
cs.RO
cs.SY
eess.SY
Program Repair
Software Engineering
Code Models