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

yaoyifan

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

AI & ML interests

None yet

Recent Activity

upvoted a paper about 12 hours ago
Where Do Deep-Research Agents Go Wrong? Span-Level Error Localization in Agent Trajectories
upvoted a paper 16 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
upvoted a paper 17 days ago
Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution
View all activity

Organizations

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