lxp's picture

lxp

lxpp

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 18 hours ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper about 18 hours ago

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

updated a dataset 1 day ago

NJU-LINK/WebCompass

View all activity

Organizations

liked a dataset about 1 month ago

NJU-LINK/WebCompass

Viewer • Updated 1 day ago • 933 • 18.3k • 6

liked a model 7 months ago

Kwaipilot/KAT-Dev

Text Generation • 33B • Updated Oct 14, 2025 • 178 • • 213

liked a model 8 months ago

Kwaipilot/HiPO-8B

Text Generation • 8B • Updated Nov 4, 2025 • 21 • 24

liked a dataset 9 months ago

m-a-p/Inverse_IFEval

Viewer • Updated Sep 24, 2025 • 1.01k • 67 • 26