Zhouliang Yu

zhouliang

AI & ML interests

Autoformalization, Reinforcement Learning

Recent Activity

Organizations

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

zhouliang's activity

New activity in m-a-p/CT-LLM-SFT-DPO 11 months ago

Upload 2 files

#2 opened 11 months ago by
zhouliang

Create README.md

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

Update README.md

#7 opened 11 months ago by
zhouliang

Update README.md

#6 opened 11 months ago by
zhouliang

Upload result.png

#5 opened 11 months ago by
zhouliang

Update README.md

#4 opened 11 months ago by
zhouliang

Update README.md

#3 opened 11 months ago by
zhouliang

Update README.md

#1 opened 11 months ago by
zhouliang