Qianqian Xie's picture

In a Training Loop 🔄

Qianqian Xie

mistletoe111

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 3 days ago

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

upvoted a paper 29 days ago

DR^{3}-Eval: Towards Realistic and Reproducible Deep Research Evaluation

View all activity

Organizations

liked a dataset about 2 months ago

NJU-LINK/DR3-Eval

Viewer • Updated about 1 month ago • 100 • 2.55k • 2

liked a dataset 5 months ago

NJU-LINK/MT-Video-Bench

Updated Jan 7 • 72 • 4

liked a Space about 1 year ago

JupyterLab