CHUAN ZHANG

aacyun's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a collection about 1 month ago

Re:Form

Collection

The resources of Re:Form - Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs. • 9 items • Updated Jul 26 • 2

liked a model 4 months ago

deepseek-ai/DeepSeek-Prover-V2-671B

Text Generation • 685B • Updated Apr 30 • 1.35k • • 811

liked a model about 1 year ago

apple/DCLM-7B

7B • Updated Jul 26, 2024 • 77 • 831

liked a model over 1 year ago

stabilityai/stable-code-3b

Text Generation • 3B • Updated Jul 10, 2024 • 11.9k • 650