Zhengying Liu

evariste-liu's activity

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

upvoted a paper about 10 hours ago

Cut Your Losses! Learning to Prune Paths Early for Efficient Parallel Reasoning

Paper • 2604.16029 • Published 4 days ago • 18

liked a model 3 months ago

moonshotai/Kimi-K2.5

Image-Text-to-Text • 1.1T • Updated Feb 27 • 5.22M • • 2.75k

liked a model 5 months ago

moonshotai/Kimi-K2-Thinking

Text Generation • 1.1T • Updated Jan 30 • 90.5k • • 1.7k

New activity in moonshotai/Kimi-K2-Thinking 5 months ago

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

2

#6 opened 5 months ago by

madmax0404

upvoted a paper 6 months ago

Generative Reasoning Recommendation via LLMs

Paper • 2510.20815 • Published Oct 23, 2025 • 13

published an article 8 months ago

view article

Article

Kimina-Prover-RL

• 

Aug 14, 2025

•

15

liked 3 models 9 months ago

moonshotai/Kimi-K2-Base

Text Generation • Updated Jan 30 • 8.79k • 298

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated Jan 30 • 276k • • 2.35k

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 164 • • 34

upvoted an article 9 months ago

view article

Article

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

• 

Jul 10, 2025

•

54

published an article 9 months ago

view article

Article

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

• 

Jul 10, 2025

•

54

upvoted an article 9 months ago

view article

Article

How NuminaMath Won the 1st AIMO Progress Prize

• 
• 
• +6

Jul 11, 2024

•

128

updated 3 models 9 months ago

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

Text Generation • 2B • Updated Jul 10, 2025 • 2.92k • • 7

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

Text Generation • 8B • Updated Jul 10, 2025 • 1.17k • • 8

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 164 • • 34

updated a collection 10 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 Oct 30, 2025 • 10

updated a dataset 10 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 1.12k • 9