Hugging Face's logo
yaoyifan's picture
2 12 5

yaoyifan

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

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
upvoted a paper 2 days ago
Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution
upvoted a paper 30 days ago
WebCompass: Towards Multimodal Web Coding Evaluation for Code Language Models
View all activity

Organizations

Multimodal Art Projection's profile picture NJU-LINK Lab's profile picture