Yang Yue
Yang130
AI & ML interests
None yet
Recent Activity
upvoted
an
article
10 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
upvoted
a
paper
about 1 month ago
SmolVLA: A Vision-Language-Action Model for Affordable and Efficient
Robotics
upvoted
an
article
about 1 month ago
SmolVLA: Efficient Vision-Language-Action Model trained on Lerobot Community Data
Organizations
