yaoyifan's picture

yaoyifan

yyf12

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days 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

liked a dataset 2 months ago

NJU-LINK/WebCompass

Viewer • Updated May 18 • 933 • 20.6k • 6

liked 2 datasets 12 months ago

m-a-p/CriticLeanBench

Viewer • Updated Jul 9, 2025 • 500 • 157 • 2

m-a-p/FineLeanCorpus

Viewer • Updated Jul 28, 2025 • 509k • 496 • 11

liked a model 12 months ago

m-a-p/CriticLeanGPT-Qwen3-8B-RL

8B • Updated Jul 10, 2025 • 19 • 4

liked a dataset 12 months ago

math-eval/TAL-SCQ5K

Viewer • Updated Sep 15, 2023 • 10k • 238 • 58