yaoyifan
yyf12
AI & ML interests
None yet
Recent Activity
upvoted a paper about 7 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