lxp's picture

lxp

lxpp

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 4 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 4 days ago

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

updated a dataset 5 days ago

NJU-LINK/WebCompass

View all activity

Organizations

liked a dataset about 2 months ago

NJU-LINK/WebCompass

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

liked a model 7 months ago

Kwaipilot/KAT-Dev

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

liked a model 8 months ago

Kwaipilot/HiPO-8B

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

liked a dataset 9 months ago

m-a-p/Inverse_IFEval

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