yaoyifan's picture

yaoyifan

yyf12

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 4 days ago

Where Do Deep-Research Agents Go Wrong? Span-Level Error Localization in Agent Trajectories

upvoted a paper 20 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 20 days ago

Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution

View all activity

Organizations

New activity in m-a-p/FineLeanCorpus 11 months ago

Update README.md

#4 opened 11 months ago by