Hugging Face's logo
Yuxiao Qu's picture
1 2

Yuxiao Qu PRO

CohenQu
BornSaint's profile picture Fishtiks's profile picture yjernite's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a dataset about 10 hours ago
AI-Math-TCS/tcs_find_lemma
published a dataset about 10 hours ago
AI-Math-TCS/tcs_find_lemma
updated a dataset about 10 hours ago
AI-Math-TCS/tcs_proof_strategy
View all activity

Organizations

HF CMU Collab's profile picture Information Seeking's profile picture Active Reasoning's profile picture CMU Artificial Intelligence and Reinforcement Learning (AIRe) Lab's profile picture CMU DeepScaleR Colab's profile picture OlympicCoder's profile picture LM Provers's profile picture Privileged On-Policy Exploration's profile picture VLM for Geometry's profile picture Carnegie Mellon University's profile picture ML intern explorers's profile picture AI Co-Scientist's profile picture AI for TCS's profile picture