vaxin dun

vaxin's activity

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

New activity in deepseek-ai/DeepSeek-Prover-V2-671B about 1 year ago

Prover-V2消息汇总帖

👍 8

#8 opened about 1 year ago by

vaxin

commented a paper about 3 years ago

Natural Language Commanding via Program Synthesis

Paper • 2306.03460 • Published Jun 6, 2023 • 2 •

2