lxp's picture

lxp

lxpp

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 16 hours ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper about 16 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

lxpp 's datasets 4

lxpp/scicode-sft-data

Preview • Updated 1 day ago • 38

lxpp/all_merged_instructions

Viewer • Updated 6 days ago • 31.9k • 17

lxpp/automv

Updated Nov 13, 2025 • 126

lxpp/new-automv

Updated Nov 12, 2025 • 5