vaxin dun

vaxin's activity

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

New activity in deepseek-ai/DeepSeek-Prover-V2-671B 6 months ago

Prover-V2消息汇总帖

👍 8

#8 opened 6 months ago by

vaxin

commented a paper over 2 years ago

Natural Language Commanding via Program Synthesis

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

2