deepseek-ai/DeepSeek-Prover-V1.5-RL
Updated
•
7.4k
•
40
Dian Yu
yudian
AI & ML interests
NLP
Recent Activity
upvoted
a
paper
5 days ago
Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs
Organizations
None yet
yudian's activity
liked
a
model
5 months ago