lxp's picture

lxp

lxpp

·

AI & ML interests

None yet

Recent Activity

updated a dataset 5 days ago

lxpp/WebCompass

upvoted a paper 12 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 12 days ago

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

View all activity

Organizations

liked a dataset about 2 months ago

NJU-LINK/WebCompass

Viewer • Updated 12 days ago • 933 • 22.4k • 6

liked 2 models 8 months ago

Kwaipilot/KAT-Dev

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

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 • 76 • 26