Yingshui Tan
YingshuiTan1996
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
1 day ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
1 day ago
A Survey on Latent Reasoning
authored
a paper
4 months ago
CodeCriticBench: A Holistic Code Critique Benchmark for Large Language
Models
Organizations
None yet