Hugging Face's logo
lxp's picture
27 4

lxp

lxpp
nicolaus625's profile picture 21world's profile picture frascuchon's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 14 hours ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
upvoted a paper about 14 hours ago
Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution
updated a dataset about 23 hours ago
NJU-LINK/WebCompass
View all activity

Organizations

Multimodal Art Projection's profile picture NJU-LINK Lab's profile picture