Zhengying Liu

evariste-liu's activity

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

liked 3 models about 1 month ago

moonshotai/Kimi-K2-Base

Text Generation • Updated Jul 13 • 14.3k • 262

moonshotai/Kimi-K2-Instruct

Text Generation • Updated 2 days ago • 481k • • 2.07k

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 555 • • 26

upvoted an article about 1 month ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

By and 17 others •

Jul 10

• 48

published an article about 1 month ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

By and 17 others •

Jul 10

• 48

upvoted an article about 1 month ago

view article

Article

How NuminaMath Won the 1st AIMO Progress Prize

By and 7 others •

Jul 11, 2024

• 122

updated 3 models about 1 month ago

AI-MO/Kimina-Prover-Distill-1.7B

Text Generation • 2B • Updated Jul 10 • 80.5k • • 7

AI-MO/Kimina-Prover-Distill-8B

Text Generation • 8B • Updated Jul 10 • 3.31k • • 7

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 555 • • 26

updated a collection about 1 month ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 4 items • Updated 13 days ago • 7

updated a dataset about 1 month ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 786 • 6