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
•
•
125 Things You Need to Know About Moonshot AI and Kimi K2, the New #1 model on the Hub
By
and 1 other
•
•
10<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
•
•
9Code a simple RAG from scratch
By
•
•
127TeraVeraSecureAI
By
•
•
8We're open-sourcing "The Amazing Hand", a fully 3D printed robotic hand for less than $200 ✌️✌️✌️
By
and 2 others
•
•
22Uncensor any LLM with abliteration
By
•
•
628Fine-Tuning Your First Large Language Model (LLM) with PyTorch and Hugging Face
By
•
•
53cocogold: training Marigold for text-grounded segmentation
By
•
•
26Seeing 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
•
•
62How to Train Your LLM Web Agent: A Statistical Diagnosis
By
•
•
11从知识更新到行为调控: 基于 EasyEdit 的大模型知识编辑框架
By
and 3 others
•
•
5Navigating the RLHF Landscape: From Policy Gradients to PPO, GAE, and DPO for LLM Alignment
By
•
•
54Bringing Fusion Down to Earth: ML for Stellarator Optimization
By
•
•
66