Flood Sung

floodsung's activity

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

published an article about 1 month ago

view article

Article

Kimina-Prover-RL

By and 18 others •

Aug 14

• 11

liked a model about 2 months ago

moonshotai/Kimi-K2-Instruct

Text Generation • Updated 12 days ago • 360k • • 2.16k

liked a Space about 2 months ago

Running

2.69k

2.69k

Anycoder

🏢

Generate Gradio app code from user requests

upvoted a collection 2 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 Aug 14 • 9

upvoted an article 2 months ago

view article

Article

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

By and 18 others •

Jul 10

• 50

published an article 2 months ago

view article

Article

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

By and 18 others •

Jul 10

• 50

liked 2 models 3 months ago

moonshotai/Kimi-Dev-72B

Text Generation • 73B • Updated Jun 17 • 4.14k • • 366

moonshotai/Kimi-VL-A3B-Thinking-2506

Image-Text-to-Text • 16B • Updated 30 days ago • 20.9k • 306

upvoted an article 3 months ago

view article

Article

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

By and 1 other •

Jun 21

• 68

authored a paper 4 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 5 months ago

Running on Zero

169

169

Chat with Kimi-VL-A3B-Thinking-2506

🤔

Chat with images, videos, or PDFs to generate text

liked a model 5 months ago

AI-MO/Kimina-Autoformalizer-7B

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

liked a dataset 5 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 919 • 6

liked 2 models 5 months ago

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

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

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

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

authored a paper 5 months ago

Kimi-VL Technical Report

Paper • 2504.07491 • Published Apr 10 • 133

liked 2 models 5 months ago

moonshotai/Kimi-VL-A3B-Instruct

Image-Text-to-Text • 16B • Updated Jul 30 • 202k • 236

moonshotai/Kimi-VL-A3B-Thinking

Image-Text-to-Text • 16B • Updated 30 days ago • 4.66k • 439

upvoted a paper 5 months ago

Kimi-VL Technical Report

Paper • 2504.07491 • Published Apr 10 • 133

authored a paper 8 months ago

Kimi k1.5: Scaling Reinforcement Learning with LLMs

Paper • 2501.12599 • Published Jan 22 • 122