shangzeyu's picture

6 9

shangzeyu

shangzy

·

AI & ML interests

None yet

Recent Activity

liked a model about 21 hours ago

moonshotai/Kimi-K2-Base

upvoted a collection about 21 hours ago

liked a model 2 days ago

moonshotai/Kimi-K2-Instruct

View all activity

Organizations

upvoted a collection about 21 hours ago

Kimi-K2

Moonshot's MoE LLMs with 1 trillion parameters, exceptional on agentic intellegence • 2 items • Updated 1 day ago • 61

upvoted a collection about 1 month ago

NextCoder

NextCoder family of code-editing LMs developed with Selective Knowledge Transfer and its training data. • 6 items • Updated 5 days ago • 63

upvoted a paper 2 months ago

Kimi-Audio Technical Report

Paper • 2504.18425 • Published Apr 25 • 19

upvoted 2 collections 3 months ago

Kimina Prover Preview

State-of-the-Art Models for Formal Mathematical Reasoning • 5 items • Updated Apr 28 • 33

Kimi-VL-A3B

Moonshot's efficient MoE VLMs, exceptional on agent, long-context, and thinking • 7 items • Updated 13 days ago • 70

upvoted a paper 10 months ago

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Paper • 2408.08152 • Published Aug 15, 2024 • 60