Flood Sung

floodsung's activity

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

upvoted a collection 2 days ago

Kimina Prover

Collection

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

view article

Article

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

By and 17 others •

3 days ago

• 33

published an article 3 days ago

view article

Article

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

By and 17 others •

3 days ago

• 33

liked 2 models 18 days ago

moonshotai/Kimi-Dev-72B

Text Generation • 73B • Updated 26 days ago • 19.2k • • 323

moonshotai/Kimi-VL-A3B-Thinking-2506

Image-Text-to-Text • 16B • Updated 16 days ago • 36.3k • 188

upvoted an article 18 days ago

view article

Article

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

By and 1 other •

22 days ago

• 59

authored a paper about 2 months ago

G1: Bootstrapping Perception and Reasoning Abilities of Vision-Language Model via Reinforcement Learning

Paper • 2505.13426 • Published May 19 • 13

liked a Space 3 months ago

Running on Zero

137

137

Chat with Kimi-VL-A3B-Thinking-2506

🤔

Chat with images, videos, or PDFs to generate text

liked a model 3 months ago

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16 • 1.54k • • 13

liked a dataset 3 months ago

AI-MO/minif2f_test

Viewer • Updated 9 days ago • 244 • 642 • 5

liked 2 models 3 months ago

AI-MO/Kimina-Prover-Preview-Distill-1.5B

Text Generation • 2B • Updated Apr 16 • 3.23k • 10

AI-MO/Kimina-Prover-Preview-Distill-7B

Text Generation • 8B • Updated Apr 17 • 10.7k • • 36

authored a paper 3 months ago

Kimi-VL Technical Report

Paper • 2504.07491 • Published Apr 10 • 131

liked 2 models 3 months ago

moonshotai/Kimi-VL-A3B-Instruct

Image-Text-to-Text • 16B • Updated 25 days ago • 171k • 206

moonshotai/Kimi-VL-A3B-Thinking

Image-Text-to-Text • 16B • Updated 16 days ago • 70.7k • 420

upvoted a paper 3 months ago

Kimi-VL Technical Report

Paper • 2504.07491 • Published Apr 10 • 131

authored a paper 6 months ago

Kimi k1.5: Scaling Reinforcement Learning with LLMs

Paper • 2501.12599 • Published Jan 22 • 120

liked a dataset 8 months ago

OS-Copilot/OS-Atlas-data

Updated Dec 4, 2024 • 3.38k • 33

liked a dataset almost 2 years ago

vikp/textbook_quality_programming

Viewer • Updated Oct 8, 2023 • 11.7k • 154 • 179

liked a dataset about 2 years ago

Open-Orca/OpenOrca

Viewer • Updated Feb 19 • 2.94M • 10.8k • 1.42k