Zhouliang Yu
zhouliang
AI & ML interests
Model-Based AI, Reinforcement Learning, Autoformalization
Recent Activity
upvoted
a
paper
about 14 hours ago
Steering LLMs via Scalable Interactive Oversight
upvoted
an
article
2 days ago
What's Automatic Differentiation?
liked
a dataset
13 days ago
ulamai/UnsolvedMath
Organizations
models
0
None public yet