LI Jia

liyongsea's activity

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

updated a collection about 19 hours ago

Kimina Prover Preview

Collection

State-of-the-Art Models for Formal Mathematical Reasoning • 5 items • Updated about 19 hours ago • 27

upvoted a collection about 19 hours ago

Kimina Prover Preview

Collection

State-of-the-Art Models for Formal Mathematical Reasoning • 5 items • Updated about 19 hours ago • 27

published a dataset about 19 hours ago

AI-MO/CombiBench

Viewer • Updated about 6 hours ago • 200 • 6 • 5

liked a dataset 5 days ago

nvidia/OpenMathReasoning

Viewer • Updated 5 days ago • 5.47M • 10.9k • 130