lxp's picture

lxp

lxpp

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 17 hours ago

lxpp/WebCompass

upvoted a paper 8 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 8 days ago

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

View all activity

Organizations

lxpp 's datasets 5

lxpp/WebCompass

Viewer • Updated about 17 hours ago • 123 • 4

lxpp/scicode-sft-data

Preview • Updated 9 days ago • 68

lxpp/all_merged_instructions

Viewer • Updated 13 days ago • 31.9k • 27

lxpp/automv

Updated Nov 13, 2025 • 108

lxpp/new-automv

Updated Nov 12, 2025 • 5