xxzcc
xxzcc
AI & ML interests
None yet
Recent Activity
updated
a dataset
10 days ago
tencent/ArtifactsBenchmark
upvoted
a
paper
10 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
new activity
10 days ago
tencent/ArtifactsBenchmark:Improve dataset card: Correct license, add tags, and format Quick Start
Organizations
