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