Lingjing Kong

lkong's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 10 days ago

h1: A Taste of the Bitter Lesson in Automated Theorem Proving

Paper • 2610.35962 • Published 14 days ago • 20

upvoted a paper 4 months ago

Cura 1T: Specialized Model for Agentic Healthcare

Paper • 2607.15314 • Published Aug 4 • 50

upvoted a paper 6 months ago

CHI-Bench: Can AI Agents Automate End-to-End, Long-Horizon, Policy-Rich Healthcare Workflows?

Paper • 2605.16679 • Published May 15 • 56

upvoted a paper 11 months ago

TwinFlow: Realizing One-step Generation on Large Models with Self-adversarial Flows

Paper • 2512.05150 • Published Dec 3, 2025 • 76