Zhengying Liu

evariste-liu's activity

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

liked a model 10 days ago

moonshotai/Kimi-K2-Thinking

Text Generation • Updated 10 days ago • 148k • • 1.25k

New activity in moonshotai/Kimi-K2-Thinking 11 days ago

Did you set GPT-5's reasoning effort to high?

2

#6 opened 11 days ago by

madmax0404

upvoted a paper 24 days ago

Generative Reasoning Recommendation via LLMs

Paper • 2510.20815 • Published 25 days ago • 13

published an article 3 months ago

view article

Article

Kimina-Prover-RL

• 

Aug 14

•

12

liked 3 models 4 months ago

moonshotai/Kimi-K2-Base

Text Generation • 1T • Updated Jul 13 • 933 • 277

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated 11 days ago • 170k • • 2.25k

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 474k • • 32

upvoted an article 4 months ago

view article

Article

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

• 

Jul 10

•

53

published an article 4 months ago

view article

Article

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

• 

Jul 10

•

53

upvoted an article 4 months ago

view article

Article

How NuminaMath Won the 1st AIMO Progress Prize

• 

Jul 11, 2024

•

122

updated 3 models 4 months ago

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

Text Generation • 2B • Updated Jul 10 • 1.11k • • 8

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

Text Generation • 8B • Updated Jul 10 • 1.1k • • 9

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 474k • • 32

updated a collection 4 months ago

Kimina Prover

Collection

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

updated a dataset 5 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 496 • 6