Flood Sung's picture

1 4 18

Flood Sung

floodsung

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 2 days ago

upvoted an article 3 days ago

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

published an article 3 days ago

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

View all activity

Organizations

upvoted a collection 2 days ago

Kimina Prover

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

upvoted an article 3 days ago

Article

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

By

and 17 others •

3 days ago

• 33

upvoted an article 18 days ago

Article

🤔👀🎬🖥️📖 Kimi-VL-A3B-Thinking-2506: A Quick Navigation

By

and 1 other •

22 days ago

• 59

upvoted a paper 3 months ago

Kimi-VL Technical Report

Paper • 2504.07491 • Published Apr 10 • 131