yaoyifan's picture

yaoyifan

yyf12

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 9 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 9 days ago

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

upvoted a paper about 1 month ago

WebCompass: Towards Multimodal Web Coding Evaluation for Code Language Models

View all activity

Organizations

liked a dataset about 1 month ago

NJU-LINK/WebCompass

Viewer • Updated 10 days ago • 933 • 23.7k • 6

liked 2 datasets 11 months ago

m-a-p/CriticLeanBench

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

m-a-p/FineLeanCorpus

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

liked a model 11 months ago

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

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

liked a dataset 11 months ago

math-eval/TAL-SCQ5K

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