Hugging Face's logo
yaoyifan's picture
2 14 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 1 day ago
CLI-Universe: Towards Verifiable Task Synthesis Engine for Terminal Agents
upvoted a paper 20 days ago
Where Do Deep-Research Agents Go Wrong? Span-Level Error Localization in Agent Trajectories
upvoted a paper about 1 month ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
View all activity

Organizations

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