周欣
zhouxin2003
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
5 months ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
upvoted
a
paper
5 months ago
The Imitation Game: Turing Machine Imitator is Length Generalizable
Reasoner
Organizations
