周欣
zhouxin2003
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 1 month ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
upvoted
a
paper
about 2 months ago
The Imitation Game: Turing Machine Imitator is Length Generalizable
Reasoner
upvoted
a
paper
2 months ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
Organizations
