Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
By
and 17 others
•
•
38
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
By
and 17 others
•
•
38Use Kimi K2 with Claude Code Router: A Developer's Guide
By
•
•
15Transformers Are Getting Old: Variants and Alternatives Exist!
By
•
•
39LeRobot.js
By
•
•
11<p style="text-align:center;"> Bourbaki (7b): SOTA 7B Algorithms for Putnam Bench (Part I: Reasoning MDPs)</p>
By
and 2 others
•
•
9What is the Hugging Face Community Building?
By
and 2 others
•
•
95 Things You Need to Know About Moonshot AI and Kimi K2, the New #1 model on the Hub
By
and 1 other
•
•
9TeraVeraSecureAI
By
•
•
8Code a simple RAG from scratch
By
•
•
126We're open-sourcing "The Amazing Hand", a fully 3D printed robotic hand for less than $200 ✌️✌️✌️
By
and 2 others
•
•
22cocogold: training Marigold for text-grounded segmentation
By
•
•
26Uncensor any LLM with abliteration
By
•
•
628Fine-Tuning Your First Large Language Model (LLM) with PyTorch and Hugging Face
By
•
•
53Seeing Isn’t Understanding: The Spatial Reasoning Gap in Vision-Language Models
By
•
•
6🦸🏻#14: What Is MCP, and Why Is Everyone – Suddenly!– Talking About It?
By
•
•
313🤔👀🎬🖥️📖 Kimi-VL-A3B-Thinking-2506: A Quick Navigation
By
and 1 other
•
•
62FineWeb-C: A Community-Driven Dataset for Educational Quality Annotations in 122 Languages
By
and 5 others
•
•
27How to Train Your LLM Web Agent: A Statistical Diagnosis
By
•
•
11从知识更新到行为调控: 基于 EasyEdit 的大模型知识编辑框架
By
and 3 others
•
•
5DeepSeek-R1 Dissection: Understanding PPO & GRPO Without Any Prior Reinforcement Learning Knowledge
By
•
•
184