Zhengying Liu

evariste-liu's activity

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

upvoted a paper about 1 month ago

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

Paper • 2604.16029 • Published Apr 17 • 23

liked a model 4 months ago

moonshotai/Kimi-K2.5

Image-Text-to-Text • 1.1T • Updated 24 days ago • 1.51M • • 2.79k

liked a model 7 months ago

moonshotai/Kimi-K2-Thinking

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

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

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

2

#6 opened 7 months ago by

Max-and-Omnis

upvoted a paper 7 months ago

Generative Reasoning Recommendation via LLMs

Paper • 2510.20815 • Published Oct 23, 2025 • 13

published an article 9 months ago

view article

Article

Kimina-Prover-RL

• 

AI-MO

•

Aug 14, 2025

• 16

liked 3 models 11 months ago

moonshotai/Kimi-K2-Base

Text Generation • Updated Jan 30 • 8.56k • 302

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated about 1 month ago • 813k • • 2.36k

AI-MO/Kimina-Prover-72B

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

upvoted an article 11 months ago

view article

Article

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

• 

AI-MO

•

Jul 10, 2025

• 56

published an article 11 months ago

view article

Article

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

• 

AI-MO

•

Jul 10, 2025

• 56

upvoted an article 11 months ago

view article

Article

How NuminaMath Won the 1st AIMO Progress Prize

• 
• 
• +6

yfleureau, liyongsea, edbeeching, lewtun, benlipkin, romansoletskyi, vwxyzjn, kashif

•

Jul 11, 2024

• 128

updated 3 models 11 months ago

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

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

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

Text Generation • 8B • Updated Jul 10, 2025 • 575 • • 8

AI-MO/Kimina-Prover-72B

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

updated a collection 11 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 11 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 511 • 9