yaoyifan's picture

yaoyifan

yyf12

·

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 21 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

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

Update README.md

#4 opened 11 months ago by