Zhouliang Yu

zhouliang

AI & ML interests

None yet

Recent Activity

updated a collection 3 days ago
lean
liked a dataset about 1 month ago
MrOvkill/svg-stack-labeled
liked a dataset 3 months ago
deepseek-ai/DeepSeek-Prover-V1
View all activity

Organizations

Multimodal Art Projection's profile picture Project-Numina's profile picture LLM4Lean's profile picture LLM Formal Reasoning's profile picture

zhouliang's activity

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

Upload 2 files

#2 opened 10 months ago by
zhouliang

Create README.md

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

Update README.md

#7 opened 10 months ago by
zhouliang

Update README.md

#6 opened 10 months ago by
zhouliang

Upload result.png

#5 opened 10 months ago by
zhouliang

Update README.md

#4 opened 10 months ago by
zhouliang

Update README.md

#3 opened 10 months ago by
zhouliang

Update README.md

#1 opened 10 months ago by
zhouliang