Zhouliang Yu

zhouliang

AI & ML interests

Model-Based AI, Reinforcement Learning, Autoformalization

Recent Activity

updated a collection about 1 month ago
Lean4 Dataset
updated a collection about 1 month ago
Lean4 Dataset
updated a collection about 1 month ago
Lean4 Dataset
View all activity

Organizations

Multimodal Art Projection's profile picture Project-Numina's profile picture LLM4Lean's profile picture LLM4SymbolWorldModel's profile picture FormalMATH's profile picture

zhouliang's activity

New activity in m-a-p/CT-LLM-SFT-DPO about 1 year ago

Upload 2 files

#2 opened about 1 year ago by
zhouliang

Create README.md

#1 opened about 1 year ago by
zhouliang
New activity in m-a-p/CHC-Bench about 1 year ago

Update README.md

#7 opened about 1 year ago by
zhouliang

Update README.md

#6 opened about 1 year ago by
zhouliang

Upload result.png

#5 opened about 1 year ago by
zhouliang

Update README.md

#4 opened about 1 year ago by
zhouliang

Update README.md

#3 opened about 1 year ago by
zhouliang

Update README.md

#1 opened about 1 year ago by
zhouliang