XiaoHLim

XiaoHLim's activity

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

liked a model 7 days ago

AI-MO/Kimina-Prover-Preview-Distill-1.5B

Text Generation • Updated 7 days ago • 11.7k • 8

upvoted a collection 9 days ago

Kimina Prover Preview

Collection

State-of-the-Art Models for Formal Mathematical Reasoning • 4 items • Updated 9 days ago • 26