Zhouliang Yu
zhouliang
AI & ML interests
Model-Based AI, Reinforcement Learning, Autoformalization
Recent Activity
upvoted
an
article
about 23 hours ago
What's Automatic Differentiation?
liked
a dataset
11 days ago
ulamai/UnsolvedMath
liked
a dataset
12 days ago
phanerozoic/Lean4-Mathlib
Organizations
