Hugging Face's logo
ShawnYing's picture
5 10 2

ShawnYing

ShawnYing
SiweiWu's profile picture 21world's profile picture frascuchon's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper about 14 hours ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
liked a dataset 3 months ago
HaiwenXia/cmi-pref
liked a dataset 3 months ago
HaiwenXia/cmi-pref-pseudo
View all activity

Organizations

Multimodal Art Projection's profile picture