Zhouliang Yu
zhouliang
AI & ML interests
None yet
Recent Activity
authored
a paper
1 day ago
Generating Symbolic World Models via Test-time Scaling of Large Language
Models
updated
a collection
2 days ago
lean
upvoted
a
paper
2 days ago
Generating Symbolic World Models via Test-time Scaling of Large Language
Models