arxiv:2505.20254
Lingjing Kong
lkong
AI & ML interests
None yet
Recent Activity
upvoted a paper about 7 hours ago
h1: A Taste of the Bitter Lesson in Automated Theorem Proving upvoted a paper 3 months ago
Cura 1T: Specialized Model for Agentic Healthcare liked a dataset 5 months ago
actava/chi-benchOrganizations
