xxzcc's picture

7 13 3

xxzcc

xxzcc

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 15 hours ago

tencent/ArtifactsBenchmark

upvoted a paper about 24 hours ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

new activity 1 day ago

tencent/ArtifactsBenchmark:Improve dataset card: Correct license, add tags, and format Quick Start

View all activity

Organizations

Papers 3

arxiv:2411.02265

arxiv:2405.19327

arxiv:2401.06951

models 0

None public yet

datasets 0

None public yet