Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
By
and 17 others
•
•
37
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
By
and 17 others
•
•
37Transformers Are Getting Old: Variants and Alternatives Exist!
By
•
•
39Use Kimi K2 with Claude Code Router: A Developer's Guide
By
•
•
15LeRobot.js
By
•
•
10<p style="text-align:center;"> Bourbaki (7b): SOTA 7B Algorithms for Putnam Bench (Part I: Reasoning MDPs)</p>
By
and 2 others
•
•
9We're open-sourcing "The Amazing Hand", a fully 3D printed robotic hand for less than $200 ✌️✌️✌️
By
and 2 others
•
•
21cocogold: training Marigold for text-grounded segmentation
By
•
•
26What is the Hugging Face Community Building?
By
and 2 others
•
•
85 Things You Need to Know About Moonshot AI and Kimi K2, the New #1 model on the Hub
By
and 1 other
•
•
8FineWeb-C: A Community-Driven Dataset for Educational Quality Annotations in 122 Languages
By
and 5 others
•
•
26TeraVeraSecureAI
By
•
•
7Code a simple RAG from scratch
By
•
•
125Fine-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
•
•
6Uncensor any LLM with abliteration
By
•
•
627DeepSeek-R1 Dissection: Understanding PPO & GRPO Without Any Prior Reinforcement Learning Knowledge
By
•
•
184How to Train Your LLM Web Agent: A Statistical Diagnosis
By
•
•
11从知识更新到行为调控: 基于 EasyEdit 的大模型知识编辑框架
By
and 3 others
•
•
5ColPali: Efficient Document Retrieval with Vision Language Models 👀
By
•
•
275Everything You Need to Know about Knowledge Distillation
By
and 1 other
•
•
37